Computer-aided proof of Erdős discrepancy properties.

Boris Konev Alexei Lisitsa

Published in: Artif. Intell. (2015)

Keyphrases

computer aided
computer aided diagnosis
computer assisted
image analysis
computer aided design
diagnosis of breast cancer
prostate cancer
process planning
pulmonary nodules
design tools
early diagnosis
capsule endoscopy
feature selection
image processing
image registration
theorem prover