Cinderella
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Projective Configuration Theorems: Old Wine into New Wineskins
- scientific article; zbMATH DE number 1684357 (Why is no real title available?)
- scientific article; zbMATH DE number 2009901 (Why is no real title available?)
- 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
- scientific article; zbMATH DE number 1811825 (Why is no real title available?)
- DGD Gallery: storage, sharing, and publication of digital research data
- Conics and convexity
- Geometries
- Collaborative use of mathematical content generated by CindyJS on tablets
- Automated deduction and knowledge management in geometry
- Electronic Geometry Textbook: a geometric textbook knowledge management system
- scientific article; zbMATH DE number 1548431 (Why is no real title available?)
- scientific article; zbMATH DE number 1827103 (Why is no real title available?)
- Automated Discovery in Elementary Extrema Problems
- A bridge between dynamic geometry and computer algebra
- Computational Science and Its Applications – ICCSA 2004
- Non-standard analysis in dynamic geometry
- Chronos: A timing analyzer for embedded software
- Taxonomies of geometric problems
- A symbolic dynamic geometry system using the analytical geometry method
- Using Oshima splines to produce accurate numerical results and high quality graphical output
- Recognition of Computationally Constructed Loci
- Automatically building diagrams for olympiad geometry problems
- Cooperation of KeTCindy and Computer Algebra System
- Hamiltonicity and colorings of arrangement graphs
- Automatic Verification of Regular Constructions in Dynamic Geometry Systems
- Discrete geometry
- Some convergence strategies for the alternating generalized projection method
- scientific article; zbMATH DE number 2087082 (Why is no real title available?)
- scientific article; zbMATH DE number 1467754 (Why is no real title available?)
- Illumination of Pascal's hexagrammum and octagrammum mysticum
- scientific article; zbMATH DE number 1961548 (Why is no real title available?)
- Geometric constraint solving: the witness configuration method
- Exploring Classical Greek Construction Problems with Interactive Geometry Software
- AN APPLICATION OF TILINGS IN THE HYPERBOLIC PLANE
- Equivariant classes of matrix matroid varieties
- A software tool for the investigation of plane loci
- Polynomials as polygons
- scientific article; zbMATH DE number 2079832 (Why is no real title available?)
- About tracing problems in dynamic geometry
- The superiorization method with restarted perturbations for split minimization problems with an application to radiotherapy treatment planning
- A proposal for the automatic computation of envelopes of families of plane curves
- Penrose
- A class of Möbius iterated function systems
- A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry
- Automatic determination of envelopes and other derived curves within a graphic environment
- scientific article; zbMATH DE number 1313585 (Why is no real title available?)
- scientific article; zbMATH DE number 1745035 (Why is no real title available?)
- New dynamics in dynamic geometry: dragging constructed points
- Automated Deduction in Geometry
- scientific article; zbMATH DE number 1745040 (Why is no real title available?)
- A touch-operation-based dynamic geometry system: design and implementation
- scientific article; zbMATH DE number 1745041 (Why is no real title available?)
- scientific article; zbMATH DE number 1859221 (Why is no real title available?)
- Towards an intelligent and dynamic geometry book
- Geometric algebra illustrated by Cinderella
- Automated Reasoning
- Oriented Matroids
- scientific article; zbMATH DE number 6776481 (Why is no real title available?)
- A graphical user interface for formal proofs in geometry
- Perspectives on projective geometry. A guided tour through real and complex geometry
- GCLC -- a tool for constructive Euclidean geometry and more than that
- A FORMAL SYSTEM FOR EUCLID’SELEMENTS
- scientific article; zbMATH DE number 2107188 (Why is no real title available?)
- KamiWaAi -- interactive 3D sketching with Java based on \(Cl(4,1)\) conformal model of Euclidean space
- Cayley-Bacharach formulas
- scientific article; zbMATH DE number 1745042 (Why is no real title available?)
- CindyJS
- The Douglas-Rachford algorithm in the absence of convexity
- GeoThms -- a web system for Euclidean constructive geometry
- The use of WPF for development of interactive geometry software
- Diagrams, tensors and geometric reasoning
- The actual use of KeTCindy in education
- What is and how to use KeTCindy -- linkage between dynamic geometry software and LaTeX graphics capabilities
- Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
- Chronos
- CoCoA
- GCLC
- MMP/Geometer
- Xeukleides
- JavaViewLib
- KamiWaAi
- GPDOF
- XSSR
- GEOTHER 1.1
- EG-Models
- jReality
- GeoGebra
- Mathcad
- Geometer's Sketchpad
- LAD
- Cabri-geometry
- KSEG
- Eukleides
- GeoProof
- JSXGraph
This page was built for software: Cinderella
