Todd, Philip A symbolic dynamic geometry system using the analytical geometry method. (English) Zbl 1474.68454 Math. Comput. Sci. 14, No. 4, 693-726 (2020). MSC: 68V15 51-04 68U05 68W30 PDFBibTeX XMLCite \textit{P. Todd}, Math. Comput. Sci. 14, No. 4, 693--726 (2020; Zbl 1474.68454) Full Text: DOI
Takato, Setsuo; Vallejo, José A. Using Oshima splines to produce accurate numerical results and high quality graphical output. (English) Zbl 1453.68225 Math. Comput. Sci. 14, No. 2, 399-413 (2020). MSC: 68W30 65D17 68U15 97U50 PDFBibTeX XMLCite \textit{S. Takato} and \textit{J. A. Vallejo}, Math. Comput. Sci. 14, No. 2, 399--413 (2020; Zbl 1453.68225) Full Text: DOI arXiv
Strobel, Michael Non-standard analysis in dynamic geometry. (English) Zbl 1444.68278 J. Symb. Comput. 97, 69-108 (2020). MSC: 68U05 03H05 51N15 PDFBibTeX XMLCite \textit{M. Strobel}, J. Symb. Comput. 97, 69--108 (2020; Zbl 1444.68278) Full Text: DOI arXiv
Quaresma, Pedro; Santos, Vanda; Graziani, Pierluigi; Baeta, Nuno Taxonomies of geometric problems. (English) Zbl 1444.68292 J. Symb. Comput. 97, 31-55 (2020). MSC: 68V30 68U05 68V15 68V35 PDFBibTeX XMLCite \textit{P. Quaresma} et al., J. Symb. Comput. 97, 31--55 (2020; Zbl 1444.68292) Full Text: DOI
Selaković, Milica; Marinković, Vesna; Janičić, Predrag New dynamics in dynamic geometry: dragging constructed points. (English) Zbl 1444.68277 J. Symb. Comput. 97, 3-15 (2020). MSC: 68U05 68W30 PDFBibTeX XMLCite \textit{M. Selaković} et al., J. Symb. Comput. 97, 3--15 (2020; Zbl 1444.68277) Full Text: DOI
Botana, Francisco; Recio, Tomás A proposal for the automatic computation of envelopes of families of plane curves. (English) Zbl 1417.68177 J. Syst. Sci. Complex. 32, No. 1, 150-157 (2019). MSC: 68T15 68U05 68W30 PDFBibTeX XMLCite \textit{F. Botana} and \textit{T. Recio}, J. Syst. Sci. Complex. 32, No. 1, 150--157 (2019; Zbl 1417.68177) Full Text: DOI
Noda, Takeo; Kaneko, Masataka 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 \textit{T. Noda} and \textit{M. Kaneko}, Lect. Notes Comput. Sci. 10931, 379--388 (2018; Zbl 1395.68326) Full Text: DOI
Toth, Csaba D. (ed.); Goodman, Jacob E. (ed.); O’Rourke, Joseph (ed.) 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). MSC: 52-02 51Exx 65D18 68U05 05B35 11-02 05-02 68-02 PDFBibTeX XMLCite \textit{C. D. Toth} (ed.) et al., Handbook of discrete and computational geometry. 3rd revised and updated edition. Boca Raton, FL: CRC Press (2017; Zbl 1375.52001) Full Text: Link
Joswig, Michael; Mehner, Milan; Sechelmann, Stefan; Techter, Jan; Bobenko, Alexander I. 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 \textit{M. Joswig} et al., in: Advances in discrete differential geometry. Berlin: Springer. 421--439 (2016; Zbl 1349.68318) Full Text: DOI arXiv
Yamashita, Satoshi The programming style for drawings from KeTpic to KeTCindy. (English) Zbl 1434.68623 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, 386-393 (2016). MSC: 68U05 68U15 97U70 PDFBibTeX XMLCite \textit{S. Yamashita}, Lect. Notes Comput. Sci. 9725, 386--393 (2016; Zbl 1434.68623) Full Text: DOI
Usui, Hisashi How to generate figures at the preferred position of a TeX document. (English) Zbl 1434.68619 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, 380-385 (2016). MSC: 68U05 68U15 PDFBibTeX XMLCite \textit{H. Usui}, Lect. Notes Comput. Sci. 9725, 380--385 (2016; Zbl 1434.68619) Full Text: DOI
Takato, Setsuo 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 \textit{S. Takato}, Lect. Notes Comput. Sci. 9725, 371--379 (2016; Zbl 1434.68617) Full Text: DOI
Montag, Aaron; Richter-Gebert, Jürgen 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 \textit{A. Montag} and \textit{J. Richter-Gebert}, Lect. Notes Comput. Sci. 9725, 359--365 (2016; Zbl 1434.68612) Full Text: DOI
Kobayashi, Shigeki; Takato, Setsuo Cooperation of KeTCindy and computer algebra system. (English) Zbl 1434.68609 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, 351-358 (2016). MSC: 68U05 68W30 PDFBibTeX XMLCite \textit{S. Kobayashi} and \textit{S. Takato}, Lect. Notes Comput. Sci. 9725, 351--358 (2016; Zbl 1434.68609) Full Text: DOI
Kaneko, Masataka The actual use of KeTCindy in education. (English) Zbl 1434.68607 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, 342-350 (2016). MSC: 68U05 68U15 97U70 PDFBibTeX XMLCite \textit{M. Kaneko}, Lect. Notes Comput. Sci. 9725, 342--350 (2016; Zbl 1434.68607) Full Text: DOI
Hamaguchi, Naoki; Takato, Setsuo Generating data for 3D models. (English) Zbl 1434.68605 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, 335-341 (2016). MSC: 68U05 68U07 PDFBibTeX XMLCite \textit{N. Hamaguchi} and \textit{S. Takato}, Lect. Notes Comput. Sci. 9725, 335--341 (2016; Zbl 1434.68605) Full Text: DOI
von Gagern, Martin; Richter-Gebert, Jürgen 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 \textit{M. von Gagern} and \textit{J. Richter-Gebert}, Lect. Notes Comput. Sci. 9725, 327--334 (2016; Zbl 1434.68622) Full Text: DOI
von Gagern, Martin; Kortenkamp, Ulrich; Richter-Gebert, Jürgen; Strobel, Michael 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 \textit{M. von Gagern} et al., Lect. Notes Comput. Sci. 9725, 319--326 (2016; Zbl 1434.68621) Full Text: DOI
Zirojević, Marina M.; Jokanović, Dušan S.; Baralić, Đorđe Software ‘Cinderella’ and its application in visualization of physics and mathematics. (Software ‘Cinderella’ and its application in visualization of physic and mathematics.) (English) Zbl 1476.68292 Math. Montisnigri 34, 86-93 (2015). MSC: 68U05 68-04 PDFBibTeX XMLCite \textit{M. M. Zirojević} et al., Math. Montisnigri 34, 86--93 (2015; Zbl 1476.68292)
Su, Wei; Wang, Paul S.; Cai, Chuan; Li, Lian A touch-operation-based dynamic geometry system: design and implementation. (English) Zbl 1434.68664 Hong, Hoon (ed.) et al., Mathematical software – ICMS 2014. 4th international congress, Seoul, South Korea, August 5–9, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8592, 235-239 (2014). MSC: 68V35 68U05 PDFBibTeX XMLCite \textit{W. Su} et al., Lect. Notes Comput. Sci. 8592, 235--239 (2014; Zbl 1434.68664) Full Text: DOI
David, Catalin; Jucovschi, Constantin; Kohlhase, Andrea; Kohlhase, Michael 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 \textit{C. David} et al., Lect. Notes Comput. Sci. 7362, 49--64 (2012; Zbl 1278.68298) Full Text: DOI
Ye, Zheng; Chou, Shang-Ching; Gao, Xiao-Shan Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method. (English) Zbl 1211.68372 J. Autom. Reasoning 45, No. 3, 213-241 (2010). MSC: 68T15 51-04 68U05 PDFBibTeX XMLCite \textit{Z. Ye} et al., J. Autom. Reasoning 45, No. 3, 213--241 (2010; Zbl 1211.68372) Full Text: DOI
Chen, Xiaoyu 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). MSC: 68T30 68T35 68U35 51-00 PDFBibTeX XMLCite \textit{X. Chen}, Lect. Notes Comput. Sci. 6167, 278--292 (2010; Zbl 1286.68425) Full Text: DOI
Borwein, Jonathan M. (ed.); Rocha, Eugénio M. (ed.); Rodrigues, José Francisco (ed.) 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). MSC: 68U99 68-06 00Axx 00B25 68T05 68M10 68P15 PDFBibTeX XMLCite \textit{J. M. Borwein} (ed.) et al., 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. Wellesley, MA: A K Peters (2008; Zbl 1169.68649)
Quaresma, Pedro; Janičić, Predrag 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 \textit{P. Quaresma} and \textit{P. Janičić}, Electron. Notes Theor. Comput. Sci. 174, No. 2, 35--48 (2007; Zbl 1278.68279) Full Text: DOI
Roanes-Macías, Eugenio; Roanes-Lozano, Eugenio 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 \textit{E. Roanes-Macías} and \textit{E. Roanes-Lozano}, Lect. Notes Comput. Sci. 4869, 171--188 (2007; Zbl 1195.68095) Full Text: DOI
Lebmeir, Peter; Richter-Gebert, Jürgen 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 \textit{P. Lebmeir} and \textit{J. Richter-Gebert}, Lect. Notes Comput. Sci. 4869, 52--67 (2007; Zbl 1195.68105) Full Text: DOI
Janičić, Predrag; Quaresma, Pedro 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 \textit{P. Janičić} and \textit{P. Quaresma}, Lect. Notes Comput. Sci. 4869, 39--51 (2007; Zbl 1195.68092) Full Text: DOI
Abánades, Miguel A.; Escribano, Jesús; Botana, Francisco 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 \textit{M. A. Abánades} et al., Lect. Notes Comput. Sci. 4573, 131--145 (2007; Zbl 1202.68487) Full Text: DOI
Botana, Francisco; Recio, Tomás 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 \textit{F. Botana} and \textit{T. Recio}, Lect. Notes Comput. Sci. 3763, 92--110 (2006; Zbl 1159.68549) Full Text: DOI
Botana, Francisco; Valcarce, José L. Automatic determination of envelopes and other derived curves within a graphic environment. (English) Zbl 1091.68111 Math. Comput. Simul. 67, No. 1-2, 3-13 (2004). MSC: 68U05 68W30 PDFBibTeX XMLCite \textit{F. Botana} and \textit{J. L. Valcarce}, Math. Comput. Simul. 67, No. 1--2, 3--13 (2004; Zbl 1091.68111) Full Text: DOI
Hitzer, Eckhard M. S. KamiWaAi – interactive 3D sketching with Java based on \(Cl(4,1)\) conformal model of Euclidean space. (English) Zbl 1085.68724 Adv. Appl. Clifford Algebr. 13, No. 1, 11-45 (2003). MSC: 68U05 PDFBibTeX XMLCite \textit{E. M. S. Hitzer}, Adv. Appl. Clifford Algebr. 13, No. 1, 11--45 (2003; Zbl 1085.68724) Full Text: DOI arXiv
Wang, Dongming Automated generation of diagrams with Maple and Java. (English) Zbl 1027.68154 Joswig, Michael (ed.) et al., Algebra, geometry, and software systems. Berlin: Springer. 277-287 (2003). Reviewer: Corina Mohorianu (Iaşi) MSC: 68W30 68U10 65Y99 PDFBibTeX XMLCite \textit{D. Wang}, in: Algebra, geometry, and software systems. Berlin: Springer. 277--287 (2003; Zbl 1027.68154)
Botana, F.; Valcarce, J. L. A software tool for the investigation of plane loci. (English) Zbl 1011.68149 Math. Comput. Simul. 61, No. 2, 139-152 (2003). MSC: 68U05 PDFBibTeX XMLCite \textit{F. Botana} and \textit{J. L. Valcarce}, Math. Comput. Simul. 61, No. 2, 139--152 (2003; Zbl 1011.68149) Full Text: DOI
Botana, F. 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 \textit{F. Botana}, Lect. Notes Comput. Sci. 2330, 211--218 (2002; Zbl 1055.68580) Full Text: Link
Kortenkamp, Ulrich; Richter-Gebert, Jürgen 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 \textit{U. Kortenkamp} and \textit{J. Richter-Gebert}, in: Mathematical software. Proceedings of the 1st international congress, Beijing, China, August 17--19, 2002. Singapore: World Scientific. 208--216 (2002; Zbl 1011.68756)
Caferra, Ricardo; Peltier, Nicolas; Puitg, François 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 \textit{R. Caferra} et al., Lect. Notes Comput. Sci. 2061, 268--305 (2001; Zbl 0985.68058) Full Text: Link
Kortenkamp, Ulrich; Richter-Gebert, Jürgen 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 \textit{U. Kortenkamp} and \textit{J. Richter-Gebert}, Lect. Notes Comput. Sci. 2061, 193--198 (2001; Zbl 0985.68558) Full Text: Link
Bokowski, Jürgen Effective methods in computational synthetic geometry. (English) Zbl 0985.68076 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, 175-192 (2001). MSC: 68U05 PDFBibTeX XMLCite \textit{J. Bokowski}, Lect. Notes Comput. Sci. 2061, 175--192 (2001; Zbl 0985.68076) Full Text: Link
Conti, Pasqualina; Traverso, Carlo 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 \textit{P. Conti} and \textit{C. Traverso}, Lect. Notes Comput. Sci. 2061, 83--103 (2001; Zbl 0985.68075) Full Text: Link
Botana, Francisco; Valcarce, José L. 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 \textit{F. Botana} and \textit{J. L. Valcarce}, in: Computer algebra in scientific computing, CASC 2001. Proceedings of the 4th international workshop, Konstanz, Germany, September 22--26, 2001. Berlin: Springer. 63--74 (2001; Zbl 1020.68109)
Gawrilow, Ewgenij; Joswig, Michael polymake: a framework for analyzing convex polytopes. (English) Zbl 0960.68182 Kalai, Gil (ed.) et al., Polytopes - combinatorics and computation. DMV-seminar Oberwolfach, Germany, November 1997. Basel: Birkhäuser. DMV Semin. 29, 43-73 (2000). MSC: 68W30 68U05 PDFBibTeX XMLCite \textit{E. Gawrilow} and \textit{M. Joswig}, DMV Semin. 29, 43--73 (2000; Zbl 0960.68182)
Björner, Anders; Las Vergnas, Michel; Sturmfels, Bernd; White, Neil; Ziegler, Günter Oriented matroids. 2nd ed. (English) Zbl 0944.52006 Encyclopedia of Mathematics and Its Applications. 46. Cambridge: Cambridge University Press. xii, 548 p. (1999). Reviewer: Stefan Nickel (Kaiserslautern) MSC: 52B40 52-02 05B35 05-02 90C05 52C40 68U05 PDFBibTeX XMLCite \textit{A. Björner} et al., Oriented matroids. 2nd ed. Cambridge: Cambridge University Press (1999; Zbl 0944.52006) Full Text: DOI