๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A theorem on the distribution of quadratic residues having applications in the ergodic method of Yu. V. Linnik

โœ Scribed by N. V. Proskurin


Publisher
Springer US
Year
1979
Tongue
English
Weight
412 KB
Volume
11
Category
Article
ISSN
1573-8795

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


On the Reconstruction of Proofs in Distr
โœ MARIA PAOLA BONACINA ๐Ÿ“‚ Article ๐Ÿ“… 1996 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 541 KB

Proof reconstruction is the operation of extracting the computed proof from the trace of a theorem-proving run. We study the problem of proof reconstruction in distributed theorem proving: because of the distributed nature of the derivation and especially because of deletions of clauses by contracti