Algebra of polynomially bounded sequences and negligible functions

DOI10.1515/FORMA-2015-0029zbMath1334.94090OpenAlexW2331769995MaRDI QIDQ271906

Hiroyuki Okazaki

Publication date: 20 April 2016

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/forma-2015-0029

zbMATH Keywords

negligible functionspolynomially bounded function

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Cryptography (94A60) Mechanization of proofs and logical operations (03B35)

Cites Work

• Unnamed Item
• Polynomially bounded sequences and polynomial sequences
• A note on negligible functions
• Semantics of MML Query - Ordering
• Foundations of Cryptography
• ON PROJECTIONS IN PROJECTIVE SPACES

This page was built for publication: Algebra of polynomially bounded sequences and negligible functions