- The continuous Skolem-Pisot problem Paul C. Bell Jean-Charles Delvenne Raphael M. Jungers Vincent D. Blondel Mon 02 October 2023
- Quantifier elimination for a class of exponential polynomial formulas Ming Xu Zhi-Bin Li Lu Yang Wed 06 May 2020
- Deciding Polynomial-Exponential Problems Melanie Achatz Scott McCallum Volker Weispfenning Wed 06 May 2020
- Deciding polynomial-transcendental problems Scott McCallum Volker Weispfenning Mon 03 September 2018
Library Size: 13G (4 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
