Fachbereich
Matemáticas y Computación
Publikationen (139) Publikationen, an denen Forscher/innen teilgenommen haben
2017
-
A Bousfield–Kan Algorithm for Computing the Effective Homotopy of a Space
Foundations of Computational Mathematics, Vol. 17, Núm. 5, pp. 1335-1366
-
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
-
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
-
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
-
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
-
A non-associative baker-campbell-hausdorff formula
Proceedings of the American Mathematical Society, Vol. 145, Núm. 12, pp. 5109-5122
-
A note on subsymmetric renormings of Banach spaces
Quaestiones Mathematicae, pp. 1-14
-
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
-
An extension of a theorem of Domar on invariant subspaces
Acta Scientiarum Mathematicarum, Vol. 83, Núm. 1-2, pp. 271-290
-
Antibiogramj: A tool for analysing images from disk diffusion tests
Computer Methods and Programs in Biomedicine, Vol. 143, pp. 159-169
-
Análisis integrado de la calidad seminal en rumiantes
XVII Jornadas sobre Producción Animal: 30 y 31 de mayo de 2017, Zaragoza
-
Ball Convergence for eighth order method
ITERATIVE METHODS AND THEIR DYNAMICS WITH APPLICATIONS: A CONTEMPORARY STUDY (CRC PRESS-TAYLOR & FRANCIS GROUP), pp. 319-330
-
Ballistic Coefficient Estimation for Reentry Prediction of Rocket Bodies in Eccentric Orbits Based on TLE Data
Mathematical Problems in Engineering, Vol. 2017
-
Bayesian solutions to biodosimetry count data problems and supporting software
Trends in Mathematics
-
Bienestar emocional en adolescentes riojanos: no hay salud sin salud mental
Universidad de La Rioja
-
C0-semigroups and resolvent operators approximated by Laguerre expansions
Journal of Approximation Theory, Vol. 213, pp. 1-22
-
Characterization of 1-almost greedy bases
Revista matemática complutense, Vol. 30, Núm. 1, pp. 13-24
-
Computations and Combinatorics in Commutative Algebra EACA School, Valladolid 2013 Introduction
Lecture Notes in Mathematics, Vol. 2176, pp. V
-
Computations and combinatorics in commutative algebra
MR. HOLGER BARTH SPRINGER VERLAG GMBH
-
Conditional Quasi-Greedy Bases in Non-superreflexive Banach Spaces
Constructive Approximation, pp. 1-20