Computer Aided Proofs in Analysis -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre82,00 €
Produit Neuf
Ou 20,50 € /mois
- Livraison : 3,99 €
- Livré entre le 22 et le 28 juillet
Nos autres offres
-
89,06 €
Produit Neuf
Ou 22,27 € /mois
- Livraison à 0,01 €
- Livré entre le 23 juillet et le 4 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9781461390947_dbm
Voir le détail de l'annonce
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Computer Aided Proofs In Analysis Format Broché - Livre Économie
0 avis sur Computer Aided Proofs In Analysis Format Broché - Livre Économie
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Dji Osmo 4 : 4k/240fps3activetrack
Neuf dès 85,99 €
-
Anders Petersen, Rome
Occasion dès 65,00 €
-
Ephemerides 1950-2050 Ut For 0h International Edition
17 avis
Occasion dès 44,95 €
-
The Eb Real Book, Sixth Edition
1 avis
Neuf dès 48,97 €
-
Final Fantasy X 25th Anniversary Visual Art Book -Eternal Spira-
Neuf dès 41,99 €
-
Fundamentals Of Creature Design
Neuf dès 47,55 €
-
Miyoko Ihara - Misao The Big Mama And Fukumaru The Cat
Occasion dès 65,00 €
-
Oxford Resources For Ib Dp Chemistry: Study Guide
Neuf dès 54,16 €
-
Medieval Military Technology, Second Edition
Neuf dès 62,30 €
-
Alice In Wonderland And Through The Looking-Glass (Collector's Edition) (Laminated Hardback With Jacket)
Neuf dès 51,69 €
-
Gender Trouble
1 avis
Neuf dès 51,54 €
-
Cambridge English Proficiency 2 Student's Book With Answers With Audio
Neuf dès 91,64 €
-
Initiation Aux Lettres Latines - Livre N° 2 - Classe De Troisième 3e - Programme De 1971
Occasion dès 49,97 €
-
Art And Devotion At A Buddhist Temple In The Indian Himalaya
Neuf dès 72,46 €
-
Adventures Of Byomkesh Bakshi
Neuf dès 41,91 €
-
500+ Ukrainian Verbs
Neuf dès 69,18 €
-
Il Cavaliere Inesistente
Occasion dès 43,82 €
-
Noco Boost Gb40 :
Neuf dès 54,99 €
-
English Collocations In Use Intermediate Book With Answers
Neuf dès 58,68 €
-
The Princeton Field Guide To Mesozoic Sea Reptiles
Neuf dès 41,92 €
Produits similaires
Présentation Computer Aided Proofs In Analysis Format Broché
- Livre Économie
Sommaire:
The conversion of a high order programming language from floating-point arithmetic to range arithmetic.- Sylvester's form of the resultant and the matrix-triangularization subresultant PRS method.- Computing the Tsirelson space norm.- Floating-point systems for theorem proving.- Computer algebra and indefinite integrals.- A computer-assisted approach to small-divisors problems arising in Hamiltonian mechanics.- On a computer algebra aided proof in bifurcation theory.- MACSYMA program to implement averaging using elliptic functions.- Validated anti-derivatives.- A toolbox for nonlinear dynamics.- Computer assisted proofs of stability of matter.- Accurate strategies for K.A.M. bounds and their implementation.- A software tool for analysis in function spaces.- Equation solving by symbolic computation.- Deciding a class of Euclidean geometry theorems with Buchberger's algorithm.- Lie transform tutorial - II.- Interval tools for computer aided proofs in analysis.- Tools for mathematical computation.- Shadowing trajectories of dynamical systems.- Transformation to versal normal form.- Computer assisted lower bounds for atomic energies.
Détails de conformité du produit
Personne responsable dans l'UE