Компьютер в доказательных и эвристических рассуждениях в задачах о внешних бильярдах.доклад на конференции