Machine-Assisted Proofs (ICM 2018 Panel)

09/21/2018
by   James Davenport, et al.
0

This submission to arXiv is the report of a panel session at the 2018 International Congress of Mathematicians (Rio de Janeiro, August). It is intended that, while v1 is that report, this stays a living document containing the panelists', and others', reflections on the topic.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

07/08/2011

Proceedings of the Doctoral Consortium and Poster Session of the 5th International Symposium on Rules (RuleML 2011@IJCAI)

This volume contains the papers presented at the first edition of the Do...
12/18/2020

Additive Link Metrics Identification: Proof of Selected Lemmas and Propositions

This is a technical report, containing all the lemma and proposition pro...
12/17/2020

Link Identifiability with Two Monitors: Proof of Selected Theorems

This is a technical report, containing all the theorem proofs in paper "...
03/15/2021

ICFP 2020 Post-Conference Report

This document describes the ICFP 2020 virtual conference, including the ...
06/27/2019

The State and Future of Genetic Improvement

We report the discussion session at the sixth international Genetic Impr...
05/15/2018

The remote_build Tool

This is an introduction to the remote_build tool for transparent remote ...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.