The impact of proof steps sequence on proof readability - experimental setting.

Karol Pak Aleksy Schubert

Published in: FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)

Keyphrases

theorem proving
real time
search algorithm
linear logic
proof planning
data sets
e learning
similarity measure
multiscale
preprocessing
expert systems
evolutionary algorithm
hidden markov models
theorem prover
interactive theorem proving