Baeta, Nuno; Quaresma, Pedro Towards a geometry deductive database prover. (English) Zbl 07785123 Ann. Math. Artif. Intell. 91, No. 6, 851-863 (2023). MSC: 68V15 51-08 68P15 PDFBibTeX XMLCite \textit{N. Baeta} and \textit{P. Quaresma}, Ann. Math. Artif. Intell. 91, No. 6, 851--863 (2023; Zbl 07785123) Full Text: DOI OA License
Janičić, Predrag; Narboux, Julien Automated generation of illustrated proofs in geometry and beyond. (English) Zbl 07785121 Ann. Math. Artif. Intell. 91, No. 6, 797-820 (2023). MSC: 68V15 03B35 51-08 68Q42 PDFBibTeX XMLCite \textit{P. Janičić} and \textit{J. Narboux}, Ann. Math. Artif. Intell. 91, No. 6, 797--820 (2023; Zbl 07785121) Full Text: DOI
Quaresma, Pedro; Graziani, Pierluigi Measuring the readability of geometric proofs: the area method case. (English) Zbl 07695708 J. Autom. Reasoning 67, No. 1, Paper No. 5, 21 p. (2023). MSC: 68V15 51A05 68T15 PDFBibTeX XMLCite \textit{P. Quaresma} and \textit{P. Graziani}, J. Autom. Reasoning 67, No. 1, Paper No. 5, 21 p. (2023; Zbl 07695708) Full Text: DOI OA License
Olšák, Miroslav GeoLogic – graphical interactive theorem prover for Euclidean geometry. (English) Zbl 1503.68294 Bigatti, Anna Maria (ed.) et al., Mathematical software – ICMS 2020. 7th international conference, Braunschweig, Germany, July 13–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12097, 263-271 (2020). MSC: 68V15 03B35 51M04 PDFBibTeX XMLCite \textit{M. Olšák}, Lect. Notes Comput. Sci. 12097, 263--271 (2020; Zbl 1503.68294) Full Text: DOI arXiv
Quaresma, Pedro Automated deduction and knowledge management in geometry. (English) Zbl 1474.68453 Math. Comput. Sci. 14, No. 4, 673-692 (2020). MSC: 68V15 51-08 68V30 PDFBibTeX XMLCite \textit{P. Quaresma}, Math. Comput. Sci. 14, No. 4, 673--692 (2020; Zbl 1474.68453) Full Text: DOI
Quaresma, Pedro; Santos, Vanda; Graziani, Pierluigi; Baeta, Nuno Taxonomies of geometric problems. (English) Zbl 1444.68292 J. Symb. Comput. 97, 31-55 (2020). MSC: 68V30 68U05 68V15 68V35 PDFBibTeX XMLCite \textit{P. Quaresma} et al., J. Symb. Comput. 97, 31--55 (2020; Zbl 1444.68292) Full Text: DOI
Nikolić, Mladen; Marinković, Vesna; Kovács, Zoltán; Janičić, Predrag Portfolio theorem proving and prover runtime prediction for geometry. (English) Zbl 1431.68123 Ann. Math. Artif. Intell. 85, No. 2-4, 119-146 (2019). MSC: 68V15 51M04 68T05 68T20 PDFBibTeX XMLCite \textit{M. Nikolić} et al., Ann. Math. Artif. Intell. 85, No. 2--4, 119--146 (2019; Zbl 1431.68123) Full Text: DOI
Kovács, Z.; Recio, T.; Sólyom-Gecse, C. Rewriting input expressions in complex algebraic geometry provers. (English) Zbl 1423.13004 Ann. Math. Artif. Intell. 85, No. 2-4, 73-87 (2019). Reviewer: Gema Maria Diaz Toca (Murcia) MSC: 13-04 13P10 68T15 14Q20 51-04 PDFBibTeX XMLCite \textit{Z. Kovács} et al., Ann. Math. Artif. Intell. 85, No. 2--4, 73--87 (2019; Zbl 1423.13004) Full Text: DOI
Boutry, Pierre; Braun, Gabriel; Narboux, Julien Formalization of the arithmetization of Euclidean plane geometry and applications. (English) Zbl 1394.68349 J. Symb. Comput. 90, 149-168 (2019). MSC: 68T15 03B30 03B35 51M04 68W30 PDFBibTeX XMLCite \textit{P. Boutry} et al., J. Symb. Comput. 90, 149--168 (2019; Zbl 1394.68349) Full Text: DOI HAL
Quaresma, Pedro Automatic deduction in an AI geometry book. (English) Zbl 1515.68346 Fleuriot, Jacques (ed.) et al., Artificial intelligence and symbolic computation. 13th international conference, AISC 2018, Suzhou, China, September 16–19, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11110, 221-226 (2018). MSC: 68V15 51-04 68V30 68W30 PDFBibTeX XMLCite \textit{P. Quaresma}, Lect. Notes Comput. Sci. 11110, 221--226 (2018; Zbl 1515.68346) Full Text: DOI
Quaresma, Pedro Towards an intelligent and dynamic geometry book. (English) Zbl 1425.97002 Math. Comput. Sci. 11, No. 3-4, 427-437 (2017). MSC: 97U50 68T05 68T15 68T30 97G10 PDFBibTeX XMLCite \textit{P. Quaresma}, Math. Comput. Sci. 11, No. 3--4, 427--437 (2017; Zbl 1425.97002) Full Text: DOI
Botana, Francisco; Hohenwarter, Markus; Janičić, Predrag; Kovács, Zoltán; Petrović, Ivan; Recio, Tomás; Weitzhofer, Simon Automated theorem proving in GeoGebra: current achievements. (English) Zbl 1356.68181 J. Autom. Reasoning 55, No. 1, 39-59 (2015). MSC: 68T15 97Gxx 97U70 PDFBibTeX XMLCite \textit{F. Botana} et al., J. Autom. Reasoning 55, No. 1, 39--59 (2015; Zbl 1356.68181) Full Text: DOI Link
Kovács, Zoltán The relation tool in GeoGebra 5. (English) Zbl 1434.97015 Botana, Francisco (ed.) et al., Automated deduction in geometry. 10th international workshop, ADG 2014, Coimbra, Portugal, July 9–11, 2014. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9201, 53-71 (2015). MSC: 97U70 97G10 68V15 68W30 97N80 PDFBibTeX XMLCite \textit{Z. Kovács}, Lect. Notes Comput. Sci. 9201, 53--71 (2015; Zbl 1434.97015) Full Text: DOI
Botana, Francisco; Kovács, Zoltán A Singular web service for geometric computations. (English) Zbl 1330.68336 Ann. Math. Artif. Intell. 74, No. 3-4, 359-370 (2015). MSC: 68U35 68W30 PDFBibTeX XMLCite \textit{F. Botana} and \textit{Z. Kovács}, Ann. Math. Artif. Intell. 74, No. 3--4, 359--370 (2015; Zbl 1330.68336) Full Text: DOI Link
Botana, Francisco A parametric approach to 3D dynamic geometry. (English) Zbl 1533.68349 Math. Comput. Simul. 104, 3-20 (2014). MSC: 68U05 68V15 68W30 PDFBibTeX XMLCite \textit{F. Botana}, Math. Comput. Simul. 104, 3--20 (2014; Zbl 1533.68349) Full Text: DOI Link
Botana, Francisco; Abánades, Miguel A. Automatic deduction in (dynamic) geometry: Loci computation. (English) Zbl 1280.65021 Comput. Geom. 47, No. 1, 75-89 (2014). MSC: 65D18 PDFBibTeX XMLCite \textit{F. Botana} and \textit{M. A. Abánades}, Comput. Geom. 47, No. 1, 75--89 (2014; Zbl 1280.65021) Full Text: DOI
Pham, Tuan Minh; Bertot, Yves A combination of a dynamic geometry software with a proof assistant for interactive formal proofs. (English) Zbl 1294.68126 Aspinall, David (ed.) et al., Proceedings of the 9th international workshop on user interfaces for theorem provers (UITP10), Edinburgh, UK, July 15, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 285, 43-55 (2012). MSC: 68T15 68U05 68U35 PDFBibTeX XMLCite \textit{T. M. Pham} and \textit{Y. Bertot}, Electron. Notes Theor. Comput. Sci. 285, 43--55 (2012; Zbl 1294.68126) Full Text: DOI
Jiang, Jianguo; Zhang, Jingzhong A review and prospect of readable machine proofs for geometry theorems. (English) Zbl 1291.68351 J. Syst. Sci. Complex. 25, No. 4, 802-820 (2012). MSC: 68T15 68T05 PDFBibTeX XMLCite \textit{J. Jiang} and \textit{J. Zhang}, J. Syst. Sci. Complex. 25, No. 4, 802--820 (2012; Zbl 1291.68351) Full Text: DOI
Janičić, Predrag; Narboux, Julien; Quaresma, Pedro The area method. A recapitulation. (English) Zbl 1242.68281 J. Autom. Reasoning 48, No. 4, 489-532 (2012). MSC: 68T15 03B35 PDFBibTeX XMLCite \textit{P. Janičić} et al., J. Autom. Reasoning 48, No. 4, 489--532 (2012; Zbl 1242.68281) Full Text: DOI
Génevaux, Jean-David; Narboux, Julien; Schreck, Pascal Formalization of Wu’s simple method in Coq. (English) Zbl 1350.68234 Jouannaud, Jean-Pierre (ed.) et al., Certified programs and proofs. First international conference, CPP 2011, Kenting, Taiwan, December 7–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25378-2/pbk). Lecture Notes in Computer Science 7086, 71-86 (2011). MSC: 68T15 PDFBibTeX XMLCite \textit{J.-D. Génevaux} et al., Lect. Notes Comput. Sci. 7086, 71--86 (2011; Zbl 1350.68234) Full Text: DOI
Ye, Zheng; Chou, Shang-Ching; Gao, Xiao-Shan An introduction to Java geometry expert. (Extended abstract). (English) Zbl 1302.68247 Sturm, Thomas (ed.) et al., Automated deduction in geometry. 7th international workshop, ADG 2008, Shanghai, China, September 22–24, 2008. Revised papers. Berlin: Springer (ISBN 978-3-642-21045-7/pbk). Lecture Notes in Computer Science 6301. Lecture Notes in Artificial Intelligence, 189-195 (2011). MSC: 68T15 51-04 PDFBibTeX XMLCite \textit{Z. Ye} et al., Lect. Notes Comput. Sci. 6301, 189--195 (2011; Zbl 1302.68247) Full Text: DOI
Ye, Zheng; Chou, Shang-Ching; Gao, Xiao-Shan Visually dynamic presentation of proofs in plane geometry. II: Automated generation of visually dynamic presentations with the full-angle method and the deductive database method. (English) Zbl 1211.68373 J. Autom. Reasoning 45, No. 3, 243-266 (2010). MSC: 68T15 51-04 68U05 PDFBibTeX XMLCite \textit{Z. Ye} et al., J. Autom. Reasoning 45, No. 3, 243--266 (2010; Zbl 1211.68373) Full Text: DOI
Ye, Zheng; Chou, Shang-Ching; Gao, Xiao-Shan Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method. (English) Zbl 1211.68372 J. Autom. Reasoning 45, No. 3, 213-241 (2010). MSC: 68T15 51-04 68U05 PDFBibTeX XMLCite \textit{Z. Ye} et al., J. Autom. Reasoning 45, No. 3, 213--241 (2010; Zbl 1211.68372) Full Text: DOI
Chen, Xiaoyu Electronic Geometry Textbook: a geometric textbook knowledge management system. (English) Zbl 1286.68425 Autexier, Serge (ed.) et al., Intelligent computer mathematics. 10th international conference, AISC 2010, 17th symposium, Calculemus 2010, and 9th international conference, MKM 2010, Paris, France, July 5–10, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14127-0/pbk). Lecture Notes in Computer Science 6167. Lecture Notes in Artificial Intelligence, 278-292 (2010). MSC: 68T30 68T35 68U35 51-00 PDFBibTeX XMLCite \textit{X. Chen}, Lect. Notes Comput. Sci. 6167, 278--292 (2010; Zbl 1286.68425) Full Text: DOI arXiv
Roanes-Lozano, Eugenio; van Labeke, Nicolas; Roanes-Macías, Eugenio Connecting the 3D DGS Calques3D with the CAS Maple. (English) Zbl 1207.68450 Math. Comput. Simul. 80, No. 6, 1153-1176 (2010). MSC: 68W30 PDFBibTeX XMLCite \textit{E. Roanes-Lozano} et al., Math. Comput. Simul. 80, No. 6, 1153--1176 (2010; Zbl 1207.68450) Full Text: DOI Link
Janičić, Predrag Geometry constructions language. (English) Zbl 1185.68626 J. Autom. Reasoning 44, No. 1-2, 3-24 (2010). MSC: 68T15 51M04 68N15 PDFBibTeX XMLCite \textit{P. Janičić}, J. Autom. Reasoning 44, No. 1--2, 3--24 (2010; Zbl 1185.68626) Full Text: DOI
Quaresma, Pedro; Janičić, Predrag GeoThms – a web system for Euclidean constructive geometry. (English) Zbl 1278.68279 Autexier, Serge (ed.) et al., Proceedings of the 7th workshop on user interfaces for theorem provers (UITP 2006), Seattle, WA, USA, August 21, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 2, 35-48 (2007). MSC: 68T15 68U35 PDFBibTeX XMLCite \textit{P. Quaresma} and \textit{P. Janičić}, Electron. Notes Theor. Comput. Sci. 174, No. 2, 35--48 (2007; Zbl 1278.68279) Full Text: DOI
Narboux, Julien A graphical user interface for formal proofs in geometry. (English) Zbl 1131.68094 J. Autom. Reasoning 39, No. 2, 161-180 (2007). MSC: 68T15 PDFBibTeX XMLCite \textit{J. Narboux}, J. Autom. Reasoning 39, No. 2, 161--180 (2007; Zbl 1131.68094) Full Text: DOI Link
Gräbe, Hans-Gert The SymbolicData GEO records – a public repository of geometry theorem proof schemes. (English) Zbl 1202.68379 Winkler, Franz (ed.), Automated deduction in geometry. 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4–6, 2002. Revised papers. Berlin: Springer (ISBN 3-540-20927-1/pbk). Lecture Notes in Computer Science 2930. Lecture Notes in Artificial Intelligence, 67-86 (2004). MSC: 68T15 PDFBibTeX XMLCite \textit{H.-G. Gräbe}, Lect. Notes Comput. Sci. 2930, 67--86 (2004; Zbl 1202.68379) Full Text: DOI
Botana, Francisco; Valcarce, José L. Automatic determination of envelopes and other derived curves within a graphic environment. (English) Zbl 1091.68111 Math. Comput. Simul. 67, No. 1-2, 3-13 (2004). MSC: 68U05 68W30 PDFBibTeX XMLCite \textit{F. Botana} and \textit{J. L. Valcarce}, Math. Comput. Simul. 67, No. 1--2, 3--13 (2004; Zbl 1091.68111) Full Text: DOI
Botana, F.; Valcarce, J. L. A software tool for the investigation of plane loci. (English) Zbl 1011.68149 Math. Comput. Simul. 61, No. 2, 139-152 (2003). MSC: 68U05 PDFBibTeX XMLCite \textit{F. Botana} and \textit{J. L. Valcarce}, Math. Comput. Simul. 61, No. 2, 139--152 (2003; Zbl 1011.68149) Full Text: DOI
Gao, Xiaoshan; Chen, Hangfei New algorithms for the perspective-three-point problem. (English) Zbl 0983.65020 J. Comput. Sci. Technol. 16, No. 3, 194-207 (2001). Reviewer: Dana Petcu (Timişoara) MSC: 65D18 65H10 68W30 68W05 PDFBibTeX XMLCite \textit{X. Gao} and \textit{H. Chen}, J. Comput. Sci. Technol. 16, No. 3, 194--207 (2001; Zbl 0983.65020) Full Text: DOI
Chou, Shang-Ching; Gao, Xiao-Shan; Zhang, Jing-Zhong An introduction to Geometry Expert. (English) Zbl 1412.68214 McRobbie, M. A. (ed.) et al., Automated deduction – CADE-13. 13th international conference on automated deduction, New Brunswick, NJ, USA, July/August 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1104, 235-239 (1996). MSC: 68T15 PDFBibTeX XMLCite \textit{S.-C. Chou} et al., Lect. Notes Comput. Sci. 1104, 235--239 (1996; Zbl 1412.68214) Full Text: DOI