index.md

Math tool references

Documentation home · Tool surface

Domain-owned tool reference documents, grouped by owning domain. Adding an operation or provider does not require editing this list; each domain owns its own subdirectory.

• Graphs
• Matrix
• Polynomial
• Lean
• SAT and SMT
• Finite math
• Number theory
• Linear algebra
• Topology
• Geometry
• Datasets