SMT and Functional Equation Solving over the Reals: Challenges from the IMO.

Chad E. Brown, Karel Chvalovsk, Mikols Janota, Mirek Olsk, Stefan Ratschan

Browse the full CADE paper archive.