Publicacións (19) Publicacións nas que participase algún/ha investigador/a

2016

  1. A note on the rate of convergence for Chebyshev-Lobatto and Radau systems

    Open Mathematics, Vol. 14, Núm. 1, pp. 156-166

  2. A refined algorithm for testing the Leibniz n-algebra structure

    XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016

  3. Analysis of a problem arising in porous thermoelasticity of type II

    Journal of Thermal Stresses, Vol. 39, Núm. 5, pp. 513-531

  4. Concepto de lugar geométrico. Génesis de utilización personal y profesional con distintas herramientas

    Bolema - Mathematics Education Bulletin, Vol. 30, Núm. 54, pp. 67-94

  5. Descubrimiento Automático en GeoGebra: primeros pasos

    XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016

  6. Development of automatic reasoning tools in GeoGebra

    ACM Communications in Computer Algebra, Vol. 50, Núm. 3, pp. 85-88

  7. Dynamics and the cohomology of measured laminations

    Mathematics, Vol. 4, Núm. 1

  8. Estimates for the spectrum on logarithmic interpolation spaces

    Journal of Mathematical Analysis and Applications, Vol. 437, Núm. 1, pp. 292-309

  9. Existence and uniqueness results for a kinetic model in bulk-surface surfactant dynamics

    SIAM Journal on Mathematical Analysis, Vol. 48, Núm. 5, pp. 3065-3089

  10. Finite element simulation for analysing the design and testing of an energy absorption system

    Materials, Vol. 9, Núm. 8

  11. Foreword to the special issue on "nonstandard Applications of Computer Algebra (ACA'2013)"

    Mathematics and Computers in Simulation

  12. Numerical analysis of a viscoelastic mixture problem

    International Journal of Solids and Structures, Vol. 80, pp. 393-404

  13. On Algebraic properties of the human ABO-Blood Group Inheritance Pattern

    XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016

  14. On the Unavoidable Uncertainty of Truth in Dynamic Geometry Proving

    Mathematics in Computer Science, Vol. 10, Núm. 1, pp. 5-25

  15. On the Universal α -Central Extension of the Semi-direct Product of Hom-Leibniz Algebras

    Bulletin of the Malaysian Mathematical Sciences Society, Vol. 39, Núm. 4, pp. 1579-1602

  16. On the algebraic properties of the human ABO-blood group inheritance pattern

    ANZIAM Journal, Vol. 58, Núm. 1, pp. 78-95

  17. Some issues on the automatic computation of plane envelopes in interactive environments

    Mathematics and Computers in Simulation, Vol. 125, pp. 115-125

  18. Test for Leibniz n-algebra structure

    Linear Algebra and Its Applications, Vol. 494, pp. 138-155

  19. Towards the automatic discovery of theorems in GeoGebra

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)