A Formal Library for Elliptic Curves in the Coq Proof Assistant

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-08970-6_6
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Structural Analysis of Narratives With the Coq Proof Assistant

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Verification of Concurrent Programs Using the Coq Proof Assistant: A Case Study

IPSJ Digital Courier
2005English

Encoding Featherweight Java With Assignment and Immutability Using the Coq Proof Assistant

2012English

Flocq: A Unified Library for Proving Floating-Point Algorithms in Coq

2011English

Foundational Extensible Corecursion: A Proof Assistant Perspective

ACM SIGPLAN Notices
Computer Science
2015English

Informal Proof, Formal Proof, Formalism

Review of Symbolic Logic
MathematicsPhilosophyLogic
2015English

Extractors for Binary Elliptic Curves

Designs, Codes, and Cryptography
CombinatoricsApplied MathematicsComputer Science ApplicationsTheoretical Computer ScienceDiscrete Mathematics
2008English

Tilting at Windmills With Coq: Formal Verification of a Compilation Algorithm for Parallel Moves

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2008English

The Analytic Order of III for Modular Elliptic Curves

Journal de Theorie des Nombres de Bordeaux
Number TheoryAlgebra
1993English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy