Pages that link to "Item:Q1115642"

The following pages link to Wu's method and its application to perspective viewing (Q1115642):

Displaying 15 items.

• Automatic deduction in (dynamic) geometry: Loci computation (Q390369) (← links)
• A bridge between dynamic geometry and computer algebra (Q597561) (← links)
• On protocols for the automated discovery of theorems in elementary geometry (Q846167) (← links)
• Geometric reasoning with logic and algebra (Q918227) (← links)
• Connecting the 3D DGS Calques3D with the CAS Maple (Q974253) (← links)
• An algebraic approach to rule based expert systems (Q981968) (← links)
• A multi-level geometric reasoning system for vision (Q1116357) (← links)
• Application of Gröbner bases to problems of movement of a particle (Q1324423) (← links)
• Resultant elimination via implicit equation interpolation (Q1691953) (← links)
• Geometric theorem proving by integrated logical and algebraic reasoning (Q1855223) (← links)
• A software tool for the investigation of plane loci (Q1861521) (← links)
• A Groebner bases-based approach to backward reasoning in rule based expert systems (Q2379678) (← links)
• Development of automatic reasoning tools in GeoGebra (Q5270196) (← links)
• Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems (Q5453488) (← links)
• A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry (Q5453491) (← links)