The following pages link to Pedro Quaresma (Q437041):
Displaying 14 items.
- The area method. A recapitulation (Q437042) (← links)
- Towards an intelligent and dynamic geometry book (Q1701659) (← links)
- Automated deduction and knowledge management in geometry (Q1995808) (← links)
- Taxonomies of geometric problems (Q2334578) (← links)
- The Web Geometry Laboratory Project (Q2843041) (← links)
- GeoThms — a Web System for Euclidean Constructive Geometry (Q2867934) (← links)
- Thousands of Geometric Problems for Geometric Theorem Provers (TGTP) (Q3102742) (← links)
- Current Status of the I2GATP Common Format (Q3452280) (← links)
- Automatic Verification of Regular Constructions in Dynamic Geometry Systems (Q5453483) (← links)
- Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices (Q5495931) (← links)
- Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories (Q5756763) (← links)
- Measuring the readability of geometric proofs: the area method case (Q6156633) (← links)
- Towards a geometry deductive database prover (Q6535443) (← links)
- Open geometry prover community project (Q6653967) (← links)
