Matemáticas y Computación

2010

1. A dynamic and analytical study of the damped Newton's method

   Proceedings of the Seventh International Conference on Engineering Computational Technology

2. A project-based experience in database design learning

   Contribuciones científicas en honor de Mirian Andrés Gómez (Universidad de La Rioja), pp. 243-262

3. Acerca de una caracterización algebraica de la torsión de una conexión afín plana

   Contribuciones científicas en honor de Mirian Andrés Gómez (Universidad de La Rioja), pp. 157-169

4. Alpha-Theory for Newton-Moser Method

   Monografías Matemáticas García Galdeano, pp. 155-162

5. An approach to dynamical systems using exterior spaces

   Contribuciones científicas en honor de Mirian Andrés Gómez (Universidad de La Rioja), pp. 307-318

6. Analytical model for Lunar orbiter revisited

   Spaceflight Mechanics 2010 (American Astronautical Society), pp. 245-263

7. Competencias en matemáticas y entornos interactivos

   Contribuciones científicas en honor de Mirian Andrés Gómez (Universidad de La Rioja), pp. 375-401

8. Computing in Coq with infinite algebraic data structures

   Proceedings CICM 2010, pp. 204-218

9. Convexidad pseudo-uniforme en H(p)

   Contribuciones científicas en honor de Mirian Andrés Gómez (Universidad de La Rioja), pp. 141-156

10. Ecos matemáticos en la revista Madrid Científico a finales del siglo XIX

    Contribuciones científicas en honor de Mirian Andrés Gómez (Universidad de La Rioja), pp. 287-306

11. El sistema de plantillas para navegador Yeast

    Contribuciones científicas en honor de Mirian Andrés Gómez (Universidad de La Rioja), pp. 43-83

12. Embedding and E-learning System in an Open Science project

    5th European Workshop. Mathematics & Scientific e-Contents, pp. 1-5

13. Examples of modules for Lie triple systems

    Proceedings of Jordan structures in algebra and analysis meeting: tribute to El Amin Kaidi for his 60th birthday, Almería, 2009 ([El Ejido] : Círculo Rojo), pp. 29-47

14. Finite chain calculus in distributive lattices and elementary Krull dimension

    Contribuciones científicas en honor de Mirian Andrés Gómez (Universidad de La Rioja), pp. 273-285

15. Formalizing simplicial topology in Isabelle/ HOL and Coq

    Contribuciones científicas en honor de Mirian Andrés Gómez (Universidad de La Rioja), pp. 21-41

16. How to define the Riesz transform for Fourier-Neumann expansions?

    Contribuciones científicas en honor de Mirian Andrés Gómez (Universidad de La Rioja), pp. 203-215

17. Integrating multiple sources to answer questions in Algebraic Topology

    Lectures Notes in Computer Science: Intelligent Computer Mathematics10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings, pp. 331-335

18. La historia de la conjetura de Kepler

    Contribuciones científicas en honor de Mirian Andrés Gómez (Universidad de La Rioja), pp. 367-374

19. La teoría de Herstein y superálgebras

    Contribuciones científicas en honor de Mirian Andrés Gómez (Universidad de La Rioja), pp. 345-354

20. Mediated access to Symbolic Computation systems: an Openmath approach

    Contribuciones científicas en honor de Mirian Andrés Gómez (Universidad de La Rioja), pp. 85-104