Computer Aided Proofs in Analysis - The IMA Volumes in Mathematics and Its Applications
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer New York

9781461390947, 9781461390923

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Computer Algebra and Indefinite Integrals

Computer Aided Proofs in Analysis - The IMA Volumes in Mathematics and Its Applications ◽

10.1007/978-1-4613-9092-3_5 ◽

1991 ◽

pp. 33-42

Author(s):

Manuel Bronstein

Keyword(s):

Computer Algebra

Download Full-text

Floating-Point Systems for Theorem Proving

Computer Aided Proofs in Analysis - The IMA Volumes in Mathematics and Its Applications ◽

10.1007/978-1-4613-9092-3_4 ◽

1991 ◽

pp. 22-32

Author(s):

G. Bohlender ◽

J. Wolff von Gudenberg ◽

W. L. Miranker

Keyword(s):

Theorem Proving ◽

Floating Point

Download Full-text

Computer Assisted Lower Bounds for Atomic Energies

Computer Aided Proofs in Analysis - The IMA Volumes in Mathematics and Its Applications ◽

10.1007/978-1-4613-9092-3_21 ◽

1991 ◽

pp. 241-251 ◽

Cited By ~ 2

Author(s):

Luis A. Seco

Keyword(s):

Lower Bounds ◽

Computer Assisted

Download Full-text

Transformation to Versal Normal Form

Computer Aided Proofs in Analysis - The IMA Volumes in Mathematics and Its Applications ◽

10.1007/978-1-4613-9092-3_20 ◽

1991 ◽

pp. 235-240 ◽

Cited By ~ 1

Author(s):

Dieter S. Schmidt

Keyword(s):

Normal Form

Download Full-text

Shadowing Trajectories of Dynamical Systems

Computer Aided Proofs in Analysis - The IMA Volumes in Mathematics and Its Applications ◽

10.1007/978-1-4613-9092-3_19 ◽

1991 ◽

pp. 229-234

Author(s):

Tim Sauer ◽

James A. Yorke

Keyword(s):

Dynamical Systems

Download Full-text

Lie Transform Tutorial — II

Computer Aided Proofs in Analysis - The IMA Volumes in Mathematics and Its Applications ◽

10.1007/978-1-4613-9092-3_16 ◽

1991 ◽

pp. 190-210 ◽

Cited By ~ 11

Author(s):

Kenneth R. Meyer

Keyword(s):

Lie Transform

Download Full-text

The Conversion of a High Order Programming Language from Floating-Point Arithmetic to Range Arithmetic

Computer Aided Proofs in Analysis - The IMA Volumes in Mathematics and Its Applications ◽

10.1007/978-1-4613-9092-3_1 ◽

1991 ◽

pp. 1-4

Author(s):

Oliver Aberth

Keyword(s):

Programming Language ◽

High Order ◽

Floating Point ◽

Floating Point Arithmetic ◽

Point Arithmetic

Download Full-text

On a Computer Algebra Aided Proof in Bifurcation Theory

Computer Aided Proofs in Analysis - The IMA Volumes in Mathematics and Its Applications ◽

10.1007/978-1-4613-9092-3_7 ◽

1991 ◽

pp. 52-70 ◽

Cited By ~ 1

Author(s):

Carmen Chicone ◽

Marc Jacobs

Keyword(s):

Computer Algebra ◽

Bifurcation Theory

Download Full-text

Validated Anti-Derivatives

Computer Aided Proofs in Analysis - The IMA Volumes in Mathematics and Its Applications ◽

10.1007/978-1-4613-9092-3_9 ◽

1991 ◽

pp. 90-96

Author(s):

George F. Corliss

Download Full-text

MACSYMA Program to Implement Averaging Using Elliptic Functions

Computer Aided Proofs in Analysis - The IMA Volumes in Mathematics and Its Applications ◽

10.1007/978-1-4613-9092-3_8 ◽

1991 ◽

pp. 71-89 ◽

Cited By ~ 2

Author(s):

Vincent T. Coppola ◽

Richard H. Rand

Keyword(s):

Elliptic Functions

Download Full-text

Computer Aided Proofs in Analysis - The IMA Volumes in Mathematics and Its ApplicationsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer New York

Computer Algebra and Indefinite Integrals

Floating-Point Systems for Theorem Proving

Computer Assisted Lower Bounds for Atomic Energies

Transformation to Versal Normal Form

Shadowing Trajectories of Dynamical Systems

Lie Transform Tutorial — II

The Conversion of a High Order Programming Language from Floating-Point Arithmetic to Range Arithmetic

On a Computer Algebra Aided Proof in Bifurcation Theory

Validated Anti-Derivatives

MACSYMA Program to Implement Averaging Using Elliptic Functions

Computer Aided Proofs in Analysis - The IMA Volumes in Mathematics and Its Applications
Latest Publications