×

zbMATH — the first resource for mathematics

Vélez, M. Pilar

Compute Distance To:
Author ID: velez.m-pilar Recent zbMATH articles by "Vélez, M. Pilar"
Published as: Vélez, M.; Vélez, M. P.; Vélez, M. Pilar
Documents Indexed: 13 Publications since 1994

Publications by Year

Citations contained in zbMATH

6 Publications have been cited 40 times in 38 Documents Cited by Year
Automatic discovery of theorems in elementary geometry. Zbl 0941.03010
Recio, T.; Vélez, M. P.
22
1999
Detecting real singularities of a space curve from a real rational parametrization. Zbl 1159.14036
Rubio, R.; Serradilla, J. M.; Vélez, M. P.
10
2009
Project 1: Automatic geometry theorem proving. Zbl 0951.68547
Recio, Tomas; Sterk, Hans; Vélez, M. Pilar
3
1999
A note on implicitization and normal parametrization of rational curves. Zbl 1356.14053
Rubio, Rosario; Serradilla, J. Miguel; Vélez, M. Pilar
2
2006
An algorithmic criterion for basicness in dimension 2. Zbl 0854.14024
Acquistapace, F.; Broglia, F.; Vélez, M. P.
2
1994
Basicness of semialgebraic sets. Zbl 0958.14040
Acquistapace, F.; Broglia, F.; Vélez, M. P.
1
1999
Detecting real singularities of a space curve from a real rational parametrization. Zbl 1159.14036
Rubio, R.; Serradilla, J. M.; Vélez, M. P.
10
2009
A note on implicitization and normal parametrization of rational curves. Zbl 1356.14053
Rubio, Rosario; Serradilla, J. Miguel; Vélez, M. Pilar
2
2006
Automatic discovery of theorems in elementary geometry. Zbl 0941.03010
Recio, T.; Vélez, M. P.
22
1999
Project 1: Automatic geometry theorem proving. Zbl 0951.68547
Recio, Tomas; Sterk, Hans; Vélez, M. Pilar
3
1999
Basicness of semialgebraic sets. Zbl 0958.14040
Acquistapace, F.; Broglia, F.; Vélez, M. P.
1
1999
An algorithmic criterion for basicness in dimension 2. Zbl 0854.14024
Acquistapace, F.; Broglia, F.; Vélez, M. P.
2
1994

Citations by Year