Formally Verified Argument Reduction with a Fused-Multiply-Add

Sylvie Boldo Marc Daumas Ren-Cang Li

Published in: CoRR (2007)

Keyphrases

data fusion
reduction method
data structure
data reduction
data sets
machine learning
genetic algorithm
social networks
evolutionary algorithm
floating point
attribute reduction
hypothetical reasoning
legal argument