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 13

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 15

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 13

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 11

Geometry open-source

Vedo

Geometry for maths and AI

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

Explore tool 12

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 13

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 14

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 10

Geometry open-source

Open3d

Geometry for maths and AI

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

Explore tool 11

Geometry open-source

Trimesh

Geometry for maths and AI

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

Explore tool 14

Geometry open-source

Cadquery

Geometry for maths and AI

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

Explore tool 11

Geometry open-source

Pyvista

Geometry for maths and AI

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

Explore tool 12