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)
- The superiorization method with restarted perturbations for split minimization problems with an application to radiotherapy treatment planning
- A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry
- Computational Science and Its Applications – ICCSA 2004
- A symbolic dynamic geometry system using the analytical geometry method
- Title not available (Why is that?)
- A touch-operation-based dynamic geometry system: design and implementation
- Non-standard analysis in dynamic geometry
- New dynamics in dynamic geometry: dragging constructed points
- Title not available (Why is that?)
- Taxonomies of geometric problems
- A class of Möbius iterated function systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Automatic Verification of Regular Constructions in Dynamic Geometry Systems
- 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
- Automated deduction and knowledge management in geometry
- Title not available (Why is that?)
- Illumination of Pascal's hexagrammum and octagrammum mysticum
- Chronos: A timing analyzer for embedded software
- Hamiltonicity and colorings of arrangement graphs
- Some convergence strategies for the alternating generalized projection method
- Geometric constraint solving: the witness configuration method
- A proposal for the automatic computation of envelopes of families of plane curves
- Collaborative use of mathematical content generated by CindyJS on tablets
- Cooperation of KeTCindy and Computer Algebra System
- Exploring Classical Greek Construction Problems with Interactive Geometry Software
- Equivariant classes of matrix matroid varieties
- Geometric algebra illustrated by Cinderella
- Geometries
- Automatically building diagrams for olympiad geometry problems
- Title not available (Why is that?)
- Automated Deduction in Geometry
- About tracing problems in dynamic geometry
- Conics and convexity
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Using Oshima splines to produce accurate numerical results and high quality graphical output
- Discrete geometry
- Penrose
- Title not available (Why is that?)
- Title not available (Why is that?)
- Towards an intelligent and dynamic geometry book
- Automated Discovery in Elementary Extrema Problems
- Semantic alliance: a framework for semantic allies
- Electronic Geometry Textbook: a geometric textbook knowledge management system
- Polynomials as polygons
- Automated Reasoning
- Projective Configuration Theorems: Old Wine into New Wineskins
- GMBL
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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.
- Title not available (Why is that?)
- Mechanizing Mathematical Reasoning
- Title not available (Why is that?)
- Title not available (Why is that?)
- Komplexe Zahlen und ebene Geometrie
- Recognition of Computationally Constructed Loci
- KamiWaAi -- interactive 3D sketching with Java based on \(Cl(4,1)\) conformal model of Euclidean space
- A bridge between dynamic geometry and computer algebra
- A graphical user interface for formal proofs in geometry
- Title not available (Why is that?)
- Title not available (Why is that?)
- A software tool for the investigation of plane loci
- Automatic determination of envelopes and other derived curves within a graphic environment
- 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
- GCLC
- GPDOF
- XSSR
- 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
This page was built for software: Cinderella
