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
5 papers · 1 filter
Computing an LLL-reduced basis of the orthogonal lattice
Jingwei Chen, Damien Stehlé, Gilles Villard
As a typical application, the Lenstra-Lenstra-Lovasz lattice basis reduction algorithm (LLL) is used to compute a reduced basis of the orthogonal lattice for a given integer matrix…
A Special Homotopy Continuation Method For A Class of Polynomial Systems
Yu Wang, Wenyuan Wu, Bican Xia
A special homotopy continuation method, as a combination of the polyhedral homotopy and the linear product homotopy, is proposed for computing all the isolated solutions to a speci…
Finding best possible constant for a polynomial inequality
Lu Yang, Ju Zhang
Given a multi-variant polynomial inequality with a parameter, how to find the best possible value of this parameter that satisfies the inequality? For instance, find the greatest n…
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…
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…