Open, portable, high-performance software for exploring research mathematics, discovering patterns, testing conjectures, developing algorithms, and producing reproducible computational evidence for formal proof. - View it on GitHub