Pages that link to "Item:Q2907335"
From MaRDI portal
The following pages link to Real Algebraic Strategies for MetiTarski Proofs (Q2907335):
Displaying 7 items.
- Formally-verified decision procedures for univariate polynomial computation based on Sturm's and Tarski's theorems (Q287269) (← links)
- A heuristic prover for real inequalities (Q287379) (← links)
- Proving Matijasevich's lemma with a default arithmetic strategy (Q809626) (← links)
- MetiTarski: An automatic theorem prover for real-valued special functions (Q972422) (← links)
- Combining logical and algebraic techniques for natural style proving in elementary analysis (Q1025313) (← links)
- Deciding univariate polynomial problems using untrusted certificates in Isabelle/HOL (Q1725844) (← links)
- MetiTarski: An Automatic Prover for the Elementary Functions (Q5505501) (← links)