GCLC

swMATH326MaRDI QIDQ13087FDOQ13087

Author name not available (Why is that?)

Described by source

• GCLC — A Tool for Constructive Euclidean Geometry and More Than That

Cited In (29)

• Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems
• Mini-workshop: Chromatic phenomena and duality in homotopy theory and representation theory. Abstracts from the mini-workshop held March 4--10, 2018
• Working session: Additive combinatorics, entropy, and fractal geometry. Abstracts from the working session held October 8--13, 2017
• Geometry constructions language
• New dynamics in dynamic geometry: dragging constructed points
• Taxonomies of geometric problems
• Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)
• Portfolio theorem proving and prover runtime prediction for geometry
• Current Status of the I2GATP Common Format
• Topology of arrangements and representation stability. Abstracts from the workshop held January 14--20, 2018
• Automated theorem proving in GeoGebra: current achievements
• The area method. A recapitulation
• Automatic Verification of Regular Constructions in Dynamic Geometry Systems
• Constructibility classes for triangle location problems
• Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System
• From informal to formal proofs in Euclidean geometry
• Statistics for data with geometric structure. Abstracts from the workshop held January 21--27, 2018
• Automated deduction and knowledge management in geometry
• Mathematical software -- ICMS 2006. Second international congress on mathematical software, Castro Urdiales, Spain, September 1--3, 2006. Proceedings
• Formalization of the arithmetization of Euclidean plane geometry and applications
• Formalization and specification of geometric knowledge objects
• Automatically building diagrams for olympiad geometry problems
• Proof Assistant Decision Procedures for Formalizing Origami
• Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories
• Representation and automated transformation of geometric statements
• A Singular web service for geometric computations
• GeoThms -- a web system for Euclidean constructive geometry
• Towards an intelligent and dynamic geometry book
• Foundation of a computable solid modelling.

This page was built for software: GCLC