The goal is to use computational thinking to forge ideas that are at least as "explicative" as the Euclid-like constructions (and hopefully more so) but more accessible and more powerful. In the next section I illustrate the idea by using Turtle geometry to give the theorem about angles subtended by a chord greater perspicuity, a more intuitive proof and new connections to other ideas.
Wolfram|Alpha is more than a search engine. It gives you access to the world's facts and data and calculates answers across a range of topics, including science, nutrition, history, geography, engineering, mathematics, linguistics, sports, finance, music...
R. Aler, D. Borrajo, and P. Isasi. Proceedings of the 2001 Congress on Evolutionary
Computation CEC2001, page 1220--1227. COEX, World Trade Center, 159 Samseong-dong,
Gangnam-gu, Seoul, Korea, IEEE Press, (27-30 May 2001)
M. Anselmo, D. Giammarresi, and M. Madonia. Theoretical Computer Science, 410 (37):
3520 - 3529(2009)Implementation and Application of Automata (CIAA 2007).