05391 Executive Summary - Numerical and Algebraic Algorithms and Computer-assisted Proofs.
Bruno BuchbergerChristian JanssonShin'ichi OishiMichael PlumSiegfried M. RumpPublished in: Algebraic and Numerical Algorithms and Computer-assisted Proofs (2005)
Keyphrases