գրքերի որոնում
գրքեր
Աջակցել
Մուտք գործել
Մուտք գործել
մուտք գործելուց հետո օգտատերերին հասանելի են․
անհատականացված առաջարկություններ
Telegram բոտ
ներբեռնումների պատմությունը
էլ. փոստին կամ Kindle-ին ուղարկումը
հավաքածուների կառավարումը
ընտրյալներին պահպանումը
Անձնական
Գրքերի հարցումներ
Ուսումնասիրում
Z-Recommend
Գրքերի հավաքածու
Ամենահայտնի
Կատեգորիաներ
Մասնակցություն
Աջակցել
Ներբեռնումներ
Litera Library
Նվիրաբերել թղթե գրքեր
Ավելացնել թղթե գրքեր
Search paper books
Իմ LITERA Point-ը
Բանալի բառերի որոնում
Main
Բանալի բառերի որոնում
search
1
Arithmetic Geometry, Number Theory, and Computation
Springer
Jennifer S. Balakrishnan (editor)
,
Noam Elkies (editor)
,
Brendan Hassett (editor)
curves
modular
forms
rank
abelian
compute
theorem
isogeny
algorithm
finite
hecke
rational
computing
sect
database
computation
varieties
polynomial
coefficients
map
reduction
method
defined
coleman
function
weight
dimension
jacobian
conjecture
lmfdb
galois
degree
proposition
sl2
computed
hyperelliptic
lemma
newforms
functions
variety
newform
primes
polynomials
linear
operators
cohomology
magma
mathematics
modulo
algebraic
Տարի:
2022
Լեզու:
english
Ֆայլ:
PDF, 8.79 MB
Ձեր թեգերը:
0
/
0
english, 2022
2
LuCaNT: LMFDB, Computation, and Number Theory
American Mathematical Society
J. E. Cremona
,
John W. Jones
,
Jennifer Paulhus
,
Andrew V. Sutherland
,
John Voight
curves
algorithm
quadratic
theorem
primes
compute
modular
forms
rational
lemma
polynomial
isogeny
fields
degree
proposition
functions
computing
step
subgroup
function
defined
abelian
field
torsion
ideal
rank
first
finite
gl2
galois
discriminant
find
computation
maximal
endomorphism
polynomials
groups
reduction
surfaces
serre
isogenies
hilbert
remark
subgroups
conductor
lmfdb
mathematics
integer
roots
corresponding
Տարի:
2024
Լեզու:
english
Ֆայլ:
PDF, 4.30 MB
Ձեր թեգերը:
0
/
5.0
english, 2024
3
Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
Springer International Publishing
Michael Kohlhase
,
Moa Johansson
,
Bruce Miller
,
Leonardo de Moura
,
Frank Tompa (eds.)
mizar
theorem
analysis
mathematical
systems
function
reliability
formalization
reduction
theories
first
variables
formal
springer
arxiv
borel
mathematics
measurable
checking
defined
dependability
functions
sets
cttqe
rings
techniques
lncs
heidelberg
smt
quotation
aα
computation
random
weight
symbolic
methods
gröbner
modeling
theorema
approach
library
method
corresponding
arithmetic
sect
xα
syntax
zbmath
algorithm
mitm
Տարի:
2016
Լեզու:
english
Ֆայլ:
PDF, 7.44 MB
Ձեր թեգերը:
0
/
0
english, 2016
1
Հետևեք
այս հղմանը
կամ որոնեք @BotFather բոտը Telegram-ում
2
Ուղարկեք /newbot հրամանը
3
Նշեք ձեր բոտի անունը
4
Նշեք բոտի օգտատիրոջ անունը
5
Պատճենեք վերջին հաղորդագրությունը BotFather-ից և տեղադրեք այն այստեղ
×
×