Departamento
Matemáticas y Computación
Publicaciones (63) Publicaciones en las que ha participado algún/a investigador/a
2009
-
A Technique To Verify Behavioral Properties In Semantically Annotated Business Processes
THIRD IEEE INTERNATIONAL CONFERENCE ON SEMANTIC COMPUTING
-
ACL2 verification of simplicial degeneracy programs in the Kenzo system
Intelligent Computer Mathematics (SPRINGER-VERLAG), pp. 106-121
-
Actas de las XI Jornadas de Mecánica Celeste, Ezcaray, 25 y 27 de junio de 2008
Monografías de la Real Academia de Ciencias Exactas, Físicas, Químicas y Naturales de Zaragoza
-
An improvement of the region of accessibility of Chebyshev's method from Newton's method
Mathematics of Computation, Vol. 78, Núm. 267, pp. 1613-1627
-
An optimization of Chebyshev's method
Journal of Complexity, Vol. 25, Núm. 4, pp. 343-361
-
Applicable Algebra and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence, Vol. 56, Núm. 3, pp. 241-243
-
Astrodynamics Web Tools
Monografías de la Real Academia de Ciencias Exactas, Físicas, Químicas y Naturales de Zaragoza, Núm. 32, pp. 105-114
-
Bernstein operators for exponential polynomials
Constructive Approximation, Vol. 29, Núm. 3, pp. 345-367
-
Betti numbers and minimal free resolutions for multi-state system reliability bounds
Journal of Symbolic Computation, Vol. 44, Núm. 9, pp. 1311-1325
-
Calculo numérico de las transformaciones directa e inversa en el método de Lie-Deprit
Boletín ROA, Núm. 1, pp. 3341
-
Computation of the (n-1)-st Koszul Homology of Monomial Ideals and Related Algorithms
ISSAC 2009: International Symposium on Symbolic and Algebraic Computation
-
Computation of the (n-1)-st Koszul Homology of Monomial Ideals and Related Algorithms
ISSAC2009: PROCEEDINGS OF THE 2009 INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION
-
Computation of the (n-1)-st Koszul homology of monomial ideals and related algorithms
Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC, pp. 31-37
-
Computer proofs of new identities in the Catalan triangle
Proceedings of the "Segundas Jornadas de Teoría de Números" : Madrid, july, 16th-19th, 2007 (Revista Matemática Iberoamericana)
-
Cálculo en paralelo de la homología cúbica con gridMathematica
Fórum Tecnológico, Vol. 11
-
Differentiability of a pathological function, diophantine approximation, and a reformulation of the Thue-Siegel-Roth theorem
Gazette - Australian Mathematical Society, Vol. 36, pp. 353-361
-
El modelo de Lidov y Kozai revisado desde la perspectiva de las futuras misiones a los satélites galileanos
Boletín ROA, Núm. 1, pp. 73-82
-
Experiencias de enseñanza on-line
XXXI Congreso Nacional de Estadística e Investigación Operativa ; V Jornadas de Estadística Pública: Murcia, 10-13 de febrero de 2009 : Libro de Actas
-
Fourth-order iterations for solving Hammerstein integral equations
Applied Numerical Mathematics, Vol. 59, Núm. 6, pp. 1149-1158
-
Improving the efficiency index of one-point iterative processes
Journal of Computational and Applied Mathematics, Vol. 223, Núm. 2, pp. 879-892