Back to Results
First PageMeta Content
Mathematical logic / Mathematical proofs / Proof theory / Mathematical optimization / Interval arithmetic / Computer-assisted proof / Linear programming / Logarithm / Maple / Mathematics / Operations research / Automated theorem proving


Computer-assisted proofs Arnold Neumaier Fakult¨at f¨ur Mathematik, Universit¨at Wien Nordbergstr. 15, A-1090 Wien, Austria http://www.mat.univie.ac.at/∼neum/
Add to Reading List

Document Date: 2008-12-12 05:03:04


Open Document

File Size: 76,80 KB

Share Result on Facebook
UPDATE