On construction of a library of formally verified low-level arithmetic functions.

Reynald Affeldt

Published in: Innov. Syst. Softw. Eng. (2013)

Keyphrases

low level
high level
higher level
neural network
arithmetic operations
data mining
databases
information retrieval
information systems
machine learning
floating point
mid level
social networks
decision trees
real world
low level features
lower level