Математическое доказательство: вчера, сегодня, завтра

Authors

  • Yuri Matiyasevich

Keywords:

formal proof, interactive proof, zero knowledge

Abstract

This publication is a slightly edited verbatim report of author's co-talk presented at joint meeting of St.Petersburg Mathematical Society and Mathematical section of the House of Scientists on March 23, 2010; related materials, including video recording, can be found on [1].

Downloads

Published

2012-12-31

Issue

No. 6 (2012)

Section

Computer science

License

Public offer

How to Cite

[1]
“Математическое доказательство: вчера, сегодня, завтра”, Comput. Tools Educ., no. 6, Dec. 2012, Accessed: Oct. 23, 2026. Available: http://cte.eltech.ru/ojs/index.php/kio/article/view/1326

Most read articles by the same author(s)