Computer-aided proofs of Arrow's and other impossibility theorems.
Pingzhong TangFangzhen LinPublished in: Artif. Intell. (2009)
Keyphrases
- computer aided
- cut elimination
- sequent calculus
- proof search
- computer aided diagnosis
- computer assisted
- image analysis
- computer aided design
- linear logic
- diagnosis of breast cancer
- theorem proving
- theorem prover
- neural network
- process planning
- natural deduction
- capsule endoscopy
- prostate cancer
- computed tomography
- pulmonary nodules
- cad systems
- pattern recognition
- face recognition