MATHEMATICS

Superinduction: a new method for proving general mathematical statements by means of a computer

A. A. Zenkin

Computing Centre of the Russian Academy of Sciences, Moscow

UDC: 511.34+519.67

Presented: A. T. Fomenko
Received: 11.02.1997

Bibliographic databases:

• 
•