MetiTarski is an automatic theorem prover based on a combination of resolution
and computer algebra technology. It is designed to prove theorems involving
real-valued special functions such as ln, exp, sin, cos, arctan and sqrt. All
variables are assumed to range over the real numbers.
MetiTarski can be downloaded from
http://www.cl.cam.ac.uk/~lp15/papers/Arith/download.html
You will be asked to leave your name and e-mail address so that we can have an
idea how many users there are. You will not receive regular e-mails from us.
Version 2.3 supports user-defined functions (abbreviations introduced using
axioms). Also, autoconf is now used to automatically configure builds on a
variety of UNIX environments.
We continue to provide a binary distribution (64-bit Linux and OSX).
Please note that MetiTarski is experimental research software. Feedback is
welcome!!
Larry Paulson
------------------------------------------------------------------------------
Subversion Kills Productivity. Get off Subversion & Make the Move to Perforce.
With Perforce, you get hassle-free workflows. Merge that actually works.
Faster operations. Version large binaries. Built-in WAN optimization and the
freedom to use Git, Perforce or both. Make the move to Perforce.
http://pubads.g.doubleclick.net/gampad/clk?id=122218951&iu=/4140/ostg.clktrk
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
