Pages that link to "Item:Q1348072"
From MaRDI portal
The following pages link to An extension of the Prelle-Singer method and a Maple implementation (Q1348072):
Displayed 3 items.
- A semi-algorithm to find elementary first order invariants of rational second order ordinary differential equations (Q870108) (← links)
- An extension of the Prelle-Singer method and a Maple implementation (Q1348072) (← links)
- Applications of MetiTarski in the Verification of Control and Hybrid Systems (Q3624557) (← links)