Departamento
Matemáticas y Computación
Capítulos de Libro (13) Publicaciones en las que ha participado algún/a investigador/a
2011
-
A Comparative Study of Different Semilocal Convergence Results Applied to Kepler's Equation
Computational mathematics : theory, methods and applications (New York : Nova Science Publishers, [2011]), pp. 201-212
-
A System for Computing and Reasoning in Algebraic Topology
Lectures Notes in Computer Science: Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, 10th International Conference, MKM 2011, Held as Part of CICM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings (SPRINGER-VERLAG), pp. 295-297
-
Fractal dimension of the universal Julia sets for the Chebyshev-Halley family of methods
AIP Conf. Proc., pp. 1061-1064
-
How to apply Newton's method to operators with unbounded second derivative
AIP Conference Proceedings, pp. 1046-1048
-
Hybrid analytical-statistical models
Lecture Notes in Computer Science, pp. 450-462
-
Incidence Simplicial Matrices Formalized in Coq/SSReflect
Lectures Notes in Computer Science: Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, 10th International Conference, MKM 2011, Held as Part of CICM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings (SPRINGER-VERLAG), pp. 30-44
-
Long-term evolution of Galileo operational orbits by canonical perturbation theory
62nd International Astronautical Congress 2011, IAC 2011, pp. 4815-4825
-
MathATESAT: A symbolic-numeric environment in astrodynamics and celestial mechanics
Lecture Notes in Computer Science, pp. 436-449
-
Parallel Evaluation of Poisson Series
Advances in the Astronautical Sciences, pp. 873-888
-
Resonances and the stability of stationary points
Advances in the Astronautical Sciences, pp. 3-19
-
Symbolic-numeric cooperation in an open science project
Proceedings - 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, pp. 37-46
-
Teaching Geometry with TutorMates
Proceedings ICCSA 2011, pp. 384-398
-
Using the DSST semi-analytical orbit propagator package via the nondywebtools/astrodywebtools open science environment
62nd International Astronautical Congress 2011, IAC 2011, pp. 4337-4344