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