Is this your profile?

Claim your Citation Index profile in order to display more information about you and gain access to Libraries services. Just create or connect your ORCID iD.

Create or connect your ORCID iD

2020 article

Global Identifiability of Differential Models

*COMMUNICATIONS ON PURE AND APPLIED MATHEMATICS*.

Source: Web Of Science

Added: July 6, 2020

2019 journal article

SIAN: a tool for assessing structural identifiability of parametric ODEs

*ACM COMMUNICATIONS IN COMPUTER ALGEBRA*, *53*(2), 37–40.

Source: Web Of Science

Added: December 2, 2019

2019 journal article

SIAN: software for structural identifiability analysis of ODE models

*BIOINFORMATICS*, *35*(16), 2873–2874.

Source: Web Of Science

Added: October 28, 2019

2018 journal article

Improving root separation bounds

*Journal of Symbolic Computation*, *84*, 25–56.

Source: NC State University Libraries

Added: August 6, 2018

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.

Source: NC State University Libraries

Added: August 6, 2018

2018 journal article

Number of common roots and resultant of two tropical univariate polynomials

*JOURNAL OF ALGEBRA*, *511*, 420–439.

Source: NC State University Libraries

Added: October 19, 2018

2017 journal article

Algorithm for computing mu-bases of univariate polynomials

*Journal of Symbolic Computation*, *80*, 844–874.

Source: NC State University Libraries

Added: August 6, 2018

2017 journal article

Open weak CAD and its applications

*Journal of Symbolic Computation*, *80*, 785–816.

Source: NC State University Libraries

Added: August 6, 2018

2017 journal article

Resultants over commutative idempotent semirings I: Algebraic aspect

*Journal of Symbolic Computation*, *79*, 285–308.

Source: NC State University Libraries

Added: August 6, 2018

2016 journal article

Quality of positive root bounds

*Journal of Symbolic Computation*, *74*, 592–602.

Source: NC State University Libraries

Added: August 6, 2018

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.

Source: NC State University Libraries

Added: August 6, 2018

2015 journal article

An algebraic method for constructing stable and consistent autoregressive filters

*Journal of Computational Physics*, *283*, 241–257.

Source: NC State University Libraries

Added: August 6, 2018

2015 journal article

Explicit formula for optimal ate pairing over cyclotomic family of elliptic curves

*Finite Fields and Their Applications*, *34*, 45–74.

Source: NC State University Libraries

Added: August 6, 2018

2015 journal article

On using Lazard's projection in CAD construction

*Journal of Symbolic Computation*, *72*, 65–81.

Source: NC State University Libraries

Added: August 6, 2018

2015 journal article

Special algorithm for stability analysis of multistable biological regulatory systems

*Journal of Symbolic Computation*, *70*, 112–135.

Source: NC State University Libraries

Added: August 6, 2018

2014 chapter

ImUp: A Maple Package for Uniformity-Improved Reparameterization of Plane Curves

In *Computer Mathematics* (pp. 437–451).

Source: Crossref

Added: February 24, 2020

2014 book

Mathematical software - ICMS 2014: 4th International Congress, Seoul, South Korea, August 5-9, 2014 : Proceedings

Heidelberg: Springer.

Source: NC State University Libraries

Added: August 6, 2018

2014 chapter

Pairing Inversion via Non-degenerate Auxiliary Pairings

In *Pairing-Based Cryptography – Pairing 2013* (pp. 77–96).

Source: Crossref

Added: February 24, 2020

2013 journal article

A framework for improving uniformity of parameterizations of curves

*Science China-Information Sciences*, *56*(10).

Source: NC State University Libraries

Added: August 6, 2018

2013 chapter

Improving Angular Speed Uniformity by C 1 Piecewise Reparameterization

In *Automated Deduction in Geometry* (pp. 33–47).

Source: Crossref

Added: February 24, 2020

2013 journal article

Improving angular speed uniformity by reparameterization

*Computer Aided Geometric Design*, *30*(7), 636–652.

Source: NC State University Libraries

Added: August 6, 2018

2013 journal article

Object-image correspondence for algebraic curves under projections

*Symmetry, Integrability and Geometry, Methods and Applications*, *9*.

Source: NC State University Libraries

Added: August 6, 2018

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.

Source: NC State University Libraries

Added: August 6, 2018

2012 chapter

Improving Angular Speed Uniformity by Optimal C 0 Piecewise Reparameterization

In *Computer Algebra in Scientific Computing* (pp. 349–360).

Source: Crossref

Added: February 24, 2020

2012 journal article

Maximum gap in (inverse) cyclotomic polynomial

*Journal of Number Theory*, *132*(10), 2297–2315.

Source: NC State University Libraries

Added: August 6, 2018

2012 conference paper

Variant quantifier elimination

*Journal of Symbolic Computation*, *47*(7), 883–901.

Source: NC State University Libraries

Added: August 6, 2018

2011 journal article

Solution formulas for cubic equations without or with constraints

*Journal of Symbolic Computation*, *46*(8), 904–918.

Source: NC State University Libraries

Added: August 6, 2018

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.

Source: NC State University Libraries

Added: August 6, 2018

2009 journal article

Real-time calculation of switching angles minimizing THDfor multilevel inverters with step modulation

*IEEE Transactions on Industrial Electronics*, *56*(2), 285–293.

Source: NC State University Libraries

Added: August 6, 2018

2009 conference paper

Sylvester's double sums: The general case

*Journal of Symbolic Computation*, *44*(9), 1164–1175.

Source: NC State University Libraries

Added: August 6, 2018

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.

Source: NC State University Libraries

Added: August 6, 2018

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.

Source: Crossref

Added: August 28, 2020

2007 journal article

An elementary proof of Sylvester's double sums for subresultants

*Journal of Symbolic Computation*, *42*(3), 290–297.

Source: NC State University Libraries

Added: August 6, 2018

2007 journal article

Are Buchberger’s criteria necessary for the chain condition?

*Journal of Symbolic Computation*, *42*(7), 717–732.

Source: Crossref

Added: August 28, 2020

2006 article

Bruno Buchberger - A life devoted to symbolic computation

*Journal of Symbolic Computation*, Vol. 41, pp. 255–258.

Source: NC State University Libraries

Added: August 6, 2018

2006 chapter

Solving Dynamic Geometric Constraints Involving Inequalities

In *Artificial Intelligence and Symbolic Computation* (pp. 181–195).

Source: Crossref

Added: February 24, 2020

2004 journal article

Note on Jacobi's method for approximating dominant roots

*Journal of Symbolic Computation*, *37*(4), 449–453.

Source: NC State University Libraries

Added: August 6, 2018

2002 journal article

Sparse resultant of composed polynomials I* mixed-unmixed case

*Journal of Symbolic Computation*, *33*(4), 447–465.

Source: NC State University Libraries

Added: August 6, 2018

2001 journal article

Ore subresultant coefficients in solutions

*Applicable Algebra in Engineering, Communication and Computing*, *12*(5), 421–428.

Source: NC State University Libraries

Added: August 6, 2018