Found 5 Documents (Results 1–5)
Computing cylindrical algebraic decomposition via triangular decomposition. (English) Zbl 1237.14068
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). 95-102 (2009).
A class of mechanically decidable problems beyond Tarski’s model. (English) Zbl 1133.68423
MSC:
68T15
03B35
Filter Results by …
Document Type
- Journal Articles (4)
- Collection Articles (1)
all
top 5
Author
- Yang, Lu (5)
- Xia, Bican (4)
- Chen, Changbo (1)
- Feng, Yong (1)
- Guan, Qiang (1)
- Moreno Maza, Marc (1)
- Wang, Long (1)
- Yao, Yong (1)
- Yu, Wensheng (1)
- Zeng, Zhenbing (1)
- Zhan, Naijun (1)
- Zhou, Chaochen (1)
Serial
all
top 3
Software
- DISCOVERER (4)
- QEPCAD (4)
- BOTTEMA (2)
- Maple (2)
- Isabelle/HOL (1)
- PVS (1)
- REDLOG (1)
- modpn (1)