Категория:Доказательства

А

• ► Автоматическое доказательство теорем‎ (13: 2 кат., 11 с.)

Д

• [×] Доказательства с нулевым разглашением‎ (8: 8 с.)

П

• [×] Практики, основанные на доказательствах‎ (19: 19 с.)

Т

• [×] Теория доказательств‎ (24: 24 с.)

Д

• Доказательства из Книги
• Доказательство иррациональности π

И

• Институт исследований символьных вычислений

М

• Математическое доказательство