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
3 papers · 1 filter
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…
Beating the Clauser-Horne-Shimony-Holt and the Svetlichny games with Optimal States
Hong-Yi Su, Changliang Ren, Jing-Ling Chen +6
We study the relation between the maximal violation of Svetlichny's inequality and the mixedness of quantum states and obtain the optimal state (i.e., maximally nonlocal mixed stat…
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…