WhyMP, a formally verified arbitrary-precision integer library.

Guillaume Melquiond Raphaël Rieu-Helft

Published in: J. Symb. Comput. (2023)

Keyphrases

high precision
high recall
precision and recall
learning algorithm
data structure
case study
recall rate
objective function
bayesian networks
three dimensional
real time
web services
computer vision
real world
neural network
databases
data sets