Pages that link to "Item:Q5505501"
From MaRDI portal
The following pages link to MetiTarski: An Automatic Prover for the Elementary Functions (Q5505501):
Displaying 9 items.
- MetiTarski (Q13328) (← links)
- A heuristic prover for real inequalities (Q287379) (← links)
- Applications of real number theorem proving in PVS (Q469367) (← 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)
- MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics (Q1118426) (← links)
- Metamath Zero: designing a theorem prover prover (Q2219381) (← links)
- (Q3484381) (← links)
- Applications of MetiTarski in the Verification of Control and Hybrid Systems (Q3624557) (← links)