← All topics

mathematics

5 products tagged "mathematics", ranked by how many creators use or recommend them.

Related: books writing ai philosophy reasoning proofs education newsletter math theorem proving
Lean

Lean

 software
math theorem proving programming language
1
MathOverflow

MathOverflow

 software
mathematics q a research
1
LaTeX

LaTeX

 software
typesetting mathematics document preparation
1

Asimov on Numbers

 media
books mathematics science
1
GPT o1 (thinking)

GPT o1 (thinking)

 software
ai reasoning openai
1