Cycle is a symbolic mathematics library based on expression trees that focuses on correct, flexible and comprehensive manipulation of mathematical objects. Cycle can be used to study elementary and advanced mathematics, mostly in applied domains. It is in particular well suited for education and research in many areas, including for example physics, astronomy, biology and artificial intelligence.
An extensive tutorial is currently under construction, but you can still read the online documentation for the latest version or browse the sources.