## 10 Citations

Analytical formula for the roots of the general complex cubic polynomial

- Mathematics
- 2015

We present a new method to calculate analytically the roots of the general complex polynomial of degree three. This method is based on the approach of clever change of variable involving an arbitrary…

Real solution formulas of cubic and quartic equations applied to generate dynamic diagrams with inequality constraints

- Computer ScienceSAC '12
- 2012

It is shown that for generating dynamic diagrams automatically the performance of this approach can be enhanced, in terms of stability of numeric computation and quality of generated diagrams, when the used solution formulas of cubic and quartic equations are replaced by newly introduced real solution formulas with inequality constraints.

A rapidly convergent method for solving third-order polynomials

- MathematicsAIP Advances
- 2022

We present a rapidly convergent method for solving cubic polynomial equations with real coefficients. The method is based on a power series expansion of a simplified form of Cardano’s formula using…

Cubic polynomial and cubic rational C1 sign, monotonicity and convexity preserving Hermite interpolation

- MathematicsJ. Comput. Appl. Math.
- 2019

An intensified analytic solution for finding the roots of a cubic equation of state in low temperature region

- Mathematics
- 2015

A note on formulas for the Rayleigh wave speed in elastic solids

- PhysicsUltrasonics
- 2017

The second discriminant of a univariate polynomial

- MathematicsScience China Mathematics
- 2019

We define the second discriminant $D_2$ of a univariate polynomial $f$ of degree greater than $2$ as the product of the linear forms $2\,r_k-r_i-r_j$ for all triples of roots $r_i, r_k, r_j$ of $f$…

A portable library to support the SBML Layout Extension

- Computer SciencebioRxiv
- 2016

The SBML layout extension enables SBML models to encode layout information which describes the graphical depiction of model elements. In this application note, we describe libSBNW, a portable library…

## References

SHOWING 1-10 OF 24 REFERENCES

Partial Cylindrical Algebraic Decomposition for Quantifier Elimination

- Computer ScienceJ. Symb. Comput.
- 1991

A complete discrimination system for polynomials

- Computer Science
- 1996

A generic algorithm is proposed to produce a complete discrimination system for a polynomial with any degrees, which has extensive applications in various fields, and its efficiency was demonstrated by computer implementations.

Explicit Criterion to Determine the Number of Positive Roots of a Polynomial 1)

- Mathematics
- 1997

In a recent article, a complete discrimination system was given for a poly- nomial with symbolic/literal coecients. Such a system is a set of explicit expressions in terms of the coecients, which is…

A complete discrimination system for polynomials with complex coefficients and its automatic generation

- Computer Science
- 1999

By establishing a complete discrimination system for polynomials and using the automatic generation of root classification, a method to determine the positive definiteness of a polynomial in one or two indeterminates is automatically presented.

Quantifier Elimination for Real Algebra — the Quadratic Case and Beyond

- Computer ScienceApplicable Algebra in Engineering, Communication and Computing
- 1997

A new, “elementary” quantifier elimination method for various special cases of the general quantifiers elimination problem for the first-order theory of real numbers, which yields a quantifier Elimination method for an arbitrary number of quantifiers in certain formulas involving only linear and quadratic occurrences of the quantified variables.

Simplification of Quantifier-Free Formulae over Ordered Fields

- Computer ScienceJ. Symb. Comput.
- 1997

An overview is given over various methods combining elements of field theory, order theory, and logic that do not require a Boolean normal form computation for simplifying intermediate and final results of automatic quantifier elimination by elimination sets.

GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically

- Computer ScienceAutomated Deduction in Geometry
- 2002

GEOTHER provides an environment for handling and proving theorems in geometry automatically, and several functions are implemented that allow one to translate the specification of a geometric theorem into an English or Chinese statement, into algebraic expressions, and into a logic formula automatically.

Quantifier elimination for real algebra—the cubic case

- MathematicsISSAC '94
- 1994

A special purpose quantifier elimination method that eliminates a quantifier in formulas that has similar upper complexity bounds and offers similar advantages (relatively large preprocessing part, explicit parametric solutions).