Cinderella

swMATH127MaRDI QIDQ12896FDOQ12896

Author name not available (Why is that?)

Described by source

• Achenputtel und die Perlen. So etwas wie eine Buchbesprechung
• The Cinderella.2 Manual

Cited In (91)

• 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
• 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?)
• 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
• 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
• Perspectives on projective geometry. A guided tour through real and complex geometry
• 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
• The Douglas-Rachford algorithm in the absence of convexity
• CindyJS
• 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
• Title not available (Why is that?)
• Automated Deduction in Geometry
• Cayley-Bacharach formulas
• 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
• Title not available (Why is that?)
• 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
• GCLC -- a tool for constructive Euclidean geometry and more than that
• Automated Discovery in Elementary Extrema Problems
• The use of WPF for development of interactive geometry software
• Thousands of geometric problems for geometric theorem provers (TGTP)
• Title not available (Why is that?)
• The actual use of KeTCindy in education
• What is and how to use KeTCindy -- linkage between dynamic geometry software and LaTeX graphics capabilities
• Electronic Geometry Textbook: a geometric textbook knowledge management system
• Title not available (Why is that?)
• Polynomials as polygons
• Title not available (Why is that?)
• Automated Reasoning
• Projective Configuration Theorems: Old Wine into New Wineskins
• Title not available (Why is that?)
• A touch-operation-based dynamic geometry system: design and implementation
• 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.
• 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
• Title not available (Why is that?)
• Mechanizing Mathematical Reasoning
• Cooperation of KeTCindy and Computer Algebra System
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Komplexe Zahlen und ebene Geometrie
• Semantic alliance: a framework for semantic allies

This page was built for software: Cinderella