Login / Signup
Formalization of Polynomially Bounded and Negligible Functions Using the Computer-Aided Proof-Checking System Mizar.
Hiroyuki Okazaki
Yuichi Futa
Published in:
FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Keyphrases
</>
computer aided
polynomially bounded
computer assisted
computer aided diagnosis
computer aided design
diagnosis of breast cancer
image analysis
knowledge representation
knowledge base
design tools
prostate cancer
feature selection
process planning
cad systems
capsule endoscopy
data mining
neural network