Artículos (46) Publicaciones en las que ha participado algún/a investigador/a

2010

  1. A case study of A8-structure

    Georgian Mathematical Journal, Vol. 17, Núm. 1, pp. 57-77

  2. A case-study in algebraic manipulation using mechanized reasoning tools

    International Journal of Computer Mathematics, Vol. 87, Núm. 9, pp. 1936-1949

  3. An extension of Gander's result for quadratic equations

    Journal of Computational and Applied Mathematics, Vol. 234, Núm. 4, pp. 960-971

  4. An uncertainty inequality for Fourier-Dunkl series

    Journal of Computational and Applied Mathematics, Vol. 233, Núm. 6, pp. 1499-1504

  5. Authoring and Verification of Clinical Guidelines: a Model Driven Approach

    Journal of Biomedical Informatics, Vol. 43, Núm. 4, pp. 520-536

  6. Behavior of weak type bounds for high dimensional maximal operators defined by certain radial measures

    Positivity, Vol. 15, Núm. 2, pp. 199-213

  7. Commutative n-ary Leibniz Algebras

    Communications in Algebra, Vol. 38, Núm. 8, pp. 2843-2850

  8. 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

  9. Computing the support of monomial iterated mapping cones

    Journal of Symbolic Computation, Vol. 45, Núm. 10, pp. 953-964

  10. 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

  11. Database design learning: a project-based approach organized through a course management system

    Computers and Education, Vol. 55, Núm. 3, pp. 1312-1320

  12. Diagrammatic logic applied to a parameterisation process

    Mathematical Structures in Computer Science, Vol. 20, Núm. 4, pp. 639-654

  13. 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

  14. Eigenfunctions of the Hardy-Littlewood maximal operator

    Colloquium Mathematicum, Vol. 118, Núm. 2, pp. 379-389

  15. El método de Newton: de Newton a Kantorovich

    Gaceta de la Real Sociedad Matematica Española, Vol. 13, Núm. 1

  16. Exact sequences and closed model categories

    Applied Categorical Structures, Vol. 18, Núm. 4, pp. 343-375

  17. Formal multiplications, bialgebras of distributions and non-associative Lie theory

    Transformation Groups, Vol. 15, Núm. 3, pp. 625-653

  18. Fundamental groups and finite sheeted coverings

    Journal of Pure and Applied Algebra, Vol. 214, Núm. 3, pp. 281-296

  19. Generating certified code from Formal Proofs: a case study in Homological Algebra

    Formal Aspects of Computing, Vol. 22, Núm. 2, pp. 193-213

  20. 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