Nuno Baeta

  • Citations Per Year
Learn More
Geometry with its formal, logical and spatial properties is well suited to be taught in an environment that includes dynamic geometry software (DGSs), geometry automated theorem provers (GATPs) and repositories of geometric problems (RGPs). With the integration of those tools in a given learning environment the student is able to explore the built-in(More)
  • 1