The following pages link to GCLC (Q13087):
Displayed 29 items.
- Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
- Constructibility classes for triangle location problems (Q294373) (← links)
- The area method. A recapitulation (Q437042) (← links)
- Representation and automated transformation of geometric statements (Q488928) (← links)
- Foundation of a computable solid modelling. (Q1607293) (← links)
- Formalization of the arithmetization of Euclidean plane geometry and applications (Q1640646) (← links)
- Towards an intelligent and dynamic geometry book (Q1701659) (← links)
- Working session: Additive combinatorics, entropy, and fractal geometry. Abstracts from the working session held October 8--13, 2017 (Q1731957) (← links)
- Topology of arrangements and representation stability. Abstracts from the workshop held January 14--20, 2018 (Q1731970) (← links)
- Statistics for data with geometric structure. Abstracts from the workshop held January 21--27, 2018 (Q1731971) (← links)
- Mini-workshop: Chromatic phenomena and duality in homotopy theory and representation theory. Abstracts from the mini-workshop held March 4--10, 2018 (Q1731977) (← links)
- Automated deduction and knowledge management in geometry (Q1995808) (← links)
- Automatically building diagrams for olympiad geometry problems (Q2055892) (← links)
- Formalization and specification of geometric knowledge objects (Q2254093) (← links)
- New dynamics in dynamic geometry: dragging constructed points (Q2334574) (← links)
- Taxonomies of geometric problems (Q2334578) (← links)
- A Singular web service for geometric computations (Q2354915) (← links)
- From informal to formal proofs in Euclidean geometry (Q2631958) (← links)
- Portfolio theorem proving and prover runtime prediction for geometry (Q2631959) (← links)
- Mathematical software -- ICMS 2006. Second international congress on mathematical software, Castro Urdiales, Spain, September 1--3, 2006. Proceedings (Q2638157) (← links)
- Geometry constructions language (Q2655329) (← links)
- GeoThms — a Web System for Euclidean Constructive Geometry (Q2867934) (← links)
- Thousands of Geometric Problems for Geometric Theorem Provers (TGTP) (Q3102742) (← links)
- Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems (Q3452277) (← links)
- Current Status of the I2GATP Common Format (Q3452280) (← links)
- Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System (Q3582714) (← links)
- Proof Assistant Decision Procedures for Formalizing Origami (Q5200107) (← links)
- Automatic Verification of Regular Constructions in Dynamic Geometry Systems (Q5453483) (← links)
- Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories (Q5756763) (← links)