Syracuse is a set of libraries and programs for working with symbolic mathematics.

The Syracuse Project is an effort 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.