GeoGebra Discovery
Do Zoltán Kovács phát hành
An experimental version of GeoGebra
Một số phần của trang này đang hiển thị bằng ngôn ngữ gốc, vì bản dịch chưa hoàn tất.
Điểm nổi bật
- Tích hợp các công cụ suy luận tự động vào các cấu trúc hình học động
- Tính toán các chứng minh toán học và khám phá định lý tự động
- Kết hợp môi trường đại số và giải tích để nghiên cứu thực nghiệm
Giới thiệu ứng dụng
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.
Nơi tải về
Linux
- Mở trên FlathubMở trong tab mớiKho góiFlathub
Từ nhà phát hành
Cài bằng dòng lệnh
flatpak install flathub io.github.kovzol.geogebra-discovery
Chúng tôi không lưu trữ tệp này, không quét tệp và không mở tệp ra xem. Hãy đọc những gì nguồn công bố rồi tự quyết định.