Představujeme Yuclid a Newclid 3.0; systémy, které jsou zodpovědné za náš úspěch v Problému 2 a přispívají k našemu výkonu na úrovni zlaté medaile v IMO. Jsme nadšeni z toho, jak je výzkumníci a matematici využijí ve své vlastní práci, když budeme pokračovat v našem úsilí o MSI /1
2,76K