МАТЕМАТИКА

Супериндукция: новый метод доказательства общих математических утверждений с помощью компьютера

А. А. Зенкин

Вычислительный центр РАН, г. Москва

УДК: 511.34+519.67

Статья представлена к публикации: А. Т. Фоменко
Поступило: 11.02.1997

Реферативные базы данных:

• 
•