How to Get an Efficient yet Verified Arbitrary-Precision Integer Library.

Raphaël Rieu-Helft Claude Marché Guillaume Melquiond

Published in: VSTTE (2017)

Keyphrases

multiscale
precision and recall
genetic algorithm
high precision
high recall
information systems
artificial neural networks
general conditions