번역이 완료되지 않아 이 페이지의 일부는 작성된 원래 언어로 표시됩니다.
주요 사항
- 자동 추론 도구를 동적 기하학 구성에 통합합니다.
- 수학적 증명과 정리 발견을 자동으로 계산합니다.
- 실험 연구를 위해 대수학과 미적분 환경을 결합합니다.
이 애플리케이션 소개
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
저희는 이 파일을 호스팅하지 않고, 검사하지 않으며, 내용을 확인하지 않습니다. 출처의 설명을 읽고 직접 판단하세요.