Ausgabe 4/2015
Inhalt (3 Artikel)
Formally-Verified Decision Procedures for Univariate Polynomial Computation Based on Sturm’s and Tarski’s Theorems
Anthony Narkawicz, César Muñoz, Aaron Dutle
Interpolation Systems for Ground Proofs in Automated Deduction: a Survey
Maria Paola Bonacina, Moa Johansson