swMATH326MaRDI QIDQ13087FDOQ13087
Author name not available (Why is that?)
Official website: https://poincare.matf.bg.ac.rs/~janicic/gclc/
Cited In (76)
- GMBL
- 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
- Portfolio theorem proving and prover runtime prediction for geometry
- 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
- 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
- I2Geo
- QUALITY
- GeoGebra
- Geometer's Sketchpad
- DEpthLAUNAY
- Eukleides
- GeoProof
- Cabri
- GCLCprover
- GeoThms
- ActiveMath
- Formalization and specification of geometric knowledge objects
- Giac
- ArgoCLP
- gcl
- OpenGeoProver
- SgpViz
- TGTP
- Electronic Geometry Textbook
- Mod-p group cohomology
- QuillenSuslin
- WinGCLC
- NZMATH
- CHomP
- Intergeo
- Dr.Doodle
- GEX
- Pcoq
- sketchometry
- GeoView
- GeoText
- LeActiveMath
- Opengeo
- JGEX
- Geometrix
- ArgoTriCS
- URSA
- KNOPPIX/Math
- HadamardSearch
- GATP
- Baghera
- CHYPRE
- WGL
- Automatically building diagrams for olympiad geometry problems
- paramGeo3D
- Formigramator
- Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories
- Computer theorem proving for verifiable solving of geometric construction problems
- Representation and automated transformation of geometric statements
- Penrose
- EUCLID
- 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.
- Thousands of geometric problems for geometric theorem provers (TGTP)
- Current status of the I2GATP common format
- Electronic Geometry Textbook: a geometric textbook knowledge management system
- Proof assistant decision procedures for formalizing origami
This page was built for software: GCLC
