Informática
Facultad
Universidad de Cantabria
Santander, EspañaPublicaciones en colaboración con investigadores/as de Universidad de Cantabria (22)
2022
-
I CONGRESO ESPAÑOL DE VIDEOJUEGOS 2022
CEUR Workshop Proceedings
-
Towards an ecosystem for computer-supported geometric reasoning
International Journal of Mathematical Education in Science and Technology, Vol. 53, Núm. 7, pp. 1701-1710
2021
-
Dealing with degeneracies in automated theorem proving in geometry
Mathematics, Vol. 9, Núm. 16
-
Inventing theorems with GeoGebra: a new altitude theorem
Boletín de la Sociedad Puig Adam de profesores de matemáticas, Núm. 111, pp. 8-28
2020
-
Reasoning about linkages with dynamic geometry
Journal of Symbolic Computation, Vol. 97, pp. 16-30
2019
-
Detecting truth, just on parts
Revista matemática complutense, Vol. 32, Núm. 2, pp. 451-474
2018
-
Offsets to conics and quadrics: A new determinantal representation for their implicit equation
ACM Communications in Computer Algebra, Vol. 52, Núm. 3, pp. 85-88
-
On the Interference Problem for Ellipsoids: Experiments and Applications
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Using automated reasoning tools in GeoGebra in the teaching and learning of proving in geometry
International Journal for Technology in Mathematics Education, Vol. 25, Núm. 2, pp. 33-51
2017
-
An algebraic framework for computing the topology of offsets to rational curves
Computer Aided Geometric Design, Vol. 52-53, pp. 28-47
-
Solving positioning problems with minimal data
GPS Solutions, Vol. 21, Núm. 1, pp. 149-161
-
The role of automated reasoning of geometry statements in mathematics instruction
PROCEEDINGS OF THE TENTH CONGRESS OF THE EUROPEAN SOCIETY FOR RESEARCH IN MATHEMATICS EDUCATION (CERME10)
2016
-
New shield structure for retrodirective and invisible applications
Microwave and Optical Technology Letters, Vol. 58, Núm. 11, pp. 2570-2577
2015
-
A canonical form for the continuous piecewise polynomial functions
Journal of Computational and Applied Mathematics, Vol. 283, pp. 17-27
2014
-
Computing the topology of an arrangement of implicit and parametric curves given by values
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012
-
An Introduction to Automated Discovery in Geometry through Symbolic Computation
NUMERICAL AND SYMBOLIC SCIENTIFIC COMPUTING: PROGRESS AND PROSPECTS (SPRINGER-VERLAG BERLIN), pp. 257-271
-
Model regularization in coevolutionary architectures evolving straight line code
Studies in Computational Intelligence
2011
-
Teaching about Madrid: A collaborative agents-based distributed learning course
Multiagent and Grid Systems, Vol. 7, Núm. 1, pp. 1-20
2010
-
Coevolutionary architectures with straight line programs for solving the symbolic regression problem
ICEC 2010 - Proceedings of the International Conference on Evolutionary Computation
-
The role of keeping "semantic blocks" invariant: Effects in linear genetic programming performance
ICEC 2010 - Proceedings of the International Conference on Evolutionary Computation