Machine-Checked Computational Mathematics (Invited Talk).

Published in: CALCO (2023)

Keyphrases

invited talk
selected papers
knowledge discovery and data mining
computer science
computational power
database
recent advances
mathematical programming
carefully reviewed and selected from submissions