Skip to content
Channels - A Formal Proof of the Irrationality of $zeta(3)$ :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
A Formal Proof of the Irrationality of $zeta(3)$
Search for more channels:
Similar Items: A Formal Proof of the Irrationality of $zeta(3)$
Channel Options
View Record
Explore related channels
Quick Look
Zeta Functions and the (Linear) Logic of Markov Processes
Quick Look
Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination
Quick Look
Formal Languages, Formally and Coinductively
Quick Look
A Formal Proof of Stirling’s Formula
Quick Look
A Proof of Kamp's theorem
Quick Look
A Proof of Stavi's Theorem
Quick Look
A Forgotten Theory of Proofs ?
Quick Look
Abstract Completion, Formalized
Quick Look
Sometimes Two Irrational Guards are Needed
Quick Look
A formal proof of the Sands-Sauer-Woodrow theorem using the Rocq prover and mathcomp/ssreflect
Quick Look
A Few Notes on Formal Balls
Quick Look
A Theory of Formal Choreographic Languages
Quick Look
Formal Theories for Linear Algebra
Quick Look
Formalizing Randomized Matching Algorithms
Quick Look
$sigma$-locales in Formal Topology
Quick Look
Formalizing the Face Lattice of Polyhedra
Quick Look
The Formal Theory of Monads, Univalently
Quick Look
Aspect-oriented linearizability proofs
Quick Look
TRX: A Formally Verified Parser Interpreter
Quick Look
A Proof Theoretic Analysis of Intruder Theories
Quick Look
Coinductive Proof Principles for Stochastic Processes
Quick Look
On the strength of proof-irrelevant type theories
Quick Look
Width and size of regular resolution proofs
Quick Look
Proof equivalence in MLL is PSPACE-complete
Load more items
View Record
Prev
Explore related channels
Next