# Diofant’s documentation¶

Diofant is a Python library for symbolic mathematics. If you are new to Diofant, start with the Tutorial.

This is the central page for all of Diofant’s documentation.

Note

Documentation examples assume (unless otherwise clearly stated) that these statements were executed in the beginning of the interactive session:

>>> from diofant import *
>>> a, b, c, d, x, y, z, t = symbols('a b c d x y z t')
>>> k, m, n = symbols('k m n', integer=True)
>>> f, g, h = symbols('f g h', cls=Function)