Showing 1–18 of 18 results
/ Date/ Name
Oct 19, 2012An Incremental Algorithm for Computing Cylindrical Algebraic DecompositionsApr 4, 2011Algorithms for Computing Triangular Decompositions of Polynomial SystemsMar 30, 2009Computing Cylindrical Algebraic Decomposition via Triangular DecompositionJan 29, 2021A Companion Curve Tracing Method for Rank-deficient Polynomial SystemsJan 20, 2026Breaking the Data Barrier in Learning Symbolic Computation: A Case Study on Variable Ordering Suggestion for Cylindrical Algebraic DecompositionDec 16, 2019Visualizing Planar and Space Implicit Real Algebraic Curves with SingularitiesFeb 19, 2013An Algorithm for Computing the Limit Points of the Quasi-component of a Regular ChainDec 26, 2024A semi-algebraic model for automatic loop parallelizationJan 24, 2014Truth Table Invariant Cylindrical Algebraic Decomposition by Regular ChainsDec 1, 2020Entanglement Structure Detection via Machine LearningMar 29, 2026A Dataset of Nonlinear Equations for SubdivisionDec 17, 2016Parallel Integer Polynomial MultiplicationOct 24, 2018Mapping Criteria of Nonlocality-Steerability in Qudit-Qubit Systems and Steerability-Entanglement in Qubit-Qudit SystemsMar 6, 2019Steerability detection of arbitrary 2-qubit state via machine learningFeb 25, 2010Triangular Decomposition of Semi-algebraic SystemsJun 22, 2016Bell's Nonlocality Can be Detected by the Violation of Einstein-Podolsky-Rosen Steering InequalityMar 24, 2026Double Coupling Architecture and Training Method for Optimization Problems of Differential Algebraic Equations with ParametersApr 25, 2014Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition