Separability of the characteristic polynomial
W. Głocki (1987)
Applicationes Mathematicae
Similarity:
W. Głocki (1987)
Applicationes Mathematicae
Similarity:
Hiroyuki Okazaki, Yuichi Futa (2015)
Formalized Mathematics
Similarity:
In this article, we formalize polynomially bounded sequences that plays an important role in computational complexity theory. Class P is a fundamental computational complexity class that contains all polynomial-time decision problems [11], [12]. It takes polynomially bounded amount of computation time to solve polynomial-time decision problems by the deterministic Turing machine. Moreover we formalize polynomial sequences [5].
Umberto Zannier (2007)
Acta Arithmetica
Similarity:
J. Siciak (1971)
Annales Polonici Mathematici
Similarity:
R. Ger (1971)
Annales Polonici Mathematici
Similarity:
Jason Lucier (2006)
Acta Arithmetica
Similarity:
Norbert Hegyvári, François Hennecart (2009)
Acta Arithmetica
Similarity:
Luís R. A. Finotti (2009)
Acta Arithmetica
Similarity:
Shih Ping Tung (2006)
Acta Arithmetica
Similarity:
H. Kaufman, Mira Bhargava (1965)
Collectanea Mathematica
Similarity:
Mira Bhargava (1964)
Collectanea Mathematica
Similarity:
A. Schinzel (2008)
Acta Arithmetica
Similarity:
James P. Jones (1988)
Banach Center Publications
Similarity:
Heintz, J., Matera, G., Pardo, L.M., Wachenchauzer, R. (1998)
Electronic Journal of SADIO [electronic only]
Similarity:
R. V. Parker (1973)
Matematički Vesnik
Similarity: