CComputer Aided Proofs in AnalysisComputer Aided Proofs in Analysisde Kenneth R. Meyer, Dieter S. SchmidtEdiciones (1)Computer Aided Proofs in Analysis (2012)Springer · inglés · ISBN 9781461390923Más obras de Kenneth R. MeyerIntroduction to Hamiltonian Dynamical Systems and the N-Body ProblemPPeriodic Solutions of the N-Body Problem