×

Found 79 Documents (Results 1–79)

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

Handbook of discrete and computational geometry. 3rd revised and updated edition. (English) Zbl 1375.52001

Discrete Mathematics and Its Applications. Boca Raton, FL: CRC Press (ISBN 978-1-4987-1139-5/hbk; 978-1-4987-1142-5/ebook). xxi, 1927 p. (2017).
PDFBibTeX XMLCite
Full Text: Link

Exploring classical Greek construction problems with interactive geometry software. (English) Zbl 1447.51001

Compact Textbooks in Mathematics. Basel: Birkhäuser/Springer (ISBN 978-3-319-42862-8/pbk; 978-3-319-42863-5/ebook). xii, 185 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI

DGD Gallery: storage, sharing, and publication of digital research data. (English) Zbl 1349.68318

Bobenko, Alexander I. (ed.), Advances in discrete differential geometry. Berlin: Springer (ISBN 978-3-662-50446-8/hbk; 978-3-662-50447-5/ebook). 421-439 (2016).
MSC:  68U35 68P20 94A08
PDFBibTeX XMLCite
Full Text: DOI arXiv

What is and how to use KeTCindy – linkage between dynamic geometry software and LaTeX graphics capabilities. (English) Zbl 1434.68617

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, 371-379 (2016).
MSC:  68U05 68U15
PDFBibTeX XMLCite
Full Text: DOI

CindyGL: authoring GPU-based interactive mathematical content. (English) Zbl 1434.68612

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, 359-365 (2016).
MSC:  68U05 68V25
PDFBibTeX XMLCite
Full Text: DOI

CindyJS plugins – extending the mathematical visualization framework. (English) Zbl 1434.68622

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, 327-334 (2016).
MSC:  68U05 68U15 68V25
PDFBibTeX XMLCite
Full Text: DOI

CindyJS – mathematical visualization on modern devices. (English) Zbl 1434.68621

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, 319-326 (2016).
MSC:  68U05
PDFBibTeX XMLCite
Full Text: DOI

Complex numbers and plane geometry. 3rd expanded and revised edition. (Komplexe Zahlen und ebene Geometrie.) (German) Zbl 1334.00004

De Gruyter Studium. Berlin: De Gruyter (ISBN 978-3-11-040686-3/pbk; 978-3-11-040687-0/ebook). xi, 214 p. (2016).
PDFBibTeX XMLCite
Full Text: DOI

The Cinderella.2 manual. Working with the interactive geometry software. (English) Zbl 1235.00014

Berlin: Springer (ISBN 978-3-540-34924-2/pbk; 978-3-540-34926-6/ebook). xiii, 458 p. (2012).
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

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

Supporting geometry learning by interactive learning environments. Development and empirical studies. (Lernerunterstützung durch interaktive Lernumgebungen für den Geometrieunterricht. Entwicklung und empirische Studien.) (German) Zbl 1175.00034

Texte zur Mathematischen Forschung und Lehre 63. Hildesheim: Franzbecker; Weingarten: Pädagogische Hochschule Weingarten (Diss.) (ISBN 978-3-88120-480-4/pbk). v, 248 p. (2008).
PDFBibTeX XMLCite

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

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

Recognition of computationally constructed loci. (English) Zbl 1195.68105

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, 52-67 (2007).
MSC:  68U05 68T15
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

First steps on using OpenMath to add proving capabilities to standard dynamic geometry systems. (English) Zbl 1202.68487

Kauers, Manuel (ed.) et al., Towards mechanized mathematical assistants. 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27–30, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73083-5/pbk). Lecture Notes in Computer Science 4573. Lecture Notes in Artificial Intelligence, 131-145 (2007).
MSC:  68W30 68T15 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

Automated discovery in elementary extrema problems. (English) Zbl 1155.68590

Alexandrov, Vassil N. (ed.) et al., Computational science – ICCS 2006. 6th international conference, Reading, UK, May 28–31, 2006. Proceedings, Part II. Berlin: Springer (ISBN 3-540-34381-4/pbk). Lecture Notes in Computer Science 3992, 470-477 (2006).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI

Towards solving the dynamic geometry bottleneck via a symbolic approach. (English) Zbl 1159.68549

Hong, Hoon (ed.) et al., Automated deduction in geometry. 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16–18, 2004. Revised papers. Berlin: Springer (ISBN 3-540-31332-X/pbk). Lecture Notes in Computer Science 3763. Lecture Notes in Artificial Intelligence, 92-110 (2006).
MSC:  68T15 68U05 68W30
PDFBibTeX XMLCite
Full Text: DOI

First steps in tropical geometry. (English) Zbl 1093.14080

Litvinov, G. L. (ed.) et al., Idempotent mathematics and mathematical physics. Proceedings of the international workshop, Vienna, Austria, February 3–10, 2003. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3538-6/pbk). Contemporary Mathematics 377, 289-317 (2005).
PDFBibTeX XMLCite
Full Text: arXiv

Where the truth lies (in automatic theorem proving in elementary geometry). (English) Zbl 1127.68428

Laganà, Antonio (ed.) et al., Computational science and its applications — ICCSA 2004. International conference, Assisi, Italy, May 14–17, 2004. Proceedings, Part II. Berlin: Springer (ISBN 3-540-22056-9/pbk). Lecture Notes in Computer Science 3044, 761-770 (2004).
MSC:  68T15 68W30 51-04 51M04
PDFBibTeX XMLCite
Full Text: DOI

Dr.Doodle: A diagrammatic theorem prover. (English) Zbl 1126.68584

Basin, David (ed.) et al., Automated reasoning. Second international joint conference, IJCAR 2004, Cork, Ireland, July 4–8, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22345-2/pbk). Lecture Notes in Computer Science 3097. Lecture Notes in Artificial Intelligence, 331-335 (2004).
MSC:  68T15
PDFBibTeX XMLCite
Full Text: DOI

Web course on computer aided geometric design. (English) Zbl 1060.65532

Lucian, Miriam L. (ed.) et al., Geometric modeling and computing: Seattle 2003. Selected papers of the 8th SIAM conference on geometric design and computing, Seattle, WA, USA, November 9–13, 2003. Brentwood, TN: Nashboro Press (ISBN 0-0-9728482-3-1/hbk). Modern Methods in Mathematics, 177-188 (2004).
MSC:  65D17 65Y15
PDFBibTeX XMLCite

A web-based intelligent system for geometric discovery. (English) Zbl 1033.68596

Sloot, Peter M. A. (ed.) et al., Computational science – ICCS 2003. International conference, Melbourne, Australia and St. Petersburg, Russia, June 2–4, 2003. Proceedings, Part I. Berlin: Springer (ISBN 3-540-40194-6/pbk). Lect. Notes Comput. Sci. 2657, 801-810 (2003).
MSC:  68T05 68W30 51N20
PDFBibTeX XMLCite
Full Text: Link

Interactive versus symbolic approaches to plane loci generation in dynamic geometry environments. (English) Zbl 1055.68580

Sloot, Peter M. A. (ed.) et al., Computational science - ICCS 2002. 2nd international conference, Amsterdam, the Netherlands, April. 21–24, 2002. Proceedings. Part 2. Berlin: Springer (ISBN 3-540-43593-X). Lect. Notes Comput. Sci. 2330, 211-218 (2002).
MSC:  68U05
PDFBibTeX XMLCite
Full Text: Link

Complexity issues in dynamic geometry. (English) Zbl 1013.65013

Cucker, Felipe (ed.) et al., Foundations of computational mathematics. Proceedings of Smalefest 2000, Hong Kong, July 13-17, 2000. Singapore: World Scientific. 355-404 (2002).
MSC:  65D18 65Y20
PDFBibTeX XMLCite

On communicating proofs in interactive mathematical documents. (English) Zbl 1042.00510

Campbell, John A. (ed.) et al., Artificial intelligence and symbolic computation. International conference AISC 2000, Madrid, Spain, July 17–19, 2000. Revised papers. Berlin: Springer (ISBN 3-540-42071-1). Lect. Notes Comput. Sci. 1930, 53-64 (2001).
MSC:  00A99 68T15 68W30
PDFBibTeX XMLCite
Full Text: Link

Emphasizing human techniques in automated geometry theorem proving: A practical realization. (English) Zbl 0985.68058

Richter-Gebert, Jürgen (ed.) et al., Automated deduction in geometry. 3rd international workshop, ADG 2000, Zürich, Switzerland, September 25-27, 2000. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2061, 268-305 (2001).
MSC:  68T15 68U05 03B35
PDFBibTeX XMLCite
Full Text: Link

Decision complexity in dynamic geometry. (English) Zbl 0985.68558

Richter-Gebert, Jürgen (ed.) et al., Automated deduction in geometry. 3rd international workshop, ADG 2000, Zürich, Switzerland, September 25-27, 2000. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2061, 193-198 (2001).
MSC:  68U05
PDFBibTeX XMLCite
Full Text: Link

Algebraic and semialgebraic proofs: Methods and paradoxes. (English) Zbl 0985.68075

Richter-Gebert, Jürgen (ed.) et al., Automated deduction in geometry. 3rd international workshop, ADG 2000, Zürich, Switzerland, September 25-27, 2000. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2061, 83-103 (2001).
MSC:  68U05 68W30 68T15
PDFBibTeX XMLCite
Full Text: Link

Cooperation between a dynamic geometry environment and a computer algebra system for geometric discovery. (English) Zbl 1020.68109

Ganzha, Victor G. (ed.) et al., Computer algebra in scientific computing, CASC 2001. Proceedings of the 4th international workshop, Konstanz, Germany, September 22-26, 2001. Berlin: Springer. 63-74 (2001).
MSC:  68W30 68U05
PDFBibTeX XMLCite

User manual for the interactive geometry software Cinderella. Reprint with corrections of the 1999 under the title ‘The interactive geometry software Cinderella’ published original. (English) Zbl 0953.51001

Berlin: Springer. x, 143 p. (2000).
MSC:  51-04
PDFBibTeX XMLCite

Die interaktive Geometrie-Software Cinderella. Version 1. 2. Einzelplatzversion. (The interactive geometry software Cinderella. Version 1. 2. Single user edition.) (German) Zbl 0969.51001

Berlin: Springer. CD-ROM, Handbuch x, 138 S. (1999).
Reviewer: Eike Hertel (Jena)
MSC:  51-04
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software