![Mathematical logic / Mathematical proofs / Proof theory / Mathematical optimization / Interval arithmetic / Computer-assisted proof / Linear programming / Logarithm / Maple / Mathematics / Operations research / Automated theorem proving Mathematical logic / Mathematical proofs / Proof theory / Mathematical optimization / Interval arithmetic / Computer-assisted proof / Linear programming / Logarithm / Maple / Mathematics / Operations research / Automated theorem proving](https://www.pdfsearch.io/img/0e48c49bf6573e80e98686a6e42fab1b.jpg) Date: 2008-12-12 05:03:04Mathematical 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 ListSource URL: www.mat.univie.ac.atDownload Document from Source Website File Size: 76,80 KBShare Document on Facebook
|