External links
- Cinderella official website
- Public Beta version
- Online Documentation
- CindyJS, a reimplementation in JavaScript
 | This scientific software article is a stub. You can help Wikipedia by expanding it. |
| Original author(s) | Jürgen Richter-Gebert and Ulrich Kortenkamp |
|---|---|
| Initial release | 1998 |
| Stable release | Cinderella 2.9 build 1835 / March 6, 2016 |
| Preview release | Cinderella 2.9 build 1901 / June 12, 2017 |
| Written in | Java |
| Operating system | Windows, Mac OS, Linux, Solaris |
| Platform | Java |
| Available in | 7 languages |
List of languages English, German, Japanese, French, Spanish, Italian, Portuguese | |
| Type | Interactive geometry software |
| License | Proprietary |
| Website | cinderella |
Cinderella is a proprietary interactive geometry software, written in Java.
Cinderella was initially developed by Jürgen Richter-Gebert and Henry Crapo and was used to input incidence theorems and conjectures for automatic theorem proving using the binomial proving method by Richter-Gebert. The initial software was created in Objective-C on the NeXT platform.
In 1996, the software was rewritten in Java from scratch by Jürgen Richter-Gebert and Ulrich Kortenkamp. It still included the binomial prover, but was not suitable for classroom teaching as it still was prototypical. This version won the Multimedia Innovation Award at Learntec '97 in Karlsruhe, Germany. Due to this attention the German educational software publisher Heureka-Klett and the scientific publisher Springer-Verlag, Heidelberg, agreed to produce a commercial version of the software. The school version of Cinderella 1.0 was published in 1998, including about 150 examples, animations and exercises created with Cinderella, the university version was released in 1999.
In 2006, a new version of Cinderella, Cinderella.2, was published in an online-only version. The printed manual for the now current version 2.6 has been published by Springer-Verlag in 2012.
In 2013, the pro version of Cinderella has been made freely available.
Interactive geometry and analysis takes place in the realm of euclidean geometry, spherical geometry or hyperbolic geometry. It includes a physics simulation engine (with real gravity on Apple computers) and a scripting language. An export to blog feature allows for a 1-click publication on the web of a figure. It is currently mainly used in universities in Germany but its ease of use makes it suitable for usage at primary and secondary level as well.
| | This scientific software article is a stub. You can help Wikipedia by expanding it. |
computing, cross-platform software is computer software that is designed to work in several computing platforms. Some cross-platform software requires a separate build for each platform, but some can be directly run on any platform without special preparation, being written in an interpreted language or compiled to portable bytecode for which the interpreters or run-time packages are common or standard components of all supported platforms.
In computer science, formal methods are mathematically rigorous techniques for the specification, development, analysis, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the expectation that, as in other engineering disciplines, performing appropriate mathematical analysis can contribute to the reliability and robustness of a design.
The Isabelle automated theorem prover is a higher-order logic (HOL) theorem prover, written in Standard ML and Scala. As an LCF-style theorem prover, it is based on a small logical core (kernel) to increase the trustworthiness of proofs without requiring — yet supporting — explicit proof objects.
In computing, a visual programming language or block coding is a programming language that lets users create programs by manipulating program elements graphically rather than by specifying them textually. A VPL allows programming with visual expressions, spatial arrangements of text and graphic symbols, used either as elements of syntax or secondary notation. For example, many VPLs are based on the idea of "boxes and arrows", where boxes or other screen objects are treated as entities, connected by arrows, lines or arcs which represent relations.
Panorama Tools(also known as PanoTools) are a suite of programs and libraries for image stitching, i.e., re-projecting and blending multiple source images into immersive panoramas of many types. It was originally written by German physics and mathematics professor Helmut Dersch. Panorama Tools provides a framework An updated version of the Panorama Tools library serves as the underlying core engine for many software panorama graphical user interface front ends.
Kaleida Labs formed in 1991 to produce the multimedia cross-platform Kaleida Media Player and the object oriented scripting language ScriptX that was used to program its behavior. The system was aimed at the production of interactive CD ROM titles, an area of major effort in the early 1990s. When the system was delivered in 1994, it had relatively high system requirements and memory footprint, and lacked a native PowerPC version on the Mac platform. Around the same time, rapid changes in the market, especially the expansion of the World Wide Web and the Java programming language, pushed the interactive CD market into a niche role. The Kaleida platform failed to gain significant traction and the company was closed in 1996.
Heinz-Otto Peitgen is a German mathematician and was President of Jacobs University from January 1, 2013 to December 31, 2013. Peitgen contributed to the study of fractals, chaos theory, and medical image computing, as well as helping to introduce fractals to the broader public.
Macaulay2 is a free computer algebra system created by Daniel Grayson and Michael Stillman for computation in commutative algebra and algebraic geometry.
Computational mathematics is an area of mathematics devoted to the interaction between mathematics and computer computation.
RoboMind is a simple educational programming environment with its own scripting language that allows beginners to learn the basics of computer science by programming a simulated robot. In addition to introducing common programming techniques, it also aims at offering insights in robotics and artificial intelligence. RoboMind is available as stand-alone application for Windows, Linux, and Mac OS X. It was first released in 2005 and was originally developed by Arvid Halma, a student of the University of Amsterdam at the time. Since 2011, RoboMind has been published by Research Kitchen.
CaRMetal is an interactive geometry program which inherited the C.a.R. engine. The software has been created by Eric Hakenholz, in Java. CaRMetal is free, under GNU GPL license. It keeps an amount of functionality of C.a.R. but uses a different graphical interface which purportedly eliminates some intermediate dialogs and provides direct access to numerous effects. Constructions are done using a main palette, which contains some useful construction shortcuts in addition to the standard compass and ruler tools. These include perpendicular bisector, circle through three points, circumcircular arc through three points, and conic section through five points. Also interesting are the loci, functions, parametric curves, and implicit plots. Element thickness, color, label, and other attributes can be set using a separate panel.
In polyhedral combinatorics, a branch of mathematics, Steinitz's theorem is a characterization of the undirected graphs formed by the edges and vertices of three-dimensional convex polyhedra: they are exactly the 3-vertex-connected planar graphs. That is, every convex polyhedron forms a 3-connected planar graph, and every 3-connected planar graph can be represented as the graph of a convex polyhedron. For this reason, the 3-connected planar graphs are also known as polyhedral graphs.
Arbortext Advanced Print Publisher is commercial typesetting software application sold by Parametric Technology Corporation.
In algebraic geometry, Mnëv's universality theorem is a result which can be used to represent algebraic varieties as realizations of oriented matroids, a notion of combinatorics.
KaTeX is a cross-browser JavaScript library that displays mathematical notation in web browsers. It puts special emphasis on being fast and easy to use.
Z3, also known as the Z3 Theorem Prover, is a satisfiability modulo theories (SMT) solver developed by Microsoft.
Lean is a theorem prover and programming language. It is based on the calculus of constructions with inductive types.