Real-number Computability from the Perspective of Computer Assisted Proofs in Analysis.

Malgorzata Moczurad Piotr Zgliczynski

Published in: CoRR (2017)

Keyphrases

computer assisted
statistical analysis
real life
small number
computer aided
real time
data sets
neural network
data analysis
viewpoint
intraoperative
fixed number
computer assisted instruction
foreign language