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

2017

  1. A Bousfield–Kan Algorithm for Computing the Effective Homotopy of a Space

    Foundations of Computational Mathematics, Vol. 17, Núm. 5, pp. 1335-1366

  2. A Formalisation in HOL of the Fundamental Theorem of Linear Algebra and Its Application to the Solution of the Least Squares Problem

    Journal of Automated Reasoning, Vol. 58, Núm. 4, pp. 509-535

  3. A first overview on the real dynamics of Chebyshev's method

    Journal of Computational and Applied Mathematics, Vol. 313, Núm. 1, pp. 422-432

  4. A formalization of the Berlekamp-Zassenhaus factorization algorithm

    CPP 2017 - Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, pp. 17-29

  5. A multidimensional generalization of some classes of iterative methods

    SeMA Journal: Boletín de la Sociedad Española de Matemática Aplicada, Vol. 74, Núm. 1, pp. 57-73

  6. A non-associative baker-campbell-hausdorff formula

    Proceedings of the American Mathematical Society, Vol. 145, Núm. 12, pp. 5109-5122

  7. A note on subsymmetric renormings of Banach spaces

    Quaestiones Mathematicae, pp. 1-14

  8. A study of the influence of center conditions on the domain of parameters of Newton’s method by using recurrence relations

    Advances in Computational Mathematics, Vol. 43, Núm. 5, pp. 1103-1129

  9. An extension of a theorem of Domar on invariant subspaces

    Acta Scientiarum Mathematicarum, Vol. 83, Núm. 1-2, pp. 271-290

  10. Antibiogramj: A tool for analysing images from disk diffusion tests

    Computer Methods and Programs in Biomedicine, Vol. 143, pp. 159-169

  11. Análisis integrado de la calidad seminal en rumiantes

    XVII Jornadas sobre Producción Animal: 30 y 31 de mayo de 2017, Zaragoza

  12. Ball Convergence for eighth order method

    ITERATIVE METHODS AND THEIR DYNAMICS WITH APPLICATIONS: A CONTEMPORARY STUDY (CRC PRESS-TAYLOR & FRANCIS GROUP), pp. 319-330

  13. Ballistic Coefficient Estimation for Reentry Prediction of Rocket Bodies in Eccentric Orbits Based on TLE Data

    Mathematical Problems in Engineering, Vol. 2017

  14. Bayesian solutions to biodosimetry count data problems and supporting software

    Trends in Mathematics

  15. Bienestar emocional en adolescentes riojanos: no hay salud sin salud mental

    Universidad de La Rioja

  16. C0-semigroups and resolvent operators approximated by Laguerre expansions

    Journal of Approximation Theory, Vol. 213, pp. 1-22

  17. Characterization of 1-almost greedy bases

    Revista matemática complutense, Vol. 30, Núm. 1, pp. 13-24

  18. Computations and Combinatorics in Commutative Algebra EACA School, Valladolid 2013 Introduction

    Lecture Notes in Mathematics, Vol. 2176, pp. V

  19. Computations and combinatorics in commutative algebra

    MR. HOLGER BARTH SPRINGER VERLAG GMBH

  20. Conditional Quasi-Greedy Bases in Non-superreflexive Banach Spaces

    Constructive Approximation, pp. 1-20