Pages that link to "Item:Q1333975"

The following pages link to A criterion for dependency of algebraic equations with applications to automated theorem proving (Q1333975):

Displaying 3 items.

• Extended Jury criterion (Q977265) (← links)
• Computing triangular systems and regular systems (Q1582304) (← links)
• Recent advances in automated theorem proving on inequalities (Q1966106) (← links)