![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)
| Document Date: 2008-12-12 05:03:04 Open Document File Size: 76,80 KBShare Result on Facebook
City Wien / Cambridge / Amsterdam / / Company INTerval LABoratory / Russell / / Country Austria / / / Facility University of Vienna / / IndustryTerm computer using general purpose software / software system / faster algorithm / formal verification tools / computational algorithm / mathematical algorithms / simplest tools / computing / verification software / long chain / / Organization University of Vienna / / Person Laurent Thery / Gabriele Nebe / Arnold Neumaier Fakult / / Position author / Matlab editor / player / / ProgrammingLanguage LaTeX / php / / PublishedMedium Annals of Mathematics / / Technology much faster algorithm / php / underlying algorithm / http / html / same algorithm / / URL http /
SocialTag |