Sökning: "theorem"
Visar resultat 16 - 20 av 341 avhandlingar innehållade ordet theorem.
16. Automated Theorem Proving in a First-Order Logic with First class Boolean Sort
Sammanfattning : Automated theorem proving is one of the central areas of computer mathematics. It studies methods and techniques for establishing validity of mathematical problems using a computer. The problems are expressed in a variety of formal logics, including first-order logic. LÄS MER
17. Some Analytic generalizations of the Briancon-Skoda Theorem
Sammanfattning : The Brian\c con-Skoda theorem appears in many variations in recent literature. The common denominator is that the theorem gives a sufficient condition that implies a membership $\phi\in \ideala^l$, where $\ideala$ is an ideal of some ring $R$. LÄS MER
18. Pure Type Systems with an Internalized Parametricity Theorem
Sammanfattning : Parametricity results have recently been proved for dependently-typed calculi such as the Calculus of Constructions. However these results are meta theorems, and although they can be stated as internal propositions, they cannot be proved internally. LÄS MER
19. Breaking the Unbreakable : Exploiting Loopholes in Bell’s Theorem to Hack Quantum Cryptography
Sammanfattning : In this thesis we study device-independent quantum key distribution based on energy-time entanglement. This is a method for cryptography that promises not only perfect secrecy, but also to be a practical method for quantum key distribution thanks to the reduced complexity when compared to other quantum key distribution protocols. LÄS MER
20. Few is Just Enough! : Small Model Theorem for Parameterized Verification and Shape Analysis
Sammanfattning : This doctoral thesis considers the automatic verification of parameterized systems, i.e. systems with an arbitrary number of communicating components, such as mutual exclusion protocols, cache coherence protocols or heap manipulating programs. The components may be organized in various topologies such as words, multisets, rings, or trees. LÄS MER