Deciding first-order formulas involving univariate mixed trigonometric-polynomials (Q6060361)
From MaRDI portal
scientific article; zbMATH DE number 7760757
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Deciding first-order formulas involving univariate mixed trigonometric-polynomials |
scientific article; zbMATH DE number 7760757 |
Statements
Deciding first-order formulas involving univariate mixed trigonometric-polynomials (English)
0 references
3 November 2023
0 references
first-order formula decision
0 references
mixed trigonometric-polynomial
0 references
real root isolation
0 references
transcendental equations
0 references
0 references
