WhyMP, a formally verified arbitrary-precision integer library.

Guillaume Melquiond Raphaël Rieu-Helft

Published in: ISSAC (2020)

Keyphrases

high recall
precision and recall
average precision
high precision
database
neural network
data mining
image processing
face recognition
multiscale
mobile robot
user defined
minimum cost flow
integer arithmetic