Slimmer Formal Proofs for Mathematical Libraries.

Paul Geneau de Lamarlière Guillaume Melquiond Florian Faissole

Published in: ARITH (2023)

Keyphrases

formal proofs
mathematical expressions
digital libraries
multi agent
multimedia
website
mathematical knowledge
mathematical models
feature extraction
database systems
real time
learning algorithm
genetic algorithm
information retrieval
real world
neural network
data sets