×

Found 19 Documents (Results 1–19)

Towards the automatic discovery of theorems in GeoGebra. (English) Zbl 1434.68636

Greuel, Gert-Martin (ed.) et al., Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9725, 37-42 (2016).
PDFBibTeX XMLCite
Full Text: DOI

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

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

A Maple package for automatic theorem proving and discovery in 3D-geometry. (English) Zbl 1195.68095

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, 171-188 (2007).
MSC:  68T15 68U05
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field