Fachbereich
Matemáticas y Computación
Publikationen (66) Publikationen, an denen Forscher/innen teilgenommen haben
2008
-
"Una fundamentación de la historia de las matemáticas" y "Los Ingeniero-matemáticos colombianos del siglo XIX y comienzos del XX"
Llull: Revista de la Sociedad Española de Historia de las Ciencias y de las Técnicas, Vol. 31, Núm. 67, pp. 157-159
-
A Graphical User Interface for the Kenzo System, a Program to Compute in Algebraic Topology
EACA 2008: XI Encuentro de Álgebra Computacional y Aplicaciones : Granada, del 10 al 12 de septiembre
-
A mechanized proof of the Basic Perturbation Lemma
Journal of Automated Reasoning, Vol. 40, Núm. 4, pp. 271-292
-
A model driven approach to automate the implementation of clinical guidelines in decision support systems
Fifteenth IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2008, pp. 210-218
-
A modification of Cauchy's method for quadratic equations
Journal of Mathematical Analysis and Applications, Vol. 339, Núm. 2, pp. 954-969
-
A modified Chebyshev's iterative method with at least six order of convergence
Applied Mathematics and Computation, Vol. 206, Núm. 1, pp. 164-174
-
A note on a modification of Moser's method
Journal of Complexity, Vol. 24, Núm. 2, pp. 185-197
-
A numerical procedure to solve non-linear kinematic problems in spatial mechanisms
International Journal for Numerical Methods in Engineering, Vol. 73, Núm. 6, pp. 825-843
-
A stability version of Hölder's inequality
Journal of Mathematical Analysis and Applications, Vol. 343, Núm. 2, pp. 842-852
-
A stability version of Hölder's inequality for 0 < p < 1
Journal of Inequalities in Pure and Applied Mathematics, Vol. 9, Núm. 2, pp. 60
-
An Algorithm Computing the First Two Levels of the Bousfield-Kan Spectral Squence
EACA 2008: XI Encuentro de Álgebra Computacional y Aplicaciones : Granada, del 10 al 12 de septiembre
-
Analytical model for lunar orbiter
Advances in the Astronautical Sciences, pp. 1281-1299
-
Boundedness and unboundedness results for some maximal operators on functions of bounded variation
Journal of Mathematical Analysis and Applications, Vol. 337, Núm. 1, pp. 130-143
-
Checking Necessary Conditions For Control And Data Flow Compatibility In The Synchronizations Between Business And Interactions Logics In Web Processes
Proceedings of the 6th IEEE European Conference on Web Services, ECOWS'08, pp. 92-101
-
Educación matemática atendiendo a la diversidad: análisis de una metodología específica. Tesis doctoral leída en Valladolid [reseña de la tesis]
Contextos educativos: Revista de educación, Núm. 11, pp. 245
-
Effective homology and spectral sequences (dissertation)
Universidad de La Rioja
-
El cálculo infinitesimal y su historia en la obra de Julio Rey Pastor entre 1921 y 1940
Actes d'Història de la Ciència i de la Tècnica, Vol. 1, Núm. 1, pp. 367-376
-
El programa de un curso de Rey Pastor (Buenos Aires, 1922)
Zubía, Núm. 25, pp. 97-108
-
El seminaro permanente de actualización en matemáticas de la Universidad de La Rioja
Matematicalia: revista digital de divulgación matemática de la Real Sociedad Matemática Española, Vol. 4, Núm. 5
-
Embeddings for anisotropic Besov spaces
Acta Mathematica Hungarica, Vol. 119, Núm. 1-2, pp. 25-40