Syracuse is a project designed to create a richly-featured framework for symbolic mathematics. It was founded in late 2009 and is currently a single-developer project.
At the core of the project is the Euclid.NET library, which performs manipulation of expression trees; and the TeX.NET library, which reads and writes expressions in the TeX format. On top of these tools is built the Archimedes library, which is a organised collection of higher-level algorithms for analysing and solving a variety of mathematical problems. The culmination of the project will be to create a user interface that enables the Archimedes library to be used entirely via a powerful scripting language.
Product's homepage