×

Found 34 Documents (Results 1–34)

Automatically building diagrams for olympiad geometry problems. (English) Zbl 07437101

Platzer, André (ed.) et al., Automated deduction – CADE 28. 28th international conference on automated deduction, virtual event, July 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12699, 577-588 (2021).
MSC:  68V15 51-08
PDFBibTeX XMLCite
Full Text: DOI arXiv

Computer theorem proving for verifiable solving of geometric construction problems. (English) Zbl 1434.03032

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, 72-93 (2015).
MSC:  03B35 51M15 68V15
PDFBibTeX XMLCite
Full Text: DOI

Thousands of geometric problems for geometric theorem provers (TGTP). (English) Zbl 1350.68243

Schreck, Pascal (ed.) et al., Automated deduction in geometry. 8th international workshop, ADG 2010, Munich, Germany, July 22–24, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-25069-9/pbk). Lecture Notes in Computer Science 6877. Lecture Notes in Artificial Intelligence, 169-181 (2011).
MSC:  68T15 51-04
PDFBibTeX XMLCite
Full Text: DOI

Proof assistant decision procedures for formalizing origami. (English) Zbl 1335.68230

Davenport, James H. (ed.) et al., Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22672-4/pbk). Lecture Notes in Computer Science 6824. Lecture Notes in Artificial Intelligence, 45-57 (2011).
MSC:  68T15 68W30
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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
Full Text: DOI

Automatic verification of regular constructions in dynamic geometry systems. (English) Zbl 1195.68092

Botana, Francisco (ed.) et al., Automated deduction in geometry. 6th international workshop, ADG 2006, Pontevedra, Spain, August 31–September 2, 2006. Revised papers. Berlin: Springer (ISBN 978-3-540-77355-9/pbk). Lecture Notes in Computer Science 4869. Lecture Notes in Artificial Intelligence, 39-51 (2007).
MSC:  68T15 51-04 68U05
PDFBibTeX XMLCite
Full Text: DOI

GCLC – a tool for constructive Euclidean geometry and more than that. (English) Zbl 1230.51024

Iglesias, Andrés (ed.) et al., Mathematical software – ICMS 2006. Second international congress on mathematical software, Castro Urdiales, Spain, September 1–3, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38084-9/pbk). Lecture Notes in Computer Science 4151, 58-73 (2006).
MSC:  51M15 51-04
PDFBibTeX XMLCite
Full Text: DOI

Mathematical software – ICMS 2006. Second international congress on mathematical software, Castro Urdiales, Spain, September 1–3, 2006. Proceedings. (English) Zbl 1195.68008

Lecture Notes in Computer Science 4151. Berlin: Springer (ISBN 978-3-540-38084-9/pbk). xvii, 452 p. (2006).
MSC:  68-06 65-06 00B25
PDFBibTeX XMLCite
Full Text: DOI

Integrating dynamic geometry software, deduction systems, and theorem repositories. (English) Zbl 1188.68264

Borwein, Jonathan M. (ed.) et al., Mathematical knowledge management. 5th international conference, MKM 2006, Wokingham, UK, August 11–12, 2006. Proceedings. Berlin: Springer (ISBN 3-540-37104-4/pbk). Lecture Notes in Computer Science 4108. Lecture Notes in Artificial Intelligence, 280-294 (2006).
MSC:  68T15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software