Pages that link to "Item:Q865930"
From MaRDI portal
The following pages link to A complete algorithm for automated discovering of a class of inequality-type theorems (Q865930):
Displayed 4 items.
- DISCOVERER (Q19736) (← links)
- An algorithm for isolating the real solutions of semi-algebraic systems (Q1864897) (← links)
- Solution to the generalized champagne problem on simultaneous stabilization of linear systems (Q2463841) (← links)
- A class of mechanically decidable problems beyond Tarski's model (Q2475316) (← links)