2 ms·

Thanks for the response! I think you're right that it's something along these lines. I didn't find any further information about Euclidea, but for anyone intere

Thanks for the response! I think you're right that it's something along these lines. I didn't find any further information about Euclidea, but for anyone interested, I did find some information about open source engines that achieve similar purposes [1,2]. Need to do some more digging... [1] https://en.wikipedia.org/wiki/List_of_interactive_geometry_software https://en.wikipedia.org/wiki/List_of_interactive_geometry_s... [2] https://dev.geogebra.org/trac/wiki/TheoremProving https://dev.geogebra.org/trac/wiki/TheoremProving

lifthrasiir 8y ago
Thank you for the pointer to Geogebra, yeah, there ought to be someone already dealing this :-) It seems that there are some shortcuts for many functions (e.g. [1] only evaluates the function finite number of times). [1] http://ggb1.idm.jku.at/~kovzol/papers/Kovacs-Recio-Weitzhofer-20120323.pdf http://ggb1.idm.jku.at/~kovzol/papers/Kovacs-Recio-Weitzhofe...