Pages that link to "Item:Q3624557"

The following pages link to Applications of MetiTarski in the Verification of Control and Hybrid Systems (Q3624557):

Displaying 2 items.

• MetiTarski: An automatic theorem prover for real-valued special functions (Q972422) (← links)
• Generating invariants for non-linear hybrid systems (Q2355695) (← links)