Found 5 Documents (Results 1–5)
Truth table invariant cylindrical algebraic decomposition by regular chains. (English) Zbl 1350.68293
Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 16th international workshop, CASC 2014, Warsaw, Poland, September 8–12, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-10514-7/pbk). Lecture Notes in Computer Science 8660, 44-58 (2014).
Filter Results by …
Document Type
- Journal Articles (4)
- Collection Articles (1)
all
top 5
Author
- Bradford, Russell J. (2)
- Davenport, James Harold (2)
- England, Matthew (2)
- Wilson, David J. (2)
- Chen, Changbo (1)
- Cohen, Cyril (1)
- Hong, Hoon (1)
- Mahboubi, Assia (1)
- McCallum, Scott (1)
- Moreno Maza, Marc (1)
- Safey El Din, Mohab (1)
- Strzeboński, Adam Wojciech (1)
Serial
all
top 3
Software
- QEPCAD (5)
- Maple (3)
- RegularChains (2)
- BranchCuts (1)
- Coq (1)
- Coq/SSReflect (1)
- CoqMT (1)
- FGb (1)
- Kronecker (1)
- Mathematica (1)
- MetiTarski (1)
- ProjectionCAD (1)
- RAGlib (1)
- SINGULAR (1)
- SYNRAC (1)