Solving Geometrical Constraint Systems Using CLP Based on Linear Constraint SolverReportar como inadecuado




Solving Geometrical Constraint Systems Using CLP Based on Linear Constraint Solver - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 LSR-IMAG - Laboratoire Logiciels Systèmes Réseaux

Abstract : Solving Geometrical Constraint Systems Using CLP Based on Linear Constraint Solver introduces and proposes a solution for two problems: a method to solve mixed constraints, a representation for constructible numbers. A survey over 512 theorems of euclidean geometry shows that this solution is appropriate. Application to Tutoring System in geometry is considered.





Autor: Denis Bouhineau -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados