Reducing hyperarithmetic sequences
Hans Carstens (1975)
Fundamenta Mathematicae
Similarity:
Hans Carstens (1975)
Fundamenta Mathematicae
Similarity:
Hiroyuki Okazaki (2015)
Formalized Mathematics
Similarity:
In this article we formalize negligible functions that play an essential role in cryptology [10], [2]. Generally, a cryptosystem is secure if the probability of succeeding any attacks against the cryptosystem is negligible. First, we formalize the algebra of polynomially bounded sequences [20]. Next, we formalize negligible functions and prove the set of negligible functions is a subset of the algebra of polynomially bounded sequences. Moreover, we then introduce equivalence relation...
D. F. Dawson (1969)
Matematički Vesnik
Similarity:
Jovan D. Kečkić (1973)
Publications de l'Institut Mathématique
Similarity:
Lenny Jones (2012)
Acta Arithmetica
Similarity:
Henri Faure, Christiane Lemieux (2012)
Acta Arithmetica
Similarity:
Křížek, Michal, Šolcová, Alena, Somer, Lawrence
Similarity:
Mercer, A.McD. (1978)
International Journal of Mathematics and Mathematical Sciences
Similarity:
Harald Niederreiter (2009)
Acta Arithmetica
Similarity:
David Boyd (1979)
Acta Arithmetica
Similarity:
Henri Faure, Christiane Lemieux (2013)
Acta Arithmetica
Similarity:
This short note is intended to correct an inaccuracy in the proof of Theorem 3 in the paper mentioned in the title. The result of Theorem 3 remains true without any other change in the proof. Furthermore, a misprint is pointed out.