Rigorous Computer-Assisted Application of KAM Theory: A Modern Approach J.-Ll. FiguerasA. HaroA. Luque OriginalPaper 17 November 2016 Pages: 1123 - 1193
Bivariate Factorization Using a Critical Fiber Martin Weimann OriginalPaper 25 April 2016 Pages: 1219 - 1263
A Deterministic Algorithm to Compute Approximate Roots of Polynomial Systems in Polynomial Average Time Pierre Lairez OriginalPaper 18 May 2016 Pages: 1265 - 1292
Computing Mixed Volume and All Mixed Cells in Quermassintegral Time Gregorio Malajovich OriginalPaper 06 May 2016 Pages: 1293 - 1334
A Bousfield–Kan Algorithm for Computing the Effective Homotopy of a Space Ana RomeroFrancis Sergeraert OriginalPaper 02 May 2016 Pages: 1335 - 1366