Satisfiability of Systems of Equations of Real Analytic Functions Is Quasi-decidable

DOI10.1007/978-3-642-22993-0_30zbMath1343.03036MaRDI QIDQ3088050

Piotr Zgliczyński, Peter Franek, Stefan Ratschan

Publication date: 17 August 2011

Published in: Mathematical Foundations of Computer Science 2011 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-22993-0_30

Mathematics Subject Classification ID

14P15: Real-analytic and semi-analytic sets

03B25: Decidability of theories and sets of sentences

26E05: Real-analytic functions

03D78: Computation over the reals, computable analysis

Uses Software

• RSOLVER