swMATH127MaRDI QIDQ12896FDOQ12896
Author name not available (Why is that?)
Official website: http://cinderella.de/tiki-index.php
Cited In (only showing first 100 items - show all)
- KamiWaAi -- interactive 3D sketching with Java based on \(Cl(4,1)\) conformal model of Euclidean space
- A graphical user interface for formal proofs in geometry
- Title not available (Why is that?)
- Title not available (Why is that?)
- Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
- A FORMAL SYSTEM FOR EUCLID’SELEMENTS
- polymake: a framework for analyzing convex polytopes
- Perspectives on projective geometry. A guided tour through real and complex geometry
- The Douglas-Rachford algorithm in the absence of convexity
- 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
- ArgoTriCS
- CindyJS
- KaTeX
- CindyGL
- Cindy 3D
- CindyLab
- CindyScript
- QuickHull3D
- GA
- Title not available (Why is that?)
- CATBox
- DGD gallery
- GATP
- GAcindy
- geoma
- HOARD ATINF
- LibreOffice
- EVEGA
- Baghera
- Geometry Tutor
- WGL
- Geometric Calculator
- Glyph
- First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems
- WPF
- Cayley-Bacharach formulas
- Oriented Matroids
- Title not available (Why is that?)
- GeoThms -- a web system for Euclidean constructive geometry
- Diagrams, tensors and geometric reasoning
- GCLC -- a tool for constructive Euclidean geometry and more than that
- The use of WPF for development of interactive geometry software
- Thousands of geometric problems for geometric theorem provers (TGTP)
- The actual use of KeTCindy in education
- What is and how to use KeTCindy -- linkage between dynamic geometry software and LaTeX graphics capabilities
This page was built for software: Cinderella
