System for Automated Deduction (SAD): A Tool for Proof Verification.

Konstantin Verchinine Alexander V. Lyaletski Andrey Paskevich

Published in: CADE (2007)

Keyphrases

automated deduction
theorem proving
theorem prover
formal proof
inference rules
first order logic
natural deduction
databases
neural network
logic programming
user friendly
information systems
motion estimation
model checking
face verification
linear logic