シンデレラ（ソフトウェア）

Cinderella は、 Javaで書かれた独自の インタラクティブな幾何学ソフトウェアです。

Cinderella は当初、Jürgen Richter-Gebert と Henry Crapo によって開発され、Richter-Gebert による二項式証明法を使用した自動定理証明のために、接続定理と予想を入力するために使用されました。最初のソフトウェアは、NeXTプラットフォーム上のObjective-Cで作成されました。

1996年、このソフトウェアはJürgen Richter-GebertとUlrich Kortenkampによって最初からJavaで書き直されました。二項式証明器は含まれていましたが、まだプロトタイプであったため、教室での授業には適していませんでした。このバージョンは、ドイツのカールスルーエで開催されたLearntec '97でマルチメディアイノベーション賞を受賞しました。この注目により、ドイツの教育ソフトウェア出版社Heureka-Klettとハイデルベルクの科学出版社Springer-Verlagは、ソフトウェアの商用バージョンを制作することに合意しました。Cinderella 1.0の学校バージョンは1998年に公開され、Cinderellaで作成された約150の例、アニメーション、演習が含まれ、大学バージョンは1999年にリリースされました。

2006 年に、シンデレラの新しいバージョンである Cinderella.2 がオンラインのみで公開されました。現在のバージョン 2.6 の印刷マニュアルは、2012 年に Springer-Verlag から出版されました。

2013年に、シンデレラのプロ版が無料で公開されました。

インタラクティブな幾何学と分析は、ユークリッド幾何学、球面幾何学、双曲幾何学の領域で行われます。物理シミュレーション エンジン ( Apple コンピューターの実際の重力を使用) とスクリプト言語が含まれています。ブログへのエクスポート機能により、図を 1 クリックで Web に公開できます。現在は主にドイツの大学で使用されていますが、使いやすさから初等および中等教育でも使用できます。

• シンデレラ公式サイト
• パブリックベータ版
• オンラインドキュメント
• CindyJS、JavaScript での再実装