folklore problems

Stream: IMO-grand-challenge

[Miroslav Olšák]

4. Folklore problems
   I recieved a set of "folklore problems" from another friend of mine who is also involved in the IMO. They are well known puzzles easier than IMO but in a similar language. Some of them are perhaps too easy to calculate, some may be even challenging to formulate, some are of the type that I really doubt that the current automation tools could solve them. Perhaps other people here have other favourite basic mathematical puzzle problems. Should I share the list (I would have to translate it to English first)? Are we interested in formalizing olympiad-like mathematical puzzles not necessarily coming from IMO?

[Miroslav Olšák]

Miroslav Olšák There are many sources of problems that I think would provide valuable data for IMO, e.g. problems from national Olympiads. It is hard to say without knowing more whether your folklore list is worth the trouble of you translating it to English.

OK, I think I will translate them anyway, it seems useful in general.

[Miroslav Olšák]

Here are the folklore problems that I mentioned: http://www.olsak.net/mirek/folklore-problems.pdf , source: http://www.olsak.net/mirek/folklore-problems-src.tgz