×

Found 43 Documents (Results 1–43)

Collaborative use of mathematical content generated by CindyJS on tablets. (English) Zbl 1395.68326

Davenport, James H. (ed.) et al., Mathematical software – ICMS 2018. 6th international conference, South Bend, IN, USA, July 24–27, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-96417-1/pbk; 978-3-319-96418-8/ebook). Lecture Notes in Computer Science 10931, 379-388 (2018).
MSC:  68U35
PDFBibTeX XMLCite
Full Text: DOI

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

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

Semantic alliance: a framework for semantic allies. (English) Zbl 1278.68298

Jeuring, Johan (ed.) et al., Intelligent computer mathematics. 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, systems and projects, held as part of CICM 2012, Bremen, Germany, July 8–13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31373-8/pbk). Lecture Notes in Computer Science 7362. Lecture Notes in Artificial Intelligence, 49-64 (2012).
MSC:  68T35 68T30 68U35
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

Communicating mathematics in the digital era (CMDE 2006). Selected papers based on the presentations at the meeting (CMDE 2006), Aveiro, Portugal, August 15–18, 2006. (English) Zbl 1169.68649

Wellesley, MA: A K Peters (ISBN 978-1-56881-410-0/hbk). xii, 325 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

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

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

Making the move: The next version of Cinderella. (English) Zbl 1011.68756

Cohen, Arjeh M. (ed.) et al., Mathematical software. Proceedings of the 1st international congress, Beijing, China, August 17-19, 2002. Singapore: World Scientific. 208-216 (2002).
MSC:  68U99 68W30
PDFBibTeX XMLCite

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

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software