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)

• 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