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

2012

  1. A Certified Module to Study Digital Images with the Kenzo System

    Lecture Notes in Computer Science, Computer Aided Systems Theory &- EUROCAST 2011 (SPRINGER-VERLAG), pp. 113-120

  2. A modification of the classic conditions of Newton-Kantorovich for Newton's method

    Mathematical and Computer Modelling, Vol. 57, Núm. 3-4, pp. 584-594

  3. A parameterization process: From a functorial point of view

    International Journal of Foundations of Computer Science, Vol. 23, Núm. 1, pp. 225-242

  4. A q-linear analogue of the plane wave expansion

    Advances in Applied Mathematics, Vol. 50, Núm. 3, pp. 415-428

  5. A systematic review of code generation proposals from state machine specifications

    Information and Software Technology, Vol. 54, Núm. 10, pp. 1045-1066

  6. A variant of the Newton-Kantorovich theorem for nonlinear integral equations of mixed Hammerstein type

    Applied Mathematics and Computation, Vol. 218, Núm. 18, pp. 9536-9546

  7. Algebraic Reliability Based on Monomial Ideals: A Review

    Harmony of Gröbner Bases and the Modern Industrial Society, pp. 314-335

  8. Algebraic analysis of two-terminal networks

    Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones: EACA 2012

  9. Algoritmos algebraicos lineales en el primer libro de texto (1917) de Julio Rey Pastor

    Llull: Revista de la Sociedad Española de Historia de las Ciencias y de las Técnicas, Vol. 35, Núm. 75, pp. 13-36

  10. An ACL2 formalization of algebraic structures

    Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones: EACA 2012

  11. An Ulm-type method with R-order of convergence three

    Nonlinear Analysis: Real World Applications, Vol. 13, Núm. 1, pp. 14-26

  12. An economic hybrid J2 analytical orbit propagator program based on SARIMA models

    Mathematical Problems in Engineering, Vol. 2012, Núm. 207381, pp. 1-16

  13. Analysing the efficiency of some modifications of the secant method

    Computers & Mathematics with Applications, Vol. 64, Núm. 6, pp. 2066-2073

  14. Asymptotic estimates for Apostol-Bernoulli and Apostol-Euler polynomials

    Mathematics of Computation, Vol. 81, Núm. 279, pp. 1707-1722

  15. Bayoumi quasi-differential is not different from Frechet-differential

    Central European Journal of Mathematics, Vol. 10, Núm. 3, pp. 1071-1075

  16. Betti numbers of polynomial hierarchical models for experimental designs

    Annals of Mathematics and Artificial Intelligence, Vol. 64, Núm. 4, pp. 411-426

  17. Bilinear biorthogonal expansions and the Dunkl kernel on the real line

    Expositiones Mathematicae, Vol. 30, Núm. 1, pp. 32-48

  18. COMPARISON OF DELAUNAY NORMALIZATION AND THE KRYLOV-BOGOLIUBOV-MITROPOLSKY METHOD

    SPACEFLIGHT MECHANICS 2012

  19. Computing the homology of groups: The geometric way

    Journal of Symbolic Computation, Vol. 47, Núm. 7, pp. 752-770

  20. Construction of majorizing sequences for operators with unbounded second derivative

    Eleventh International Conference Zaragoza-Pau on Applied Mathematics and Statistics (Universidad de Zaragoza), pp. 123-132