List questions from computer-assisted-proofs

334

Views

Can Artificial Intelligence be used to find out reasonable conjectures or even to turn them into theorems by discovering a proof?

Published on 29 Nov 2017 - 11:07

96

Views

Explain how the idea of "partition" is used in the proof of lagrange's theorem?

Published on 10 Jan 2018 - 19:00

421

Views

Computer Assisted proofs apart from the 4 color theorem

Published on 10 Feb 2013 - 3:55

687

Views

Computational Type Theory For Topos Logic

Published on 25 Aug 2020 - 15:26

287

Views

Prove or disprove the following statement using the definition of big-Θ:

Published on 26 Aug 2020 - 0:07

122

Views

General Idea of HoTT from the use of HoTT Library

Published on 10 Oct 2020 - 9:47

2.6k

Views

Proof Solver Geometry

Published on 16 Jan 2021 - 16:46

114

Views

Are there integers $a,b,c,d,e,n$ such that $a^3-nb^3=c^3-nd^3=e^3$?

Published on 26 Mar 2021 - 2:07

788

Views

Mathematical logic book that uses a proof assistant?

Published on 24 Jun 2021 - 20:03

171

Views

Why isn't math proofs just a computer trial and error?

Published on 03 Aug 2021 - 13:08

242

Views

Lean and inaccessible cardinals

Published on 12 Apr 2022 - 18:40

142

Views

Help with Categories in Lean

Published on 31 Aug 2022 - 20:36

47

Views

Example for a mathematical theorem that has been verified via computer up to very large numbers yet turned out to be false

Published on 25 Oct 2022 - 10:39

List Question

Can Artificial Intelligence be used to find out reasonable conjectures or even to turn them into theorems by discovering a proof?

Explain how the idea of "partition" is used in the proof of lagrange's theorem?

Computer Assisted proofs apart from the 4 color theorem

Computational Type Theory For Topos Logic

Prove or disprove the following statement using the definition of big-Θ:

General Idea of HoTT from the use of HoTT Library

Proof Solver Geometry

Are there integers $a,b,c,d,e,n$ such that $a^3-nb^3=c^3-nd^3=e^3$?

Mathematical logic book that uses a proof assistant?

Why isn't math proofs just a computer trial and error?

Lean and inaccessible cardinals

Help with Categories in Lean

Example for a mathematical theorem that has been verified via computer up to very large numbers yet turned out to be false

Trending Questions

Popular # Hahtags

Popular Questions