MetiTarski is an automatic theorem prover based on a combination of resolution and a decision procedure for the theory of real closed fields. It is designed to prove theorems involving functions such as log, exp, sin, cos and sqrt. MetiTarski is available to download; see
http://www.cl.cam.ac.uk/~lp15/papers/Arith/metit-1.0.tgz http://www.cl.cam.ac.uk/~lp15/papers/Arith/index.html Please note that it is experimental research software and will require a certain amount of effort to build on your machine. Feedback would be welcome. Larry Paulson ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/ _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
