Deciding linear-trigonometric problems
From MaRDI portal
Publication:3454738
DOI10.1145/345542.345567zbMath1326.68341MaRDI QIDQ3454738
Volker Weispfenning, Hirokazu Anai
Publication date: 26 November 2015
Published in: Proceedings of the 2000 international symposium on Symbolic and algebraic computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/345542.345567
68W30: Symbolic computation and algebraic computation
11Y16: Number-theoretic algorithms; complexity
11Y05: Factorization
Related Items
Deciding first-order formulas involving univariate mixed trigonometric-polynomials, Decision problem for a class of univariate Pfaffian functions