Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs.

Sana Stojanovic

Published in: Automated Deduction in Geometry (2012)

Keyphrases

preprocessing
website
lightweight
computationally efficient
post processing
databases
artificial intelligence
image segmentation
image sequences
artificial neural networks
cost effective
computationally expensive