Automated generation of planar geometry olympiad problems

Automated generation of planar geometry olympiad problems

Author

Patrik Bak

Supervisor

Prof. RNDr. Stanislav KrajĨi, PhD.

About the project

Year

2020

Share