| 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 |