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

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