Pages that link to "Item:Q1343392"

The following pages link to Automated reasoning about cubic curves (Q1343392):

Displaying 2 items.

• A Geometric Procedure with Prover9 (Q4913864) (← links)
• On the configurations of nine points on a cubic curve (Q4990107) (← links)