×

Found 200 Documents (Results 1–100)

On delineability of varieties in CAD-based quantifier elimination with two equational constraints. (English) Zbl 1237.14067

May, John P. (ed.), ISSAC 2009. Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, Seoul, July 28–31, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-609-0). 71-78 (2009).
MSC:  14P05 03C10 68W30
Full Text: DOI

Filter Results by …

Access

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software