drgeocaml
Description
DrGeoCaml is a dynamic geometry software. This program is an interactive geometry software similar to Cabri Geometre,GeoPlan, Kig… It contains automatic theorem proving features. Interactive theorem proving is planned.This application is available from the following Mandriva media:
2008.0 i586 contrib-release - View package information
|
2008.0 x86_64 contrib-release - View package information
|
cooker i586 contrib-release - View package information
|
cooker x86_64 contrib-release - View package information
|
Document data
Software search
- Lost account?
- Join the community, be part of the Club: it's free!
- Get the PWP Download Subscription!
Mandriva.com
Store
Club
2008.0 i586 contrib-release -

