Quantifier elimination for real closed fields by...

Quantifier elimination for real closed fields by cylindrical algebraic decomposition--preliminary report

Collins, George E.
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
8
Language:
english
Journal:
ACM SIGSAM Bulletin
DOI:
10.1145/1086837.1086852
Date:
August, 1974
File:
PDF, 830 KB
english, 1974
Conversion to is in progress
Conversion to is failed