Computer-Aided Proof of Erdos Discrepancy Properties.

Boris Konev Alexei Lisitsa

Published in: CoRR (2014)

Keyphrases

computer aided
computer assisted
computer aided diagnosis
image analysis
computer aided design
design tools
diagnosis of breast cancer
early diagnosis
neural network
decision trees
pattern recognition
process planning
fault tree