Pankov elected a Corresponding Member of the Kyrgyzstani National Academy of Sciences

Pavel S. Pankov, one of the pioneers of interval computations in the former Soviet Union and the author of numerous papers and books, has been elected, in 1997, a Corresponding Member of the Kyrgyzstani National Academy of Sciences.

His pioneer work includes his monograph Validated computations on computers (Dokazatiel'nye vychislieniya na elektronnyh vychislitel'nyh mashinah, in Russian), "Ilim", Frunze, 1978, MR 82a:65004, in which he developed foundations of using interval computations and similar methods for theorem proving.

[<--] Back to Honors Received by Interval Researchers

[<--] Back to the main menu of the Interval Computations website