Extracting efficient exact real number computation from proofs in constructive type theory.

Michal Konecný Sewon Park Holger Thies

Published in: CoRR (2022)

Keyphrases

small number
case study
database
data sets
genetic algorithm
artificial intelligence
multiscale
lightweight
theoretical framework
memory requirements
finite number