×

zbMATH — the first resource for mathematics

Efficient projection orders for CAD. (English) Zbl 1134.68575
Gutierrez, Jaime (ed.), ISSAC 2004. Proceedings of the 2004 international symposium on symbolic and algebraic computation, Santander, Spain, July 4–7, 2004. New York, NY: ACM Press (ISBN 1-58113-827-X/pbk). 111-118 (2004).

MSC:
68U07 Computer science aspects of computer-aided design
03C10 Quantifier elimination, model completeness, and related topics
68W30 Symbolic computation and algebraic computation
Software:
REDLOG
PDF BibTeX Cite
Full Text: DOI