Deciding linear-trigonometric problems

From MaRDI portal

Revision as of 20:26, 4 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3454738

Jump to:navigation, search

DOI10.1145/345542.345567zbMath1326.68341OpenAlexW2011843773MaRDI 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

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Number-theoretic algorithms; complexity (11Y16) Factorization (11Y05)

Related Items (2)

Deciding first-order formulas involving univariate mixed trigonometric-polynomials ⋮ Decision problem for a class of univariate Pfaffian functions

This page was built for publication: Deciding linear-trigonometric problems

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3454738&oldid=16779083"