Concepedia

M. Pilar Vélez

MP

8

Publications

238

Citations

8

H-Index

1999

Active since

Affiliations

Universidad Nebrija(Current)

Universidad de Cantabria

Private University College of Education of the Diocese of Linz

Université de Montréal

M. Pilar Vélez is an author at Universidad Nebrija specializing in geometric modeling, computer science, and engineering.

Top concepts

GeometryEngineeringComputer ScienceGeometry ModelingAutomated ReasoningComputational GeometryVerificationDesignEducationFormal Methods

Publications per year

1999–2021

8

Publications

8

Automatic Discovery of Theorems in Elementary Geometry

Tomás Recio, M. Pilar Vélez · Journal of Automated Reasoning · 1999 · 102 citations

Using Automated Reasoning Tools in GeoGebra in the Teaching and Learning of Proving in Geometry

Zoltán Kovács, Tomás Recio, M. Pilar Vélez · International Journal for Technology in Mathematics Education · 2018 · 34 citations · Full text

Engineering, Geometry, Verification +21

Detecting real singularities of a space curve from a real rational parametrization

Rosario Rubio, M. Pilar Vélez · Journal of Symbolic Computation · 2008 · 20 citations

Real Rational Parametrization, Real Singularities, Curve Fitting +2

Detecting truth, just on parts

Zoltán Kovács, Tomás Recio, M. Pilar Vélez · Revista Matemática Complutense · 2018 · 20 citations

Engineering, Automated Reasoning, Belief Merging +6

Towards an ecosystem for computer-supported geometric reasoning

Zoltán Kovács, Tomás Recio, Philippe R. Richard et al. · International Journal of Mathematical Education in Science and Technology · 2020 · 20 citations

Engineering, Geometry, Education +17

Rows per page

1–5 of 8