Computer Aided Proofs in Analysis: The IMA Volumes in Mathematics and its Applications, cartea 28
Editat de Kenneth R. Meyer, Dieter S. Schmidten Limba Engleză Paperback – 16 dec 2011
Din seria The IMA Volumes in Mathematics and its Applications
- 18% Preț: 946.55 lei
- 15% Preț: 639.73 lei
- 15% Preț: 656.58 lei
- 15% Preț: 642.03 lei
- 15% Preț: 645.28 lei
- Preț: 392.21 lei
- 15% Preț: 642.83 lei
- 15% Preț: 651.67 lei
- 15% Preț: 651.19 lei
- Preț: 385.84 lei
- 15% Preț: 639.41 lei
- 15% Preț: 643.34 lei
- 15% Preț: 667.38 lei
- Preț: 388.34 lei
- Preț: 388.52 lei
- 20% Preț: 333.40 lei
- 15% Preț: 644.95 lei
- Preț: 382.75 lei
- Preț: 380.63 lei
- Preț: 398.53 lei
- 5% Preț: 1416.81 lei
- Preț: 382.36 lei
- Preț: 380.25 lei
- Preț: 399.67 lei
- 15% Preț: 643.65 lei
- Preț: 389.49 lei
- 18% Preț: 944.19 lei
- 20% Preț: 344.42 lei
- 18% Preț: 948.92 lei
- 5% Preț: 1419.39 lei
- 18% Preț: 945.30 lei
Preț: 386.81 lei
Nou
Puncte Express: 580
Preț estimativ în valută:
74.02€ • 76.81$ • 61.87£
74.02€ • 76.81$ • 61.87£
Carte tipărită la comandă
Livrare economică 17-31 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9781461390947
ISBN-10: 146139094X
Pagini: 272
Ilustrații: XVI, 251 p.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.39 kg
Ediția:Softcover reprint of the original 1st ed. 1991
Editura: Springer
Colecția Springer
Seria The IMA Volumes in Mathematics and its Applications
Locul publicării:New York, NY, United States
ISBN-10: 146139094X
Pagini: 272
Ilustrații: XVI, 251 p.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.39 kg
Ediția:Softcover reprint of the original 1st ed. 1991
Editura: Springer
Colecția Springer
Seria The IMA Volumes in Mathematics and its Applications
Locul publicării:New York, NY, United States
Public țintă
ResearchCuprins
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.