Publicaciones (63) Publicaciones en las que ha participado algún/a investigador/a

2009

  1. A Technique To Verify Behavioral Properties In Semantically Annotated Business Processes

    THIRD IEEE INTERNATIONAL CONFERENCE ON SEMANTIC COMPUTING

  2. ACL2 verification of simplicial degeneracy programs in the Kenzo system

    Intelligent Computer Mathematics (SPRINGER-VERLAG), pp. 106-121

  3. 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

  4. 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

  5. An optimization of Chebyshev's method

    Journal of Complexity, Vol. 25, Núm. 4, pp. 343-361

  6. Applicable Algebra and Artificial Intelligence

    Annals of Mathematics and Artificial Intelligence, Vol. 56, Núm. 3, pp. 241-243

  7. 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

  8. Bernstein operators for exponential polynomials

    Constructive Approximation, Vol. 29, Núm. 3, pp. 345-367

  9. Betti numbers and minimal free resolutions for multi-state system reliability bounds

    Journal of Symbolic Computation, Vol. 44, Núm. 9, pp. 1311-1325

  10. Calculo numérico de las transformaciones directa e inversa en el método de Lie-Deprit

    Boletín ROA, Núm. 1, pp. 3341

  11. Computation of the (n-1)-st Koszul Homology of Monomial Ideals and Related Algorithms

    ISSAC 2009: International Symposium on Symbolic and Algebraic Computation

  12. 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

  13. 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

  14. 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)

  15. Cálculo en paralelo de la homología cúbica con gridMathematica

    Fórum Tecnológico, Vol. 11

  16. 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

  17. 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

  18. 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

  19. Fourth-order iterations for solving Hammerstein integral equations

    Applied Numerical Mathematics, Vol. 59, Núm. 6, pp. 1149-1158

  20. Improving the efficiency index of one-point iterative processes

    Journal of Computational and Applied Mathematics, Vol. 223, Núm. 2, pp. 879-892