Reducing hyperarithmetic sequences
Hans Carstens (1975)
Fundamenta Mathematicae
Similarity:
Hans Carstens (1975)
Fundamenta Mathematicae
Similarity:
Henri Faure, Christiane Lemieux (2012)
Acta Arithmetica
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...
Henri Faure, Christiane Lemieux (2016)
Acta Arithmetica
Similarity:
Sobol' sequences are a popular family of low-discrepancy sequences, in spite of requiring primitive polynomials instead of irreducible ones in later constructions by Niederreiter and Tezuka. We introduce a generalization of Sobol' sequences that removes this shortcoming and that we believe has the potential of becoming useful for practical applications. Indeed, these sequences preserve two important properties of the original construction proposed by Sobol': their generating matrices...
Harald Niederreiter (2009)
Acta Arithmetica
Similarity:
David Boyd (1979)
Acta Arithmetica
Similarity:
C. Zaremba (1963)
Applicationes Mathematicae
Similarity:
D. F. Dawson (1969)
Matematički Vesnik
Similarity:
Křížek, Michal, Šolcová, Alena, Somer, Lawrence
Similarity:
Jovan D. Kečkić (1973)
Publications de l'Institut Mathématique
Similarity:
Lenny Jones (2012)
Acta Arithmetica
Similarity: