Departamento
Matemática aplicada I
Publicacións (19) Publicacións nas que participase algún/ha investigador/a
2016
-
A note on the rate of convergence for Chebyshev-Lobatto and Radau systems
Open Mathematics, Vol. 14, Núm. 1, pp. 156-166
-
A refined algorithm for testing the Leibniz n-algebra structure
XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016
-
Analysis of a problem arising in porous thermoelasticity of type II
Journal of Thermal Stresses, Vol. 39, Núm. 5, pp. 513-531
-
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
-
Descubrimiento Automático en GeoGebra: primeros pasos
XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016
-
Development of automatic reasoning tools in GeoGebra
ACM Communications in Computer Algebra, Vol. 50, Núm. 3, pp. 85-88
-
Dynamics and the cohomology of measured laminations
Mathematics, Vol. 4, Núm. 1
-
Estimates for the spectrum on logarithmic interpolation spaces
Journal of Mathematical Analysis and Applications, Vol. 437, Núm. 1, pp. 292-309
-
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
-
Finite element simulation for analysing the design and testing of an energy absorption system
Materials, Vol. 9, Núm. 8
-
Foreword to the special issue on "nonstandard Applications of Computer Algebra (ACA'2013)"
Mathematics and Computers in Simulation
-
Numerical analysis of a viscoelastic mixture problem
International Journal of Solids and Structures, Vol. 80, pp. 393-404
-
On Algebraic properties of the human ABO-Blood Group Inheritance Pattern
XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016
-
On the Unavoidable Uncertainty of Truth in Dynamic Geometry Proving
Mathematics in Computer Science, Vol. 10, Núm. 1, pp. 5-25
-
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
-
On the algebraic properties of the human ABO-blood group inheritance pattern
ANZIAM Journal, Vol. 58, Núm. 1, pp. 78-95
-
Some issues on the automatic computation of plane envelopes in interactive environments
Mathematics and Computers in Simulation, Vol. 125, pp. 115-125
-
Test for Leibniz n-algebra structure
Linear Algebra and Its Applications, Vol. 494, pp. 138-155
-
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)