Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations
Publisher: Simon & Schuster
Published: 2007
Language: eng
ISBN-13: 9783836413060
Subjects: Computational complexity; Algebraic fields