Publicaciones en colaboración con investigadores/as de Universidad de Sevilla (23)

2024

  1. How to compute multivariate Bessel expansions

    Ramanujan Journal, Vol. 64, Núm. 3, pp. 721-759

  2. Series de productos de senos (y cosenos)

    Gaceta de la Real Sociedad Matematica Española, Vol. 27, Núm. 1, pp. 87-119

  3. Summing Sneddon–Bessel series explicitly

    Mathematical Methods in the Applied Sciences, Vol. 47, Núm. 7, pp. 6590-6606

  4. The -Analog of the Quantum Theory of Angular Momentum: a Review from Special Functions

    Russian Journal of Mathematical Physics, Vol. 31, Núm. 1, pp. 24-43

2022

  1. A method for Summing Bessel Series and a couple of illustrative examples

    Proceedings of the American Mathematical Society, Vol. 150, Núm. 2, pp. 763-778

  2. Competencias digitales del profesorado universitario en España: Un estudio basado en los marcos europeos DigCompEdu y OpenEduThe Digital Competence of Academics in Spain: a study based on the European frameworks DigCompEdu and OpenEdu

    EUR [Scientific and technical research series]

  3. Reasoning and understanding in the resolution of a geometric task: analysis of the didactical pertinence of a learning trajectory in early childhood education

    Bolema - Mathematics Education Bulletin, Vol. 36, Núm. 72, pp. 332-357

2021

  1. On the properties of zeros of Bessel series in the real line

    Integral Transforms and Special Functions, Vol. 32, Núm. 11, pp. 912-931

  2. Optimizing the simplicial-map neural network architecture

    Journal of Imaging, Vol. 7, Núm. 9

  3. Simplicial-map neural networks robust to adversarial examples

    Mathematics, Vol. 9, Núm. 2, pp. 1-16

2019

  1. Fourier–Dunkl system of the second kind and Euler–Dunkl polynomials

    Journal of Approximation Theory, Vol. 245, pp. 23-39

2018

  1. Bernoulli–Dunkl and Apostol–Euler–Dunkl polynomials with applications to series involving zeros of Bessel functions

    Journal of Approximation Theory, Vol. 235, pp. 20-45

2017

  1. Using abstract stobjs in ACL2 to compute matrix normal forms

    Lecture Notes in Computer Science, Vol. 10499 LNCS, pp. 354-370

2016

  1. Towards a verifiable Topology of Data

    XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016

2015

  1. Editorial

    Applicable Algebra in Engineering, Communications and Computing, Vol. 26, Núm. 1-2, pp. 1-3

  2. Modelling algebraic structures and morphisms in ACL2

    Applicable Algebra in Engineering, Communications and Computing, Vol. 26, Núm. 3, pp. 277-303

  3. Some Conjectures on Wronskian and Casorati Determinants of Orthogonal Polynomials

    Experimental mathematics, Vol. 24, Núm. 1, pp. 123-132

2014

  1. Verifying the bridge between simplicial topology and algebra: The Eilenberg-Zilber algorithm

    Logic Journal of the IGPL, Vol. 22, Núm. 1, pp. 39-65

2013

  1. Certified symbolic manipulation: Bivariate simplicial polynomialsModos de exclusión de las mujeres en la sociedad actual

    Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC, pp. 243-250

2012

  1. Formalization of a Normalization Theorem in Simplicial Topology

    Annals of Mathematics and Artificial Intelligence, Vol. 64, Núm. 1, pp. 1-37