×

zbMATH — the first resource for mathematics

Botana, Francisco

Compute Distance To:
Author ID: botana.francisco Recent zbMATH articles by "Botana, Francisco"
Published as: Botana, F.; Botana, Francisco
External Links: ORCID · dblp
Documents Indexed: 32 Publications since 2000, including 2 Books

Publications by Year

Citations contained in zbMATH

19 Publications have been cited 69 times in 40 Documents Cited by Year
Automated theorem proving in GeoGebra: current achievements. Zbl 1356.68181
Botana, Francisco; Hohenwarter, Markus; Janičić, Predrag; Kovács, Zoltán; Petrović, Ivan; Recio, Tomás; Weitzhofer, Simon
15
2015
Automatic determination of envelopes and other derived curves within a graphic environment. Zbl 1091.68111
Botana, Francisco; Valcarce, José L.
7
2004
A software tool for the investigation of plane loci. Zbl 1011.68149
Botana, F.; Valcarce, J. L.
7
2003
A Singular web service for geometric computations. Zbl 1330.68336
Botana, Francisco; Kovács, Zoltán
5
2015
Computing envelopes in dynamic geometry environments. Zbl 1409.68303
Botana, Francisco; Recio, Tomas
4
2017
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
4
2016
On the unavoidable uncertainty of truth in dynamic geometry proving. Zbl 1357.68197
Botana, Francisco; Recio, Tomas
4
2016
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
4
2014
Where the truth lies (in automatic theorem proving in elementary geometry). Zbl 1127.68428
Recio, T.; Botana, F.
3
2004
A web-based intelligent system for geometric discovery. Zbl 1033.68596
Botana, Francisco
3
2003
Interactive versus symbolic approaches to plane loci generation in dynamic geometry environments. Zbl 1055.68580
Botana, F.
3
2002
Automatic deduction in (dynamic) geometry: Loci computation. Zbl 1280.65021
Botana, Francisco; Abánades, Miguel A.
2
2014
Towards solving the dynamic geometry bottleneck via a symbolic approach. Zbl 1159.68549
Botana, Francisco; Recio, Tomás
2
2006
A proposal for the automatic computation of envelopes of families of plane curves. Zbl 1417.68177
Botana, Francisco; Recio, Tomás
1
2019
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
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
1
2013
A symbolic companion for interactive geometric systems. Zbl 1335.68225
Botana, Francisco
1
2011
Automated discovery in elementary extrema problems. Zbl 1155.68590
Botana, Francisco; Valcarce, José L.
1
2006
Cooperation between a dynamic geometry environment and a computer algebra system for geometric discovery. Zbl 1020.68109
Botana, Francisco; Valcarce, José L.
1
2001
A proposal for the automatic computation of envelopes of families of plane curves. Zbl 1417.68177
Botana, Francisco; Recio, Tomás
1
2019
Computing envelopes in dynamic geometry environments. Zbl 1409.68303
Botana, Francisco; Recio, Tomas
4
2017
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
4
2016
On the unavoidable uncertainty of truth in dynamic geometry proving. Zbl 1357.68197
Botana, Francisco; Recio, Tomas
4
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
Automated theorem proving in GeoGebra: current achievements. Zbl 1356.68181
Botana, Francisco; Hohenwarter, Markus; Janičić, Predrag; Kovács, Zoltán; Petrović, Ivan; Recio, Tomás; Weitzhofer, Simon
15
2015
A Singular web service for geometric computations. Zbl 1330.68336
Botana, Francisco; Kovács, Zoltán
5
2015
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
4
2014
Automatic deduction in (dynamic) geometry: Loci computation. Zbl 1280.65021
Botana, Francisco; Abánades, Miguel A.
2
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
1
2013
A symbolic companion for interactive geometric systems. Zbl 1335.68225
Botana, Francisco
1
2011
Towards solving the dynamic geometry bottleneck via a symbolic approach. Zbl 1159.68549
Botana, Francisco; Recio, Tomás
2
2006
Automated discovery in elementary extrema problems. Zbl 1155.68590
Botana, Francisco; Valcarce, José L.
1
2006
Automatic determination of envelopes and other derived curves within a graphic environment. Zbl 1091.68111
Botana, Francisco; Valcarce, José L.
7
2004
Where the truth lies (in automatic theorem proving in elementary geometry). Zbl 1127.68428
Recio, T.; Botana, F.
3
2004
A software tool for the investigation of plane loci. Zbl 1011.68149
Botana, F.; Valcarce, J. L.
7
2003
A web-based intelligent system for geometric discovery. Zbl 1033.68596
Botana, Francisco
3
2003
Interactive versus symbolic approaches to plane loci generation in dynamic geometry environments. Zbl 1055.68580
Botana, F.
3
2002
Cooperation between a dynamic geometry environment and a computer algebra system for geometric discovery. Zbl 1020.68109
Botana, Francisco; Valcarce, José L.
1
2001

Citations by Year