Département
Matemáticas y Computación
Publications (73) Publications auxquelles un chercheur a participé
2012
-
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
-
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
-
A parameterization process: From a functorial point of view
International Journal of Foundations of Computer Science, Vol. 23, Núm. 1, pp. 225-242
-
A q-linear analogue of the plane wave expansion
Advances in Applied Mathematics, Vol. 50, Núm. 3, pp. 415-428
-
A systematic review of code generation proposals from state machine specifications
Information and Software Technology, Vol. 54, Núm. 10, pp. 1045-1066
-
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
-
Algebraic Reliability Based on Monomial Ideals: A Review
Harmony of Gröbner Bases and the Modern Industrial Society, pp. 314-335
-
Algebraic analysis of two-terminal networks
Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones: EACA 2012
-
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
-
An ACL2 formalization of algebraic structures
Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones: EACA 2012
-
An Ulm-type method with R-order of convergence three
Nonlinear Analysis: Real World Applications, Vol. 13, Núm. 1, pp. 14-26
-
An economic hybrid J2 analytical orbit propagator program based on SARIMA models
Mathematical Problems in Engineering, Vol. 2012, Núm. 207381, pp. 1-16
-
Analysing the efficiency of some modifications of the secant method
Computers & Mathematics with Applications, Vol. 64, Núm. 6, pp. 2066-2073
-
Asymptotic estimates for Apostol-Bernoulli and Apostol-Euler polynomials
Mathematics of Computation, Vol. 81, Núm. 279, pp. 1707-1722
-
Bayoumi quasi-differential is not different from Frechet-differential
Central European Journal of Mathematics, Vol. 10, Núm. 3, pp. 1071-1075
-
Betti numbers of polynomial hierarchical models for experimental designs
Annals of Mathematics and Artificial Intelligence, Vol. 64, Núm. 4, pp. 411-426
-
Bilinear biorthogonal expansions and the Dunkl kernel on the real line
Expositiones Mathematicae, Vol. 30, Núm. 1, pp. 32-48
-
COMPARISON OF DELAUNAY NORMALIZATION AND THE KRYLOV-BOGOLIUBOV-MITROPOLSKY METHOD
SPACEFLIGHT MECHANICS 2012
-
Computing the homology of groups: The geometric way
Journal of Symbolic Computation, Vol. 47, Núm. 7, pp. 752-770
-
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