Pages that link to "Item:Q1094149"

The following pages link to On the application of Buchberger's algorithm to automated geometry theorem proving (Q1094149):

Displaying 3 items.

• Connecting the 3D DGS Calques3D with the CAS Maple (Q974253) (← links)
• What does ``without loss of generality'' mean, and how do we detect it (Q1701639) (← links)
• A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications (Q1701667) (← links)