scientific article; zbMATH DE number 7545242

DOI10.4204/EPTCS.352MaRDI QIDQ5083760zbMATH OpenFDO

Authors

Publication date 20 June 2022

Published in Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL http://eptcs.web.cse.unsw.edu.au/content.cgi?ADG2021

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• Automated deduction in geometry. 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4--6, 2002. Revised papers.
• Automated deduction in geometry. International workshop, Toulouse, France, September 27--29, 1996. Proceedings
• Automated deduction in geometry. 10th international workshop, ADG 2014, Coimbra, Portugal, July 9--11, 2014. Revised selected papers
• Automated deduction in geometry. 3rd international workshop, ADG 2000, Zürich, Switzerland, September 25--27, 2000. Revised papers
• Automated deduction in geometry. 9th international workshop, ADG 2012, Edinburgh, UK, September 17--19, 2012. Revised selected papers
• Automated deduction in geometry. 8th international workshop, ADG 2010, Munich, Germany, July 22--24, 2010. Revised selected papers
• Automated deduction in geometry. 2nd international workshop, ADG '98, Beijing, China, August 1--3, 1998. Proceedings
• Automated deduction in geometry. 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16--18, 2004. Revised papers.
• Automated deduction in geometry. 6th international workshop, ADG 2006, Pontevedra, Spain, August 31--September 2, 2006. Revised papers
• Automated deduction in geometry. 7th international workshop, ADG 2008, Shanghai, China, September 22--24, 2008. Revised papers

Cited in

(1)

• Foreword. Formalization of geometry, automated and interactive geometric reasoning

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5083760)