существуют ли базы знаний по методам матем.доказательств?

[mp]

буду благодарен за ссылку,
если такое бывает

[mp]

тогда начнем с общих.

тривиальные типа модусов-поненсов, тождественных преобразований и подстановок опустим.

менее тривиальные - всякая индукция и введение (или обнаружение) удачного параметра (первое, наверное --- частный случай второго, как и простой перебор).

интересно, бывают ли ещё.

[Коровьев]

Есть популярные, в смысле, изложения и читабельности, книги
Д.Пойя.
1."Математика и правдоподобные рассуждения"
2."Математическое открытие.
Пути решения, методы, математическое творчество и многое, многое другое.
Возможно что-то в них и найдётся интересное и для Вас. Поищите книги в инете. Есть там они или нет, не знаю.

[maxal]

Свежая статья в The New Yorker: The Eureka Hunt.

[mp]

спасибо за ссылки, но я имел в виду компьютерные базы знаний типа MICYN, искусственного интеллекта.