School of Mathematical Sciences
Technology Computer Code

Symbolic Computational Mathematics


Symbolic computation includes computer algebra, exact numeric computation, and rule-based theorem proving. It lies at the heart of modern mathematics research, with the goal to do exact or validated mathematics by computer.

Symbolic computations work with computer representations of algebraic expressions or other mathematical objects. Common algorithms are computations of Gröbner basis, lattice basis reduction, polynomial factorisation, and p-adic methods. Example applications include: the study of varieties and their birational geometry in Algebraic Geometry; the development of databases of modular forms and L-functions in Number Theory; and the systematic analysis of convex bodies in Combinatorics.




Click on names for contact information.

School of Mathematical Sciences

The University of Nottingham
University Park
Nottingham, NG7 2RD

For all enquiries please visit: