Pages that link to "Item:Q5950931"
From MaRDI portal
The following pages link to Automatic derivation of the irrationality of \(e\) (Q5950931):
Displaying 7 items.
- MetiTarski: An automatic theorem prover for real-valued special functions (Q972422) (← links)
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\) (Q2351415) (← links)
- A fully automatic theorem prover with human-style output (Q2362206) (← links)
- Solution lifting method for handling meta-variables in TH\(\exists\)OREM\(\forall\) (Q2577589) (← links)
- Extending a Resolution Prover for Inequalities on Elementary Functions (Q3498456) (← links)
- Automatic discovery of irrationality proofs and irrationality measures (Q4991708) (← links)
- MetiTarski: An Automatic Prover for the Elementary Functions (Q5505501) (← links)