1
Published 2014
Springer International Publishing
Table of Contents: ... for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition -- A...

2
Published 1989
Springer Berlin Heidelberg
Table of Contents: ... refined classification of geometric search and computation problems -- Matrix Padé fractions...