×

Abánades, Miguel Angel

Compute Distance To:
Author ID: abanades.miguel-angel Recent zbMATH articles by "Abánades, Miguel Angel"
Published as: Abánades, Miguel A.; Abánades, Miguel Á.; Abánades, Miguel; Abánades, Miguel Angel
Documents Indexed: 11 Publications since 1999
Co-Authors: 10 Co-Authors with 10 Joint Publications
102 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 19 times in 15 Documents Cited by Year
Development of automatic reasoning tools in GeoGebra. Zbl 1365.68431
Abánades, Miguel; Botana, Francisco; Kovács, Zoltán; Recio, Tomás; Sólyom-Gecse, Csilla
5
2016
Automatic deduction in (dynamic) geometry: Loci computation. Zbl 1280.65021
Botana, Francisco; Abánades, Miguel A.
4
2014
Algebraic equivalence of real algebraic cycles. Zbl 0932.14033
Abánades, Miguel Angel; Kucharz, Wojciech
3
1999
Software using the Gröbner cover for geometrical loci computation and classification. Zbl 1437.13001
Abánades, Miguel A.; Botana, Francisco; Montes, Antonio; Recio, Tomás
3
2014
A dynamic symbolic geometry environment based on the GröbnerCover algorithm for the computation of geometric loci and envelopes. Zbl 1390.68774
Abánades, Miguel A.; Botana, Francisco
2
2013
Algebraic homology for real hyperelliptic and real projective ruled surfaces. Zbl 1064.14068
Abánades, Miguel A.
1
2001
Towards the automatic discovery of theorems in GeoGebra. Zbl 1434.68636
Abánades, Miguel; Botana, Francisco; Kovács, Zoltán; Recio, Tomás; Sólyom-Gecse, Csilla
1
2016
Development of automatic reasoning tools in GeoGebra. Zbl 1365.68431
Abánades, Miguel; Botana, Francisco; Kovács, Zoltán; Recio, Tomás; Sólyom-Gecse, Csilla
5
2016
Towards the automatic discovery of theorems in GeoGebra. Zbl 1434.68636
Abánades, Miguel; Botana, Francisco; Kovács, Zoltán; Recio, Tomás; Sólyom-Gecse, Csilla
1
2016
Automatic deduction in (dynamic) geometry: Loci computation. Zbl 1280.65021
Botana, Francisco; Abánades, Miguel A.
4
2014
Software using the Gröbner cover for geometrical loci computation and classification. Zbl 1437.13001
Abánades, Miguel A.; Botana, Francisco; Montes, Antonio; Recio, Tomás
3
2014
A dynamic symbolic geometry environment based on the GröbnerCover algorithm for the computation of geometric loci and envelopes. Zbl 1390.68774
Abánades, Miguel A.; Botana, Francisco
2
2013
Algebraic homology for real hyperelliptic and real projective ruled surfaces. Zbl 1064.14068
Abánades, Miguel A.
1
2001
Algebraic equivalence of real algebraic cycles. Zbl 0932.14033
Abánades, Miguel Angel; Kucharz, Wojciech
3
1999

Citations by Year