Program extraction in exact real arithmetic.

Kenji Miyamoto Helmut Schwichtenberg

Published in: Math. Struct. Comput. Sci. (2015)

Keyphrases

information extraction
neural network
automatic extraction
computer programs
real time
real life
artificial intelligence
genetic algorithm
knowledge base
image segmentation
face recognition
web pages
user interface
test cases
exact solution
database
arithmetic operations
program execution