180 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Chinese Academy of SciencesCN26 papers
- Centre for Quantum TechnologiesSG7 papers
- Nankai UniversityCN6 papers
- National University of SingaporeSG6 papers
- University of Science and Technology of ChinaCN5 papers
- Southern University of Science and TechnologyCN4 papers
- Tsinghua UniversityCN4 papers
- University of Electronic Science and Technology of ChinaCN4 papers
- Western UniversityCA4 papers
- CAS Key Laboratory of Quantum Information, USTCCN3 papers
- Hunan Normal UniversityCN2 papers
- Institute of Theoretical PhysicsCN2 papers
Showing 2014 · cs.SCShow all
2 papers · 2 filters
cs.SC2014★ 25 cited
Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition
Matthew England, Russell Bradford, Changbo Chen +3
Cylindrical algebraic decompositions (CADs) are a key tool for solving problems in real algebraic geometry and beyond. We recently presented a new CAD algorithm combining two advan…
cs.SC2014★ 31 cited
Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains
R. Bradford, C. Chen, J. H. Davenport +3
A new algorithm to compute cylindrical algebraic decompositions (CADs) is presented, building on two recent advances. Firstly, the output is truth table invariant (a TTICAD) meanin…