@wikipedia
A mathematical equation of the form:
where P is a polynomial with coefficients in some field, often the field of the rational numbers.
Formal science / Mathematics / Calculus