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...