2023 article
Global Identifiability of Differential Models (vol 73, pg 1831, 2020)
Hong, H., Ovchinnikov, A., Pogudin, G., & Yap, C. (2023, September 22). COMMUNICATIONS ON PURE AND APPLIED MATHEMATICS, Vol. 9.
2021 journal article
A condition for multiplicity structure of univariate polynomials
Journal of Symbolic Computation, 5, 15.
2021 journal article
A condition for multiplicity structure of univariate polynomials
Journal of Symbolic Computation, 104, 523β538.
2021 journal article
Maximum gap in cyclotomic polynomials
JOURNAL OF NUMBER THEORY, 229, 1β15.
2020 journal article
Global Identifiability of Differential Models
COMMUNICATIONS ON PURE AND APPLIED MATHEMATICS, 73(9), 1831β1879.
2019 journal article
SIAN: a tool for assessing structural identifiability of parametric ODEs
ACM COMMUNICATIONS IN COMPUTER ALGEBRA, 53(2), 37β40.
2019 journal article
SIAN: software for structural identifiability analysis of ODE models
BIOINFORMATICS, 35(16), 2873β2874.
Ed(s): J. Wren
2018 journal article
Improving root separation bounds
JOURNAL OF SYMBOLIC COMPUTATION, 84, 25β56.
2018 journal article
Locating and Counting Equilibria of the Kuramoto Model with Rank-One Coupling
SIAM JOURNAL ON APPLIED ALGEBRA AND GEOMETRY, 2(1), 45β71.
2018 journal article
Number of common roots and resultant of two tropical univariate polynomials
JOURNAL OF ALGEBRA, 511, 420β439.
2018 conference paper
Positive Solutions of Systems of Signed Parametric Polynomial Inequalities
In V. P. Gerdt, W. Koepf, W. M. Seiler, & E. V. Vorozhtsov (Eds.), Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings (Vol. 11077, pp. 238β253).
Ed(s): V. Gerdt, W. Koepf, W. Seiler & E. Vorozhtsov
2017 journal article
Algorithm for computing mu-bases of univariate polynomials
JOURNAL OF SYMBOLIC COMPUTATION, 80, 844β874.
2017 journal article
Open weak CAD and its applications
JOURNAL OF SYMBOLIC COMPUTATION, 80, 785β816.
2017 journal article
Resultants over commutative idempotent semirings I: Algebraic aspect
JOURNAL OF SYMBOLIC COMPUTATION, 79, 285β308.
2016 journal article
On using Lazard's projection in CAD construction
JOURNAL OF SYMBOLIC COMPUTATION, 72, 65β81.
2016 journal article
Quality of positive root bounds
JOURNAL OF SYMBOLIC COMPUTATION, 74, 592β602.
2016 journal article
Real quantifier elimination for the synthesis of optimal numerical algorithms (Case study: Square root computation)
JOURNAL OF SYMBOLIC COMPUTATION, 75, 110β126.
2015 journal article
An algebraic method for constructing stable and consistent autoregressive filters
JOURNAL OF COMPUTATIONAL PHYSICS, 283, 241β257.
2015 journal article
Explicit formula for optimal ate pairing over cyclotomic family of elliptic curves
FINITE FIELDS AND THEIR APPLICATIONS, 34, 45β74.
2015 journal article
Special algorithm for stability analysis of multistable biological regulatory systems
JOURNAL OF SYMBOLIC COMPUTATION, 70, 112β135.
2014 chapter
ImUp: A Maple Package for Uniformity-Improved Reparameterization of Plane Curves
In Computer Mathematics (Vol. 10, pp. 437β451).
2014 book
Mathematical Software β ICMS 2014: 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings
In H. Hong & C. Yap (Eds.), Lecture Notes in Computer Science (Vol. 8592).
2014 chapter
Pairing Inversion via Non-degenerate Auxiliary Pairings
In Pairing-Based Cryptography β Pairing 2013 (pp. 77β96).
2014 conference paper
Synthesis of Optimal Numerical Algorithms Using Real Quantifier Elimination (Case Study: Square Root Computation)
In K. Nabeshima, K. Nagasaka, F. Winkler, & Γ. SzΓ‘ntΓ³ (Eds.), Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation (pp. 162β169).
Ed(s): K. Nabeshima, K. Nagasaka, F. Winkler & Γ. SzΓ‘ntΓ³
Event: at New York, NY, USA
2013 journal article
A framework for improving uniformity of parameterizations of curves
SCIENCE CHINA-INFORMATION SCIENCES, 56(10).
2013 chapter
Improving Angular Speed Uniformity by C 1 Piecewise Reparameterization
In Automated Deduction in Geometry (pp. 33β47).
2013 journal article
Improving angular speed uniformity by reparameterization
Computer Aided Geometric Design, 30(7), 636β652.
2013 journal article
Object-Image Correspondence for Algebraic Curves under Projections
SYMMETRY INTEGRABILITY AND GEOMETRY-METHODS AND APPLICATIONS, 9.
2013 conference paper
Pairing Inversion via Non-degenerate Auxiliary Pairings
In Z. Cao & F. Zhang (Eds.), Pairing-Based Cryptography - Pairing 2013 - 6th International Conference, Beijing, China, November 22-24, 2013, Revised Selected Papers (Vol. 8365, pp. 77β96).
Ed(s): Z. Cao & F. Zhang
2013 journal article
Reducing Pairing Inversion to Exponentiation Inversion using Non-degenerate Auxiliary Pairing
IACR Cryptol. EPrint Arch., 2013, 313. http://eprint.iacr.org/2013/313
2013 journal article
Simple and exact formula for minimum loop length in Ate (i) pairing based on Brezing-Weng curves
DESIGNS CODES AND CRYPTOGRAPHY, 67(2), 271β292.
2013 journal article
The Secant-Newton Map is Optimal Among Contracting Quadratic Maps for Square Root Computation
Reliab. Comput., 18, 73β81. http://interval.louisiana.edu/reliable-computing-journal/volume-18/reliable-computing-18-pp-073-081.pdf
2012 chapter
Improving Angular Speed Uniformity by Optimal C 0 Piecewise Reparameterization
In Computer Algebra in Scientific Computing (pp. 349β360).
2012 conference paper
Improving Angular Speed Uniformity by Optimal C 0 Piecewise Reparameterization
In V. P. Gerdt, W. Koepf, E. W. Mayr, & E. V. Vorozhtsov (Eds.), Computer Algebra in Scientific Computing - 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012. Proceedings (Vol. 7442, pp. 349β360).
Ed(s): V. Gerdt, W. Koepf, E. Mayr & E. Vorozhtsov
2012 journal article
Maximum gap in (inverse) cyclotomic polynomial
JOURNAL OF NUMBER THEORY, 132(10), 2297β2315.
2012 conference paper
Real solution formulas of cubic and quartic equations applied to generate dynamic diagrams with inequality constraints
In S. Ossowski & P. Lecca (Eds.), Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC '12 (pp. 94β101).
Ed(s): S. Ossowski & P. Lecca
2012 journal article
Variant quantifier elimination
Journal of Symbolic Computation, 47(7), 883β901.
2011 journal article
Solution formulas for cubic equations without or with constraints
JOURNAL OF SYMBOLIC COMPUTATION, 46(8), 904β918.
2011 conference paper
WTHD optimization for single phase multilevel converters with step modulation
IECON 2011 - 37th Annual Conference of the IEEE Industrial Electronics Society.
2010 conference paper
Connectivity in Semi-algebraic Sets
In T. Ida, V. Negru, T. Jebelean, D. Petcu, S. M. Watt, & D. Zaharie (Eds.), 2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (pp. 4β7).
Ed(s): T. Ida, V. Negru, T. Jebelean, D. Petcu, S. Watt & D. Zaharie
2009 journal article
Real-Time Algorithm for Minimizing THD in Multilevel Inverters With Unequal or Varying Voltage Steps Under Staircase Modulation
IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, 56(6), 2249β2258.
2009 journal article
Real-Time Calculation of Switching Angles Minimizing THD for Multilevel Inverters With Step Modulation
IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, 56(2), 285β293.
2009 journal article
Sylvesterβs double sums: The general case
Journal of Symbolic Computation, 44(9), 1164β1175.
2009 conference paper
Variant real quantifier elimination
In J. R. Johnson, H. Park, & E. Kaltofen (Eds.), Proceedings of the 2009 international symposium on Symbolic and algebraic computation - ISSAC '09 (pp. 183β190).
Ed(s): J. Johnson, H. Park & E. Kaltofen
2008 article
Are Buchberger's criteria necessary for the chain condition? (vol 42, pg 717, 2007)
Journal of Symbolic Computation, Vol. 43, pp. 233β233.
2008 journal article
Connectivity in semialgebraic sets (abstract only)
ACM Commun. Comput. Algebra, 42(1-2), 86.
2008 journal article
Corrigendum to βAre Buchbergerβs criteria necessary for the chain condition?β [J. Symbolic Comput. 42 (2007) 717β732]
Journal of Symbolic Computation, 43(3), 233.
2007 journal article
An elementary proof of Sylvester's double sums for subresultants
JOURNAL OF SYMBOLIC COMPUTATION, 42(3), 290β297.
2007 journal article
Are Buchbergerβs criteria necessary for the chain condition?
Journal of Symbolic Computation, 42(7), 717β732.
2007 journal article
Foreword
Mathematics in Computer Science, 1(1), 3β7.
2006 book
Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
In H. Hong & D. Wang (Eds.), Springer Berlin Heidelberg (Vol. 3763).
2006 article
Bruno Buchberger - A life devoted to symbolic computation
JOURNAL OF SYMBOLIC COMPUTATION, Vol. 41, pp. 255β258.
2006 chapter
Solving Dynamic Geometric Constraints Involving Inequalities
In Artificial Intelligence and Symbolic Computation (pp. 181β195).
2006 conference paper
Solving Dynamic Geometric Constraints Involving Inequalities
In J. Calmet, T. Ida, & D. Wang (Eds.), Artificial Intelligence and Symbolic Computation (pp. 181β195). Berlin, Heidelberg: Springer Berlin Heidelberg.
Ed(s): J. Calmet, T. Ida & D. Wang
Event: at Berlin, Heidelberg
2004 journal article
Note on Jacobi's method for approximating dominant roots
JOURNAL OF SYMBOLIC COMPUTATION, 37(4), 449β453.
2002 journal article
Sparse resultant of composed polynomials I* mixed-unmixed case
JOURNAL OF SYMBOLIC COMPUTATION, 33(4), 447β465.
2001 journal article
Ore principal subresultant coefficients in solutions
APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING, 11(3), 227β237.
2001 journal article
Ore subresultant coefficients in solutions
APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING, 12(5), 421β428.
2000 journal article
Editorial
J. Symb. Comput., 29(1), 3β4.
1998 journal article
Algorithms for trigonometric curves (simplification, implicitization, parameterization)
JOURNAL OF SYMBOLIC COMPUTATION, 26(3), 279β300.
1998 chapter
An Improvement of the Projection Operator in Cylindrical Algebraic Decomposition
In Texts and Monographs in Symbolic Computation (pp. 166β173).
1998 journal article
Bounds for Absolute Positiveness of Multivariate Polynomials
J. Symb. Comput., 25(5), 571β585.
1998 conference paper
Computation of Variant Resultants
In B. F. Caviness & J. R. Johnson (Eds.), Quantifier Elimination and Cylindrical Algebraic Decomposition (pp. 327β340). Vienna: Springer Vienna.
Ed(s): B. Caviness & J. Johnson
Event: at Vienna
1998 journal article
Editorial
Mathematics and Computers in Simulation.
1998 journal article
Groebner Basis Under Composition I
Journal of Symbolic Computation, 25(5), 643β663.
1998 journal article
Testing Positiveness of Polynomials
Journal of Automated Reasoning, 21(1), 23β38.
1997 journal article
Comparison of Several Decision Algorithms for the Existential Theory of the Reals
5.
1997 journal article
Heuristic Search and Pruning in Polynomial Constraints Satisfaction.
Ann. Math. Artif. Intell., 19(3-4), 319β334.
1997 journal article
Implicitization of Nested Circular Curves
Journal of Symbolic Computation, 23(2-3), 177β189.
1997 journal article
Multivariate Resultants Under Composition
4.
1997 journal article
Special Issue on Application of Quantifier Elimination. Foreword of the Guest Editors
Journal of Symbolic Computation, 24(2), 123.
1997 journal article
Subresultants Under Composition
Journal of Symbolic Computation, 23(4), 355β365.
1997 journal article
Testing Stability by Quantifier Elimination
Journal of Symbolic Computation, 24(2), 161β187.
1996 journal article
An efficient method for analyzing the topology of plane real algebraic curves
Mathematics and Computers in Simulation, 42(4-6), 571β582.
1996 conference paper
Groebner basis under composition II
In E. Engeler, B. F. Caviness, & Y. N. Lakshman (Eds.), Proceedings of the 1996 international symposium on Symbolic and algebraic computation - ISSAC '96 (pp. 79β85).
Ed(s): E. Engeler, B. Caviness & Y. Lakshman
1996 journal article
The exact region of stability for MacCormack scheme
Computing, 56(4), 371β383.
1996 journal article
The exact stability region of the MacCormack scheme for the scalar advection equation
Applied Mathematics Letters, 9(4), 99β101.
1995 journal article
Bernstein form is inclusion monotone
Computing, 55(1), 43β53.
1995 conference paper
Implicitization of Curves Parameterized by Generalized Trigonometric Polynomials
In G. D. Cohen, M. Giusti, & T. Mora (Eds.), Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 11th International Symposium, AAECC-11, Paris, France, July 17-22, 1995, Proceedings (Vol. 948, pp. 285β296).
Ed(s): G. Cohen, M. Giusti & T. Mora
1995 journal article
Preface
Annals of Mathematics and Artificial Intelligence, 13(1-2), I-II.
1995 journal article
The Design of the SACLIB/PACLIB Kernels
Journal of Symbolic Computation, 19(1-3), 111β132.
1994 conference paper
Parallel Computation of Modular Multivariate Polynominal Resultants on a Shared Memory Machine
In B. Buchberger & J. Volkert (Eds.), Parallel Processing: CONPAR 94 - VAPP VI, Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994, Proceedings (Vol. 854, pp. 325β336).
Ed(s): B. Buchberger & J. Volkert
1994 conference paper
RISC-CLP(CF) Constraint Logic Programming over Complex Functions
In F. Pfenning (Ed.), Logic Programming and Automated Reasoning, 5th International Conference, LPAR'94, Kiev, Ukraine, July 16-22, 1994, Proceedings (Vol. 822, pp. 99β113).
Ed(s): F. Pfenning
1994 journal article
Safe starting regions by fixed points and tightening
Computing, 53(3-4), 323β335.
1993 conference paper
A New Library for Parallel Algebraic Computation
In R. F. Sincovec, D. E. Keyes, M. R. Leuze, L. R. Petzold, & D. A. Reed (Eds.), Proceedings of the Sixth SIAM Conference on Parallel Processing for Scientific Computing, PPSC 1993, Norfolk, Virginia, USA, March 22-24, 1993 (pp. 776β783). SIAM.
Ed(s): R. Sincovec, D. Keyes, M. Leuze, L. Petzold & D. Reed
1993 conference paper
Parallelization of Quantifier Elimination on a Workstation Network
In G. D. Cohen, T. Mora, & O. Moreno (Eds.), Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 10th International Symposium, AAECC-10, San Juan de Puerto Rico, Puerto Rico, May 10-14, 1993, Proceedings (Vol. 673, pp. 170β179).
Ed(s): G. Cohen, T. Mora & O. Moreno
1993 journal article
Quantifier Elimination for Formulas Constrained by Quadratic Equations via Slope Resultants
The Computer Journal, 36(5), 439β449.
1993 conference paper
Quantifier elimination for formulas constrained by quadratic equations
In M. Bronstein (Ed.), Proceedings of the 1993 international symposium on Symbolic and algebraic computation - ISSAC '93 (pp. 264β274).
Ed(s): M. Bronstein
1993 chapter
RISC-CLP (Real): Logic Programming with Non-Linear Constraints over the Reals
In Constraint Logic Programming: Selected Research (pp. 133β159). Cambridge, MA, USA: MIT Press.
Event: at Cambridge, MA, USA
1993 journal article
Special Issue Editorial: Computational Quantifier Elimination
Comput. J., 36(5), 399.
1993 conference paper
The Design of the PACLIB Kernel for Parallel Algebraic Computation
In J. Volkert (Ed.), Parallel Computation, Second International ACPC Conference, Gmunden, Austria, October 4-6, 1993, Proceedings (Vol. 734, pp. 204β218).
Ed(s): J. Volkert
1993 conference paper
The Design of the SACLIB/PACLIB Kernels
In A. Miola (Ed.), Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993, Proceedings (Vol. 722, pp. 288β302).
Ed(s): A. Miola
1992 conference paper
Heuristic Search Strategies for Cylindrical Algebraic Decomposion
In J. Calmet & J. A. Campbell (Eds.), Artificial Intelligence and Symbolic Mathematical Computation, International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992, Proceedings (Vol. 737, pp. 152β165).
Ed(s): J. Calmet & J. Campbell
1992 conference paper
Non-linear Real Constraints in Constraint Logic Programming
In H. Kirchner & G. Levi (Eds.), Algebraic and Logic Programming, Third International Conference, Volterra, Italy, September 2-4, 1992, Proceedings (Vol. 632, pp. 201β212).
Ed(s): H. Kirchner & G. Levi
1992 journal article
Programming in PACLIB
SIGSAM Bull., 26(4), 1β6.
1992 conference paper
Simple Solution Formula Construction in Cylindrical Algebraic Decomposition Based Quantifier Elimination
In P. S. Wang (Ed.), Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, ISSAC '92, Berkeley, CA, USA, July 27-29, 1992 (pp. 177β188).
Ed(s): P. Wang
1991 journal article
Partial Cylindrical Algebraic Decomposition for quantifier elimination
Journal of Symbolic Computation, 12(3), 299β328.
1990 conference paper
An improvement of the projection operator in cylindrical algebraic decomposition
Proceedings of the international symposium on Symbolic and algebraic computation - ISSAC '90.