The following pages link to (Q3735803):
Displaying 4 items.
- Optimal algorithm for algebraic factoring (Q676848) (← links)
- Irreducible decomposition of algebraic varieties via characteristic sets and Gröbner bases (Q1195755) (← links)
- Elimination procedures for mechanical theorem proving in geometry (Q1924738) (← links)
- Algebraic factoring and geometry theorem proving (Q5210786) (← links)
