Polynomial Algorithms in Computer Algebra
Franz Winkler
Download - Immediately Available
Format: eBook (PDF)
Mechanical Theorem Proving in Geometries : Basic Principles
Wen-tsun Wu
Download - Immediately Available
Format: eBook (PDF)
Quantifier Elimination and Cylindrical Algebraic Decomposition
Bob F. Caviness
Download - Immediately Available
Format: eBook (PDF)
Correct Software in Web Applications and Web Services
Bernhard Thalheim
Download - Immediately Available
Format: eBook (PDF)