Pages that link to "Item:Q5950931"
From MaRDI portal
The following pages link to Automatic derivation of the irrationality of \(e\) (Q5950931):
Displayed 4 items.
- MetiTarski: An automatic theorem prover for real-valued special functions (Q972422) (← 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)
- MetiTarski: An Automatic Prover for the Elementary Functions (Q5505501) (← links)