List questions from computer-assisted-proofs

Published on 12 Sep 2014 - 20:54

1.9k

Views

Numbers as sum of distinct squares

Published on 04 Nov 2014 - 23:42

4.5k

Views

What are some theorems that currently only have computer-assisted proofs?

Published on 29 Dec 2014 - 5:16

3k

Views

Automatic proof checker

Published on 19 Nov 2019 - 23:35

73

Views

On the decomposition of $1$ as the sum of Egyptian fractions with odd denominators

Published on 22 Mar 2020 - 18:57

332

Views

On the decomposition of $1$ as the sum of Egyptian fractions with odd denominators - Part II

Published on 24 Mar 2020 - 8:29

179

Views

Summing Odd Fractions to One, and Odd Perfect Numbers

Published on 25 Mar 2020 - 8:59

58

Views

Are theorems in a mathematical theory effectively checkable?

Published on 08 May 2020 - 12:46

107

Views

Homotopy Type Theory: How long is the computer-assisted proof that concatenation of paths is associative?

Published on 18 May 2020 - 9:00

77

Views

What is the best computational software(free/cheap)?

Published on 07 Jul 2020 - 7:26

70

Views

$2^x\equiv 2017\pmod{3^{11}}$ and $2^x\equiv 2016\pmod{11^3}$

Published on 31 Oct 2016 - 8:49

16

Views

Help with sample size for finding average distance betwee geographical points

Published on 21 Jun 2023 - 17:51

490

Views

Linear logic proof of $P⊸(Q⊸R)≡(P⊗Q)⊸R$?

Published on 29 Aug 2023 - 23:57

95

Views

Computational Complexity of Equational Logic

Published on 04 Feb 2024 - 11:39

156

Views

Are there explicit forms of these integrals

Published on 16 Jan 2015 - 11:39

List Question

Understand a Maple output

Numbers as sum of distinct squares

What are some theorems that currently only have computer-assisted proofs?

Automatic proof checker

On the decomposition of $1$ as the sum of Egyptian fractions with odd denominators

On the decomposition of $1$ as the sum of Egyptian fractions with odd denominators - Part II

Summing Odd Fractions to One, and Odd Perfect Numbers

Are theorems in a mathematical theory effectively checkable?

Homotopy Type Theory: How long is the computer-assisted proof that concatenation of paths is associative?

What is the best computational software(free/cheap)?

$2^x\equiv 2017\pmod{3^{11}}$ and $2^x\equiv 2016\pmod{11^3}$

Help with sample size for finding average distance betwee geographical points

Linear logic proof of $P⊸(Q⊸R)≡(P⊗Q)⊸R$?

Computational Complexity of Equational Logic

Are there explicit forms of these integrals

Trending Questions

Popular # Hahtags

Popular Questions