A modular, efficient formalisation of real algebraic numbers.

Wenda Li Lawrence C. Paulson

Published in: CPP (2016)

Keyphrases

real world
genetic algorithm
image processing
computational complexity
real time
databases
higher order
lightweight
cost effective