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
|