×

Found 25 Documents (Results 1–25)

Querying geometric figures using a controlled language, ontological graphs and dependency lattices. (English) Zbl 1304.68170

Watt, Stephen M. (ed.) et al., Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7–11, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-08433-6/pbk). Lecture Notes in Computer Science 8543. Lecture Notes in Artificial Intelligence, 298-311 (2014).
MSC:  68T30 68T15
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

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
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

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

On the design and implementation of a geometric knowledge base. (English) Zbl 1302.68252

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, 22-41 (2011).
MSC:  68T30 51-01
PDFBibTeX XMLCite
Full Text: DOI

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

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