Installation
Tutorial
Command-Line Usage
Reference
Config
Core
Combinatorics
Number Theory
Concrete Mathematics
Mathematical Functions
Integrals
Logic
Domains
Matrices
Polynomials
Printing
Interactive
Sets
Simplify
Solvers
Algebraic equations
Inequality Solvers
Diophantine
ODE
Recurrence Equations
PDE
Utilities for solving
Tensors
Utilities
Parsing
Calculus
Internals
Development
About
Release Notes
Bibliography
Diofant
Reference
Solvers
View page source
Solvers
This module implements methods for solving equations and inequalities.
Contents
Algebraic equations
Systems of Polynomial Equations
Inequality Solvers
Diophantine
Diophantine equations
Module structure
Tutorial
References
User Functions
Internal Functions
ODE
User Functions
Hint Functions
Lie heuristics
System of ODEs
Information on the ode module
Recurrence Equations
PDE
User Functions
Hint Methods
Information on the pde module
Utilities for solving
Contains