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...
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.
S. Bird. Proceedings of the COLING/ACL on Interactive presentation sessions, Seite 69--72. Stroudsburg, PA, USA, Association for Computational Linguistics, (2006)
