×

zbMATH — the first resource for mathematics

On using bi-equational constraints in CAD construction. (English) Zbl 1360.68925
Kauers, Manuel (ed.), Proceedings of the 2005 international symposium on symbolic and algebraic computation, ISSAC’05, Beijing, China, July 24–27, 2005. New York, NY: ACM Press (ISBN 1-59593-095-7). 76-83 (2005).

MSC:
68W30 Symbolic computation and algebraic computation
PDF BibTeX XML Cite
Full Text: DOI