Author:
Anai Hirokazu,Weispfenning Volker
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Decidability bounds for Presburger arithmetic extended by sine;Annals of Pure and Applied Logic;2024-12
2. Reduction of Transcendental Decision Problems over the Reals;Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation;2024-07-16
3. Deciding first-order formulas involving univariate mixed trigonometric-polynomials;Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation;2023-07-24
4. Explicit Bounds for Linear Forms in the Exponentials of Algebraic Numbers;Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation;2022-07-04
5. Decision problem for a class of univariate Pfaffian functions;Applicable Algebra in Engineering, Communication and Computing;2022-03-20