Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Evmorfia-Iro Bartzia
A Formal Library for Elliptic Curves in the Coq Proof Assistant
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Structural Analysis of Narratives With the Coq Proof Assistant
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Concurrent Programs Using the Coq Proof Assistant: A Case Study
IPSJ Digital Courier
Encoding Featherweight Java With Assignment and Immutability Using the Coq Proof Assistant
Flocq: A Unified Library for Proving Floating-Point Algorithms in Coq
Foundational Extensible Corecursion: A Proof Assistant Perspective
ACM SIGPLAN Notices
Computer Science
Informal Proof, Formal Proof, Formalism
Review of Symbolic Logic
Mathematics
Philosophy
Logic
Extractors for Binary Elliptic Curves
Designs, Codes, and Cryptography
Combinatorics
Applied Mathematics
Computer Science Applications
Theoretical Computer Science
Discrete Mathematics
Tilting at Windmills With Coq: Formal Verification of a Compilation Algorithm for Parallel Moves
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
The Analytic Order of III for Modular Elliptic Curves
Journal de Theorie des Nombres de Bordeaux
Number Theory
Algebra
