A grand programme in mathematics with some enthusiastic supporters is that of computerized proofs for mathematical theorem.
Another related (but different) programme is that of automatic verification of (humanly created) mathematical proofs.
↧
Channel:
New grand projects in contemporary math - MathOverflow
X
Are you the publisher?
Claim or
contact us
about this channel.
X
0
Channel Details:
- Title: New grand projects in contemporary math - MathOverflow
- Channel Number: 81065251
- Language: English
- Registered On: July 29, 2024, 8:20 pm
- Number of Articles: 31
- Latest Snapshot: July 29, 2024, 8:20 pm
- RSS URL: https://mathoverflow.net/feeds/question/117668
- Publisher: https://mathoverflow.net/q/117668
- Description:
- Catalog: //mathoverflow747.rssing.com/catalog.php?indx=81065251
© 2025 //www.rssing.com