Cyclic Proofs for iGL via Corecursion
arxiv.org·2d
🧮Haskell
Flag this post
essential spectrum
ncatlab.org·2d
🧮Haskell
Flag this post
NOV. 13th COLLOQUIUM: Sheldon Katz (University of Illinois at Urbana-Champaign)
math.columbia.edu·19h
🧮Haskell
Flag this post
Diagnostics of Hilbert space fragmentation, freezing transition, and its effects in the family of quantum East models involving varying range of constraints
journals.aps.org·7h
🎲Bayesian Stats
Flag this post
Software design is refinement, not abstraction (2022)
🔷C#
Flag this post
Generalized Witt and Morita equivalences
arxiv.org·2d
🧮Haskell
Flag this post
Multi-Method Analysis of Mathematics Placement Assessments: Classical, Machine Learning, and Clustering Approaches
arxiv.org·4h
🎲Bayesian Stats
Flag this post
<p>**Random Sub-Field of 문화의 기원 Selected:** Oral Transmission and Memory Systems in Early Agricultural Societies **Research Paper Title:** **Quantifying Tempora...
freederia.com·6h
🎲Bayesian Stats
Flag this post
r/mathematics
🧮Haskell
Flag this post
There's a fundamental flaw in how we learn about expertise
writingslowly.com·8h
🤖AI
Flag this post
PCT quantum symmetries -- section
ncatlab.org·19h
🧮Haskell
Flag this post
postrationality annotated bibliography
jenn.site·1d
🎲Bayesian Stats
Flag this post
The Curved Spacetime of Transformer Architectures
🤖AI
Flag this post
Creating Lisp Systems
🧮Haskell
Flag this post
Even Numbers Are Tautologies
🧮Haskell
Flag this post
Loading...Loading more...