Search for Author All Reviews
	Recio, Tomas     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 1 of 1 reviews       Automated theorem proving in GeoGebra: current achievements Botana F., Hohenwarter M., Janicic P., Kovács Z., Petrović I., Recio T., Weitzhofer S. Journal of Automated Reasoning 55(1): 39-59, 2015.  Type: Article Mathematics has been for a long time, and is still today, a difficult subject for many students. Teachers continuously look for ways to help students understand mathematical theorems, rules, and the relation between algebra and geometr...... Oct 6 2015
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy