Sage Mathematical Software System
Creating a viable free alternative to Magma, Maple, Mathematica and Matlab.
Mathematicians, scientists, researchers, and students need a powerful tool for their work or study. SageMath is a freely available opensource mathematical software system bundling the functionality of many software libraries, exposing their features in a common interface and extending on top of this with its own powerful algorithms. By leveraging the flexibility and universality of the underlying Python interpreter, SageMath is able to accommodate for a vast range of their requirements.
The mission of SageMath is to create a viable opensource alternative to all major proprietary mathematical software systems.
Python is the main programming language inside the SageMath library and also the language of choice for all interactions with the builtin objects and functions for expressing mathematical concepts and calculations. Besides a commandline and programminglibrary interface, its primary user interface is a dynamic selfhosted website. From the perspective of a user, the interface language is also Python, but with a thin extension built directly on top of it.
Almost all areas of mathematics are represented in SageMath, at various levels of sophistication. This includes symbolic calculus, 2D and 3D graphics, polynomials, graph theory, group theory, abstract algebra, combinatorics, cryptography, elliptic curves and modular forms, numerical mathematics, linear algebra and matrix calculations (over various rings), support for parallel computing, and a powerful coercion framework to “mix” elements from different sets for calculations. SageMath’s features also expand into neighboring fields like Statistics and Physics.
Sage Mathematical Software System 2018 Projects

Sai Harsh Tondomker
Addition of SPQRtree to graph moduleIn this project, our goal is to extend the graph theory library in Sage by implementing functionality to find triconnected subgraphs, which will... 
Meghana M Reddy
Addition of SPQRtrees to the graph module of Sage MathThe aim of the project is to code the linear time algorithm for partitioning a graph into 3connected components and constructing the corresponding... 
Dario Asprone
Checking graph isomorphism using the WeisfeilerLehman algorithmCurrently SageMath checks for graph isomorphism through an internal package with a corresponding method, called isomorphic and contained in... 
Filip Ion
Databases and bounds of codesThe following proposal detail some possible improvements of the coding theory component of SageMath. We aim to build databases of precomputed bounds... 
Raghukul Raman
Rational Point on VarietiesThis project aims at implementing basic algorithms for finding rational points on varieties. Classically algebraic variety is defined as the set of...