αναζήτηση βιβλίων
βιβλία
Υποστήριξη
Σύνδεση
Σύνδεση
Σε εξουσιοδοτημένους χρήστες είναι διαθέσιμα:
προσωπικές συστάσεις
Telegram bot
ιστορία λήψεων
αποστολή στο Email ή Kindle
διαχείριση λιστών βιβλίων
αποθήκευση στα αγαπημένα
Προσωπικά
Αιτήματα βιβλίων
Εξερευνήστε
Z-Recommend
Λίστες βιβλίων
Τα πιο δημοφιλή
Κατηγορίες
Συμμετοχή
Υποστήριξη
Μεταφορτώσεις
Litera Library
Δωρεά χάρτινων βιβλίων
Προσθήκη χάρτινων βιβλίων
Search paper books
Το LITERA Point μου
Αναζήτηση λέξεων κλειδιών
Main
Αναζήτηση λέξεων κλειδιών
search
1
Mathematical Software - ICMS 2006: Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings
Springer-Verlag Berlin Heidelberg
Alfred G. Noël (auth.)
,
Andrés Iglesias
,
Nobuki Takayama (eds.)
algorithm
polynomial
function
mathematical
functions
algebraic
computation
gröbner
systems
algorithms
implementation
library
computing
linear
mathematics
method
stable
methods
polynomials
geometry
logiweb
solution
first
complex
search
compute
theorem
matlab
computational
programming
vector
numerical
field
integer
package
springer
variables
fields
decomposition
ideal
input
values
defined
parallel
computations
algebras
groups
different
examples
parametric
Έτος:
2006
Γλώσσα:
english
Αρχείο:
PDF, 12.29 MB
Οι ετικέτες (tags) σας:
0
/
0
english, 2006
2
Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings
Springer-Verlag Berlin Heidelberg
Mirian Andrés
,
Laureano Lambán
,
Julio Rubio (auth.)
,
Manuel Kauers
,
Manfred Kerber
,
Robert Miner
,
Wolfgang Windsteiger (eds.)
mathematical
formula
mizar
theorem
function
search
first
mathematics
method
formal
query
systems
prover
defined
proofs
vector
springer
different
heidelberg
algorithm
graph
approach
context
logical
notation
element
functions
syntax
logiweb
input
methods
version
definition
mkm
theories
theorems
analysis
lemma
formulae
documents
lncs
abstract
sets
formulas
variables
presented
consider
library
definitions
output
Έτος:
2007
Γλώσσα:
english
Αρχείο:
PDF, 3.33 MB
Οι ετικέτες (tags) σας:
0
/
0
english, 2007
3
Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings
Springer-Verlag Berlin Heidelberg
Mirian Andrés
,
Laureano Lambán
,
Julio Rubio (auth.)
,
Manuel Kauers
,
Manfred Kerber
,
Robert Miner
,
Wolfgang Windsteiger (eds.)
mathematical
formula
mizar
theorem
function
search
first
mathematics
method
formal
query
systems
prover
defined
proofs
vector
springer
different
heidelberg
algorithm
graph
approach
context
logical
notation
element
functions
syntax
logiweb
input
methods
version
definition
mkm
theories
theorems
analysis
lemma
formulae
documents
lncs
abstract
sets
formulas
variables
presented
consider
library
definitions
output
Έτος:
2007
Γλώσσα:
english
Αρχείο:
PDF, 4.37 MB
Οι ετικέτες (tags) σας:
0
/
0
english, 2007
4
Towards mechanized mathematical assistants: 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: proceedings
Springer
Manuel Kauers
,
Manfred Kerber
,
Robert Miner
,
Wolfgang Windsteiger
mathematical
formula
mizar
theorem
function
search
first
mathematics
method
formal
query
systems
prover
defined
proofs
vector
springer
different
heidelberg
algorithm
graph
approach
context
logical
notation
element
functions
syntax
logiweb
input
methods
version
definition
mkm
theories
theorems
analysis
lemma
formulae
documents
lncs
abstract
sets
formulas
variables
presented
consider
library
definitions
output
Έτος:
2007
Γλώσσα:
english
Αρχείο:
PDF, 3.36 MB
Οι ετικέτες (tags) σας:
0
/
0
english, 2007
1
Ακολουθήστε
αυτόν τον σύνδεσμο
ή αναζητήστε το bot "@BotFather" στο Telegram
2
Στείλτε την εντολή /newbot
3
Εισάγετε ένα όνομα για το chatbot σας
4
Εισάγετε ένα όνομα χρήστη για το bot
5
Αντιγράψτε το τελευταίο μήνυμα από τον BotFather και επικολλήστε το εδώ
×
×