Login / Signup
Formalizing IMO Problems and Solutions in Isabelle/HOL.
Filip Maric
Sana Stojanovic-Durdevic
Published in:
ThEdu@IJCAR (2020)
Keyphrases
</>
similar problems
theorem prover
problems involving
benchmark problems
artificial intelligence
practical solutions
greedy algorithms
partial solutions
approximate solutions
mathematical tools
real time
exact algorithms
optimization problems
evolutionary algorithm
optimal solution
decision trees
data sets