AI Tools for Mathematics

Formal Proof open-source

Coq

Formal Proof for maths and AI

Coq is an open-source formal proof tool for mathematics, data, and AI workflows.

Explore tool 19

Formal Proof open-source

Isabelle

Formal Proof for maths and AI

Isabelle is an open-source formal proof tool for mathematics, data, and AI workflows.

Explore tool 20

Formal Proof open-source

Z3 Solver

Formal Proof for maths and AI

Z3 Solver is an open-source formal proof tool for mathematics, data, and AI workflows.

Explore tool 18

Formal Proof open-source

PySMT

Formal Proof for maths and AI

PySMT is an open-source formal proof tool for mathematics, data, and AI workflows.

Explore tool 16

Geometry open-source

Vedo

Geometry for maths and AI

Vedo is an open-source geometry tool for mathematics, data, and AI workflows.

Explore tool 17

Formal Proof open-source

Lean4

Formal Proof for maths and AI

Lean4 is an open-source formal proof tool for mathematics, data, and AI workflows.

Explore tool 21

Formal Proof open-source

Mathlib

Formal Proof for maths and AI

Mathlib is an open-source formal proof tool for mathematics, data, and AI workflows.

Explore tool 20

Geometry open-source

Scikit Image

Geometry for maths and AI

Scikit Image is an open-source geometry tool for mathematics, data, and AI workflows.

Explore tool 15

Geometry open-source

Open3d

Geometry for maths and AI

Open3d is an open-source geometry tool for mathematics, data, and AI workflows.

Explore tool 16

Geometry open-source

Trimesh

Geometry for maths and AI

Trimesh is an open-source geometry tool for mathematics, data, and AI workflows.

Explore tool 19

Geometry open-source

Cadquery

Geometry for maths and AI

Cadquery is an open-source geometry tool for mathematics, data, and AI workflows.

Explore tool 16

Geometry open-source

Pyvista

Geometry for maths and AI

Pyvista is an open-source geometry tool for mathematics, data, and AI workflows.

Explore tool 17