Département
Matemáticas y Computación
Articles (46) Publications auxquelles un chercheur a participé
2010
-
A case study of A8-structure
Georgian Mathematical Journal, Vol. 17, Núm. 1, pp. 57-77
-
A case-study in algebraic manipulation using mechanized reasoning tools
International Journal of Computer Mathematics, Vol. 87, Núm. 9, pp. 1936-1949
-
An extension of Gander's result for quadratic equations
Journal of Computational and Applied Mathematics, Vol. 234, Núm. 4, pp. 960-971
-
An uncertainty inequality for Fourier-Dunkl series
Journal of Computational and Applied Mathematics, Vol. 233, Núm. 6, pp. 1499-1504
-
Authoring and Verification of Clinical Guidelines: a Model Driven Approach
Journal of Biomedical Informatics, Vol. 43, Núm. 4, pp. 520-536
-
Behavior of weak type bounds for high dimensional maximal operators defined by certain radial measures
Positivity, Vol. 15, Núm. 2, pp. 199-213
-
Commutative n-ary Leibniz Algebras
Communications in Algebra, Vol. 38, Núm. 8, pp. 2843-2850
-
Computing the first stages of the Bousfield-Kan spectral sequence
Applicable Algebra in Engineering, Communications and Computing, Vol. 21, Núm. 3, pp. 227-248
-
Computing the support of monomial iterated mapping cones
Journal of Symbolic Computation, Vol. 45, Núm. 10, pp. 953-964
-
Convergence of Padé approximants of Stieltjes-type meromorphic functions and the relative asymptotics of orthogonal polynomials on the real line
Journal of Approximation Theory, Vol. 162, Núm. 2, pp. 363-381
-
Database design learning: a project-based approach organized through a course management system
Computers and Education, Vol. 55, Núm. 3, pp. 1312-1320
-
Diagrammatic logic applied to a parameterisation process
Mathematical Structures in Computer Science, Vol. 20, Núm. 4, pp. 639-654
-
Dynamics of a new family of iterative processes for quadratic polynomials
Journal of Computational and Applied Mathematics, Vol. 233, Núm. 10, pp. 2688-2695
-
Eigenfunctions of the Hardy-Littlewood maximal operator
Colloquium Mathematicum, Vol. 118, Núm. 2, pp. 379-389
-
El método de Newton: de Newton a Kantorovich
Gaceta de la Real Sociedad Matematica Española, Vol. 13, Núm. 1
-
Exact sequences and closed model categories
Applied Categorical Structures, Vol. 18, Núm. 4, pp. 343-375
-
Formal multiplications, bialgebras of distributions and non-associative Lie theory
Transformation Groups, Vol. 15, Núm. 3, pp. 625-653
-
Fundamental groups and finite sheeted coverings
Journal of Pure and Applied Algebra, Vol. 214, Núm. 3, pp. 281-296
-
Generating certified code from Formal Proofs: a case study in Homological Algebra
Formal Aspects of Computing, Vol. 22, Núm. 2, pp. 193-213
-
Hacia la Matemática abstracta: Tomás Rodríguez Bachiller (1899-1980)
Gaceta de la Real Sociedad Matematica Española, Vol. 13, Núm. 4, pp. 769-796