Pages that link to "Item:Q5565112"
From MaRDI portal
The following pages link to Some undecidable problems involving elementary functions of a real variable (Q5565112):
Displaying 7 items.
- Smoothing the Gap Between NP and ER (Q5071086) (← links)
- Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems (Q5206959) (← links)
- Effective Set Membership in Computer Algebra and Beyond (Q5505506) (← links)
- Undecidable problems in quantum field theory (Q6049665) (← links)
- Unsolvability of some problems about piecewise-polynomial functions (Q6052270) (← links)
- The ksmt calculus is a \(\delta \)-complete decision procedure for non-linear constraints (Q6076350) (← links)
- Semantics, specification logic, and Hoare logic of exact real computation (Q6563064) (← links)
