research
∙
01/03/2022
Automated Generation of Illustrations for Synthetic Geometry Proofs
We report on a new, simple, modular, and flexible approach for automated...
share
research
∙
12/28/2021
Proceedings of the 13th International Conference on Automated Deduction in Geometry
Automated Deduction in Geometry (ADG) is a forum to exchange ideas and v...
research
∙
01/23/2018
Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture
There are several approaches for using computers in deriving mathematica...
research
∙
07/18/2012
Towards Understanding Triangle Construction Problems
Straightedge and compass construction problems are one of the oldest and...
research
∙
07/01/2011
Simple Algorithm Portfolio for SAT
The importance of algorithm portfolio techniques for SAT has long been n...
research
∙
12/06/2010