Cited in
(only showing first 100 items - show all)- Automated Reasoning
- Projective Configuration Theorems: Old Wine into New Wineskins
- A bridge between dynamic geometry and computer algebra
- Recognition of Computationally Constructed Loci
- KamiWaAi -- interactive 3D sketching with Java based on \(Cl(4,1)\) conformal model of Euclidean space
- The superiorization method with restarted perturbations for split minimization problems with an application to radiotherapy treatment planning
- scientific article; zbMATH DE number 5594036 (Why is no real title available?)
- A graphical user interface for formal proofs in geometry
- A symbolic dynamic geometry system using the analytical geometry method
- A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry
- Computational Science and Its Applications – ICCSA 2004
- A touch-operation-based dynamic geometry system: design and implementation
- Non-standard analysis in dynamic geometry
- scientific article; zbMATH DE number 1745040 (Why is no real title available?)
- New dynamics in dynamic geometry: dragging constructed points
- scientific article; zbMATH DE number 2221693 (Why is no real title available?)
- scientific article; zbMATH DE number 1313585 (Why is no real title available?)
- Taxonomies of geometric problems
- scientific article; zbMATH DE number 1860722 (Why is no real title available?)
- Communicating mathematics in the digital era (CMDE 2006). Selected papers based on the presentations at the meeting (CMDE 2006), Aveiro, Portugal, August 15--18, 2006.
- A class of Möbius iterated function systems
- scientific article; zbMATH DE number 1745041 (Why is no real title available?)
- scientific article; zbMATH DE number 1859221 (Why is no real title available?)
- A software tool for the investigation of plane loci
- scientific article; zbMATH DE number 2107188 (Why is no real title available?)
- Automatic determination of envelopes and other derived curves within a graphic environment
- Automatic Verification of Regular Constructions in Dynamic Geometry Systems
- Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
- CindyJS plugins -- extending the mathematical visualization framework
- Generating data for 3D models
- CindyGL: authoring GPU-based interactive mathematical content
- How to generate figures at the preferred position of a TeX document
- The programming style for drawings from KeTpic to KeTCindy
- DGD Gallery: storage, sharing, and publication of digital research data
- A FORMAL SYSTEM FOR EUCLID’SELEMENTS
- scientific article; zbMATH DE number 6749498 (Why is no real title available?)
- Automated deduction and knowledge management in geometry
- Illumination of Pascal's hexagrammum and octagrammum mysticum
- scientific article; zbMATH DE number 1467754 (Why is no real title available?)
- polymake: a framework for analyzing convex polytopes
- Hamiltonicity and colorings of arrangement graphs
- Some convergence strategies for the alternating generalized projection method
- Perspectives on projective geometry. A guided tour through real and complex geometry
- Chronos: A timing analyzer for embedded software
- Chronos
- CoCoA
- GCLC
- MMP/Geometer
- Xeukleides
- JavaViewLib
- KamiWaAi
- GPDOF
- XSSR
- GEOTHER 1.1
- EG-Models
- jReality
- GeoGebra
- Mathcad
- Geometer's Sketchpad
- LAD
- Cabri-geometry
- KSEG
- Eukleides
- GeoProof
- JSXGraph
- Geometry Expressions
- CMPSm
- Cabri
- GCLCprover
- GeoThms
- Geometrijica
- Jacareto
- TI-Nspire
- DynaGeo
- SCOTT
- gcl
- OpenGeoProver
- TGTP
- Electronic Geometry Textbook
- KETpic
- WinGCLC
- SNARK09
- Calques 3D
- GeometryTouch
- GeometryEditor
- Kig
- Intergeo
- Lugares
- Dr.Doodle
- GEX
- webDiscovery
- sketchometry
- GeoView
- PovRay
- Opengeo
- aiT
- JGEX
- LUCY
- CindyJS
- KeTCindy
This page was built for software: Cinderella
