Automatic Deduction in Dynamic Geometry using Sage

Francisco Botana Miguel A. Abánades

Published in: ThEdu (2011)

Keyphrases

three dimensional
semi automatic
object recognition
computer vision
real world
machine learning
decision making
knowledge base
case study
special case
medical images
data driven
dynamically changing