翻訳が未完了のため、このページの一部は書かれた言語のまま表示されています。
主な特徴
- 動的幾何学の構築に自動推論ツールを統合します
- 数学的な証明と定理の発見を自動的に計算します
- 実験的研究のために代数と微積分の環境を組み合わせます
このアプリケーションについて
GeoGebra Discovery is an experimental branch derived from the standard GeoGebra mathematics software, tailored for Linux platforms. It integrates automated reasoning tools and theorem discovery capabilities directly into dynamic geometry, algebra, and calculus environments. Users can construct geometric shapes and algebraic relations while utilizing underlying algorithms to automatically deduce properties, prove statements, or find generalized formulas. The software serves educational and research purposes for exploring automated deduction systems within mathematical constructions.
入手先
Linux
- Flathub で開く新しいタブで開きますパッケージリポジトリFlathub
発行元から
ターミナルからインストール
flatpak install flathub io.github.kovzol.geogebra-discovery
当サイトはこのファイルをホストしておらず、スキャンも内容の確認も行いません。出典の記載を読み、ご自身で判断してください。