Towards Ranking Geometric Automated Theorem Provers.

Nuno Baeta Pedro Quaresma

Published in: ThEdu@FLoC (2018)

Keyphrases

automated theorem provers
computer algebra
ranking functions
ranking algorithm
web search
link analysis
neural network
multiscale
geometric constraints
rank aggregation
pairwise
level set
image sequences
real time
keyword search
theorem prover
spam detection
rank order
image segmentation