Pages that link to "Item:Q469367"

The following pages link to Applications of real number theorem proving in PVS (Q469367):

Displaying 2 items.

• MetiTarski: An automatic theorem prover for real-valued special functions (Q972422) (← links)
• Formalization of Euler-Lagrange equation set based on variational calculus in HOL light (Q2031406) (← links)