Computer-Aided Verification of P/NP Proofs: A Survey and Discussion.

Stefan Rass Max-Julian Jakobitsch Stefan Haan Moritz Hiebler

Published in: IEEE Access (2024)

Keyphrases

computer aided
formal proof
computer assisted
computer aided diagnosis
image analysis
model checking
diagnosis of breast cancer
computer aided design
theorem prover
cad systems
process planning
capsule endoscopy
theorem proving
prostate cancer
fault tree