A large e ort is usually required to have a theorem prover establish a complex theorem Having invested this e ort how can we store the result for later use or communicate it to others while preserving our trust in its validity This paper discusses the use of digital signatures to store and exchange theorems in a secure way

A large e ort is usually required to have a theorem prover establish a complex theorem. Having invested this e ort, how can we store the result for later use, or communicate it to others while preserving our trust in its validity? This paper discusses the use of digital signatures to store and exchange theorems in a secure way.

Recently, a new framework for reversible subband transforms based on the overlapping rounding transform (ORT) has been proposed as an alternative to the lifting framework. In this correspondence, we show that the ORT framework is, in fact, a special case of the lifting framework with only trivial extensions.