Geometría algebraica y analítica real
Universidad de Cantabria
Santander, EspañaPublicaciones en colaboración con investigadores/as de Universidad de Cantabria (15)
2022
-
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
-
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
-
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)
2014
-
Reparametrizing swung surfaces over the reals
Applicable Algebra in Engineering, Communications and Computing, Vol. 25, Núm. 1-2, pp. 39-65
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
2011
-
Proper real reparametrization of rational ruled surfaces
Computer Aided Geometric Design, Vol. 28, Núm. 2, pp. 102-113
2009
-
On the simplification of the coefficients of a parametrization
Journal of Symbolic Computation, Vol. 44, Núm. 2, pp. 192-210
2007
-
Plotting missing points and branches of real parametric curves
Applicable Algebra in Engineering, Communications and Computing, Vol. 18, Núm. 1-2, pp. 107-126
1999
-
Automatic discovery of theorems in elementary geometry
Journal of Automated Reasoning, Vol. 23, Núm. 1, pp. 63-82
-
Base Field Restriction Techniques for Parametric Curves
Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC
1983
-
Ordered fields with the dense orbits property
Journal of Pure and Applied Algebra, Vol. 30, Núm. 3, pp. 237-246