Cinderella
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Geometries
- Chronos
- CoCoA
- GCLC
- MMP/Geometer
- Penrose
- Xeukleides
- JavaViewLib
- KamiWaAi
- XSSR
- GPDOF
- GEOTHER 1.1
- jReality
- EG-Models
- GeoGebra
- Mathcad
- Some convergence strategies for the alternating generalized projection method
- Collaborative use of mathematical content generated by CindyJS on tablets
- Geometer's Sketchpad
- LAD
- Towards an intelligent and dynamic geometry book
- Cabri-geometry
- A proposal for the automatic computation of envelopes of families of plane curves
- KSEG
- Eukleides
- Equivariant classes of matrix matroid varieties
- GeoProof
- JSXGraph
- Geometry Expressions
- TI-Nspire
- CMPSm
- GCLCprover
- GeoThms
- Cabri
- Geometrijica
- Jacareto
- A software tool for the investigation of plane loci
- SCOTT
- DynaGeo
- Automatic determination of envelopes and other derived curves within a graphic environment
- OpenGeoProver
- gcl
- About tracing problems in dynamic geometry
- Automated deduction and knowledge management in geometry
- A symbolic dynamic geometry system using the analytical geometry method
- Automatically building diagrams for olympiad geometry problems
- WinGCLC
- KETpic
- Electronic Geometry Textbook
- The superiorization method with restarted perturbations for split minimization problems with an application to radiotherapy treatment planning
- SNARK09
- GeometryTouch
- Kig
- GeometryEditor
- Intergeo
- Calques 3D
- Lugares
- GEX
- Dr.Doodle
- webDiscovery
- sketchometry
- New dynamics in dynamic geometry: dragging constructed points
- Taxonomies of geometric problems
- Non-standard analysis in dynamic geometry
- Illumination of Pascal's hexagrammum and octagrammum mysticum
- Polynomials as polygons
- KamiWaAi -- interactive 3D sketching with Java based on \(Cl(4,1)\) conformal model of Euclidean space
- Diagrams, tensors and geometric reasoning
- TGTP
- GeoView
- PovRay
- Opengeo
- A graphical user interface for formal proofs in geometry
- Chronos: A timing analyzer for embedded software
- aiT
- Geometric algebra illustrated by Cinderella
- JGEX
- Discrete geometry
- LUCY
- KeTCindy
- CindyJS
- ArgoTriCS
- scientific article; zbMATH DE number 1684357 (Why is no real title available?)
- Cayley-Bacharach formulas
- CindyJS
- CindyJS plugins -- extending the mathematical visualization framework
- Generating data for 3D models
- The actual use of KeTCindy in education
- Cooperation of KeTCindy and Computer Algebra System
- CindyGL: authoring GPU-based interactive mathematical content
- What is and how to use KeTCindy -- linkage between dynamic geometry software and LaTeX graphics capabilities
- How to generate figures at the preferred position of a TeX document
- The programming style for drawings from KeTpic to KeTCindy
- Exploring Classical Greek Construction Problems with Interactive Geometry Software
- DGD Gallery: storage, sharing, and publication of digital research data
- GeoThms -- a web system for Euclidean constructive geometry
- A touch-operation-based dynamic geometry system: design and implementation
- KaTeX
- The Douglas-Rachford algorithm in the absence of convexity
- Semantic alliance: a framework for semantic allies
This page was built for software: Cinderella
