37 citations · 106 across the 13 of their papers we have counts for
10 papers · 1 filter
A Dataset of Nonlinear Equations for Subdivision
Juan Xu, Huilong Lai, Yingying Cheng +2
In this paper, we report on the largest labelled dataset constructed so far for solving zero-dimensional square nonlinear systems with subdivision-based methods. A brief, non-exhau…
A semi-algebraic model for automatic loop parallelization
Changbo Chen
In this work, we introduce a semi-algebraic model for automatic parallelization of perfectly nested polynomial loops, which generalizes the classical polyhedral model. This model s…
Visualizing Planar and Space Implicit Real Algebraic Curves with Singularities
Changbo Chen, Wenyuan Wu, Yong Feng
We present a new method for visualizing implicit real algebraic curves inside a bounding box in the -D or -D ambient space based on numerical continuation and critical point…
Parallel Integer Polynomial Multiplication
Changbo Chen, Svyatoslav Covanov, Farnam Mansouri +3
We propose a new algorithm for multiplying dense polynomials with integer coefficients in a parallel fashion, targeting multi-core processor architectures. Complexity estimates and…
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…
An Algorithm for Computing the Limit Points of the Quasi-component of a Regular Chain
Parisa Alvandi, Changbo Chen, Marc Moreno Maza
For a regular chain , we propose an algorithm which computes the (non-trivial) limit points of the quasi-component of , that is, the set . Our proc…