| Publication | Date of Publication | Type |
|---|
Parametric ``non-nested discriminants for multiplicities of univariate polynomials
Science China. Mathematics | 2024-08-30 | Paper |
Erratum for “Global Identifiability of Differential Models”
Communications on Pure and Applied Mathematics | 2024-01-23 | Paper |
SIAN
ACM Communications in Computer Algebra | 2023-03-03 | Paper |
Parametric "Non-nested" Discriminants for Multiplicities of Univariate Polynomials
| 2022-12-31 | Paper |
Subresultant of several univariate polynomials
| 2021-12-31 | Paper |
A framework for improving uniformity of parameterizations of curves
Science China Information Sciences | 2021-12-15 | Paper |
Maximum gap in cyclotomic polynomials
Journal of Number Theory | 2021-09-06 | Paper |
A condition for multiplicity structure of univariate polynomials
Journal of Symbolic Computation | 2021-02-18 | Paper |
Global identifiability of differential models
Communications on Pure and Applied Mathematics | 2020-11-13 | Paper |
Connectivity in Semi-Algebraic Sets I
| 2020-11-04 | Paper |
Number of Real Critical Points of Cyclotomic Polynomials
| 2019-12-27 | Paper |
Open weak CAD and its applications
Journal of Symbolic Computation | 2019-01-21 | Paper |
Algorithm for computing \(\mu\)-bases of univariate polynomials
Journal of Symbolic Computation | 2019-01-21 | Paper |
Positive solutions of systems of signed parametric polynomial inequalities
| 2018-10-23 | Paper |
Number of common roots and resultant of two tropical univariate polynomials
Journal of Algebra | 2018-08-21 | Paper |
Locating and counting equilibria of the Kuramoto model with rank-one coupling
SIAM Journal on Applied Algebra and Geometry | 2018-02-14 | Paper |
Explicit expression for a family of ternary cyclotomic polynomials
| 2018-01-03 | Paper |
Improving root separation bounds
Journal of Symbolic Computation | 2017-08-24 | Paper |
Block Structure of Cyclotomic Polynomials
| 2017-04-13 | Paper |
Degree-optimal moving frames for rational curves
| 2017-03-08 | Paper |
Lower Bounds for Maximum Gap in (Inverse) Cyclotomic Polynomials
| 2017-02-24 | Paper |
Resultants over commutative idempotent semirings. I: Algebraic aspect
Journal of Symbolic Computation | 2017-02-03 | Paper |
An algebraic method for constructing stable and consistent autoregressive filters
Journal of Computational Physics | 2016-12-20 | Paper |
\textsf{ImUp}: a Maple package for uniformity-improved reparameterization of plane curves
Computer Mathematics | 2016-04-12 | Paper |
Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation)
Journal of Symbolic Computation | 2016-02-11 | Paper |
Quality of positive root bounds
Journal of Symbolic Computation | 2015-12-08 | Paper |
Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation)
Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation | 2015-11-11 | Paper |
On using Lazard's projection in CAD construction
Journal of Symbolic Computation | 2015-08-19 | Paper |
Explicit formula for optimal ate pairing over cyclotomic family of elliptic curves
Finite Fields and their Applications | 2015-06-10 | Paper |
Special algorithm for stability analysis of multistable biological regulatory systems
Journal of Symbolic Computation | 2015-05-04 | Paper |
Improving angular speed uniformity by reparameterization
Computer Aided Geometric Design | 2014-04-04 | Paper |
Pairing inversion via non-degenerate auxiliary pairings
Pairing-Based Cryptography – Pairing 2013 | 2014-02-18 | Paper |
Improving Angular Speed Uniformity by C 1 Piecewise Reparameterization
Automated Deduction in Geometry | 2013-09-20 | Paper |
Object-image correspondence for algebraic curves under projections
SIGMA. Symmetry, Integrability and Geometry: Methods and Applications | 2013-07-04 | Paper |
Simple and exact formula for minimum loop length in \(\mathrm{Ate}_{i }\) pairing based on Brezing-Weng curves
Designs, Codes and Cryptography | 2013-04-03 | Paper |
Improving angular speed uniformity by optimal \(C ^{0}\) piecewise reparameterization
Computer Algebra in Scientific Computing | 2012-09-21 | Paper |
Maximum gap in (inverse) cyclotomic polynomial
Journal of Number Theory | 2012-08-30 | Paper |
Variant quantifier elimination
Journal of Symbolic Computation | 2012-05-23 | Paper |
Variant real quantifier elimination: algorithm and application
Proceedings of the 2009 international symposium on Symbolic and algebraic computation | 2012-05-13 | Paper |
Solution formulas for cubic equations without or with constraints
Journal of Symbolic Computation | 2011-06-29 | Paper |
Sylvester's double sums: the general case
Journal of Symbolic Computation | 2009-07-01 | Paper |
Solving Dynamic Geometric Constraints Involving Inequalities
Artificial Intelligence and Symbolic Computation | 2009-01-15 | Paper |
Corrigendum to ``Are Buchberger's criteria necessary for the chain condition? [J. Symbolic Comput. 42 (2007) 717-732]
Journal of Symbolic Computation | 2008-11-18 | Paper |
Are Buchberger's criteria necessary for the chain condition?
Journal of Symbolic Computation | 2008-02-13 | Paper |
An elementary proof of Sylvester's double sums for subresultants
Journal of Symbolic Computation | 2007-10-23 | Paper |
Bruno Buchberger -- a life devoted to symbolic computation (Preface to the special issue)
Journal of Symbolic Computation | 2007-10-23 | Paper |
Note on Jacobi's method for approximating dominant roots
Journal of Symbolic Computation | 2007-08-24 | Paper |
An efficient method for analyzing the topology of plane real algebraic curves.
Mathematics and Computers in Simulation | 2003-05-27 | Paper |
Ore subresultant coefficients in solutions
Applicable Algebra in Engineering, Communication and Computing | 2002-12-05 | Paper |
Ore principal subresultant coefficients in solutions
Applicable Algebra in Engineering, Communication and Computing | 2002-12-05 | Paper |
Sparse resultant of composed polynomials. I: Mixed-unmixed case.
Journal of Symbolic Computation | 2002-06-11 | Paper |
scientific article; zbMATH DE number 1263329 (Why is no real title available?)
| 2001-07-16 | Paper |
Algorithms for trigonometric curves (simplification, implicitization, parameterization)
Journal of Symbolic Computation | 1999-11-30 | Paper |
scientific article; zbMATH DE number 1254278 (Why is no real title available?)
| 1999-10-14 | Paper |
scientific article; zbMATH DE number 1349999 (Why is no real title available?)
| 1999-10-12 | Paper |
scientific article; zbMATH DE number 1263359 (Why is no real title available?)
| 1999-08-23 | Paper |
Testing positiveness of polynomials
Journal of Automated Reasoning | 1999-06-29 | Paper |
Bounds for absolute positiveness of multivariate polynomials
Journal of Symbolic Computation | 1999-06-07 | Paper |
Groebner basis under composition. I
Journal of Symbolic Computation | 1998-11-18 | Paper |
scientific article; zbMATH DE number 1157662 (Why is no real title available?)
| 1998-10-01 | Paper |
scientific article; zbMATH DE number 1057769 (Why is no real title available?)
| 1998-09-23 | Paper |
scientific article; zbMATH DE number 1157655 (Why is no real title available?)
| 1998-09-13 | Paper |
scientific article; zbMATH DE number 1157654 (Why is no real title available?)
| 1998-09-13 | Paper |
scientific article; zbMATH DE number 1157656 (Why is no real title available?)
| 1998-09-13 | Paper |
Testing stability by quantifier elimination
Journal of Symbolic Computation | 1998-04-20 | Paper |
Heuristic search and pruning in polynomial constraints satisfaction
Annals of Mathematics and Artificial Intelligence | 1998-01-07 | Paper |
Implicitization of nested circular curves
Journal of Symbolic Computation | 1997-08-10 | Paper |
Subresultants under composition
Journal of Symbolic Computation | 1997-08-10 | Paper |
The exact stability region of the MacCormack scheme for the scalar advection equation
Applied Mathematics Letters | 1997-02-26 | Paper |
The design of the SACLIB/PACLIB kernels
Journal of Symbolic Computation | 1996-03-27 | Paper |
Bernstein form is inclusion monotone
Computing | 1996-03-05 | Paper |
Safe starting regions by fixed points and tightening
Computing | 1994-12-20 | Paper |
scientific article; zbMATH DE number 503194 (Why is no real title available?)
| 1994-11-29 | Paper |
Quantifier Elimination for Formulas Constrained by Quadratic Equations via Slope Resultants
The Computer Journal | 1993-12-05 | Paper |
Partial cylindrical algebraic decomposition for quantifier elimination
Journal of Symbolic Computation | 1992-06-28 | Paper |
Optimality of Curtiss Bound on Poincare Multiplier for Positive Univariate Polynomials
| N/A | Paper |
Conditions for eigenvalue configurations of two real symmetric matrices: a symmetric function approach
| N/A | Paper |
Conditions for eigenvalue configurations of two real symmetric matrices: a signature approach
| N/A | Paper |
Almost Bijective Parametrization of $3 \times 3$ Copositive Matrices
| N/A | Paper |
Almost Bijective Parametrization of Copositive Univariate Polynomials
| N/A | Paper |
Equi-affine minimal-degree moving frames for polynomial curves
| N/A | Paper |
