Pages that link to "Item:Q3498456"
From MaRDI portal
The following pages link to Extending a Resolution Prover for Inequalities on Elementary Functions (Q3498456):
Displaying 10 items.
- Proving tight bounds on univariate expressions with elementary functions in Coq (Q331615) (← links)
- MetiTarski: An automatic theorem prover for real-valued special functions (Q972422) (← links)
- Modular proof systems for partial functions with Evans equality (Q2432764) (← links)
- Real Number Calculations and Theorem Proving (Q3543660) (← links)
- Applications of MetiTarski in the Verification of Control and Hybrid Systems (Q3624557) (← links)
- Inst-Gen – A Modular Approach to Instantiation-Based Automated Reasoning (Q4916080) (← links)
- A Lean Tactic for Normalising Ring Expressions with Exponents (Short Paper) (Q5048990) (← links)
- Real World Verification (Q5191121) (← links)
- MetiTarski: An Automatic Prover for the Elementary Functions (Q5505501) (← links)
- Combining Isabelle and QEPCAD-B in the Prover’s Palette (Q5505513) (← links)