Cinderella
From MaRDI portal
Software:12896
swMATH127MaRDI QIDQ12896FDOQ12896
Author name not available (Why is that?)
Cited In (91)
- Title not available (Why is that?)
- Semantic Alliance: A Framework for Semantic Allies
- Title not available (Why is that?)
- A Touch-Operation-Based Dynamic Geometry System: Design and Implementation
- Title not available (Why is that?)
- Mechanizing Mathematical Reasoning
- CindyJS Plugins
- CindyGL: Authoring GPU-Based Interactive Mathematical Content
- Cooperation of KeTCindy and Computer Algebra System
- Generating Data for 3D Models
- How to Generate Figures at the Preferred Position of a TeX Document
- The Programming Style for Drawings from to
- DGD Gallery: Storage, Sharing, and Publication of Digital Research Data
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- 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
- A graphical user interface for formal proofs in geometry
- Computational Science and Its Applications – ICCSA 2004
- A symbolic dynamic geometry system using the analytical geometry method
- Title not available (Why is that?)
- Non-standard analysis in dynamic geometry
- Title not available (Why is that?)
- New dynamics in dynamic geometry: dragging constructed points
- The Actual Use of in Education
- Title not available (Why is that?)
- Taxonomies of geometric problems
- Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Automatic Verification of Regular Constructions in Dynamic Geometry Systems
- A software tool for the investigation of plane loci
- Automatic determination of envelopes and other derived curves within a graphic environment
- Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System
- Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
- A FORMAL SYSTEM FOR EUCLID’SELEMENTS
- Automated deduction and knowledge management in geometry
- Title not available (Why is that?)
- Illumination of Pascal's hexagrammum and octagrammum mysticum
- polymake: a framework for analyzing convex polytopes
- The Douglas–Rachford Algorithm in the Absence of Convexity
- 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
- Title not available (Why is that?)
- CindyJS
- Cayley–Bacharach Formulas
- Title not available (Why is that?)
- First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems
- 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
- GCLC — A Tool for Constructive Euclidean Geometry and More Than That
- Title not available (Why is that?)
- Automated Deduction in Geometry
- About tracing problems in dynamic geometry
- Conics and convexity
- AN APPLICATION OF TILINGS IN THE HYPERBOLIC PLANE
- 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
- Perspectives on Projective Geometry
- Title not available (Why is that?)
- What is and How to Use – Linkage Between Dynamic Geometry Software and Graphics Capabilities –
- Oriented Matroids
- Title not available (Why is that?)
- GeoThms -- a web system for Euclidean constructive geometry
- Diagrams, tensors and geometric reasoning
- Towards an intelligent and dynamic geometry book
- Automated Discovery in Elementary Extrema Problems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Polynomials as polygons
- Title not available (Why is that?)
- A Class of M\"obius Iterated Function Systems
- Automated Reasoning
- Projective Configuration Theorems: Old Wine into New Wineskins
This page was built for software: Cinderella