mathematics

➗ mathematicsBroad

math, number theory, probability, statistics, differential equations, geometry, calculus, topology

Feeds to Scour
SubscribedAll
Scoured 259 posts in 5.7 ms

Quivers: a year of linear algebra by drawing arrows

 ➗math  Content type: Blog
lisyarus.github.io··Hacker News

Recent progress around Cohen-Lenstra heuristics (notes from a Bourbaki talk)

 ➗math  Content type: Blog
quomodocumque.wordpress.com·

Gravity has always been quantum mechanical: it is the wrong thing to quantise

 ➗math
zenodo.org··Hacker News

Evaluating Research-Level Math Proofs via Strict Step-Level Verification

 ➗math  Content type: Academic
arxiv.org·

Apostol's Solution to the Basel problem

 ➗math  Content type: Blog
abstractnonsense.xyz·

Sunday song: Sous le ciel de Paris

 ➗math
priorprobability.com·

Secure Computation against $\mathsf{NC^1}$ Leakage without Secure Hardware

 ➗math
eprint.iacr.org·

TiruArt/Pedigree-Polytopes-Lean4: Lean 4 machine-verified proof that Membership Problem for Pedigree Polytopes, M3P ∈ P and P = NP via properties of Pedigree Polytopes.

 💻computer science  Content type: Code
github.com··Hacker News

Fixed-Threshold One-Bit Toeplitz Covariance Estimation under Sparse-Ruler Sampling

 ➗math  Content type: Academic
arxiv.org·

tensor product of stable (infinity,1)-categories in nLab

 ➗math
ncatlab.org·

COGENT: Continuous Graph Emulators with Neural Ordinary Differential Equations for Long-Term Physical Forecasting

 ➗math  Content type: Academic
arxiv.org·

The Standard Model from a CM Point and the Exceptional Jordan Algebra

 ➗math
zenodo.org··r/LLM

SNARGs for NP from Unprovability of Mathematical Theorems

 ➗math
eprint.iacr.org·

TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics

 ➗math  Content type: Academic
arxiv.org·

JamesC-xhecarpenxer/JC-Compute-Model: This is JC Compute a solution for digital trust.

 ➗math  Content type: Code
github.com··Hacker News

Alternative Inductive Proof of Dilworth's Theorem

 ➗math  Content type: Academic
arxiv.org·

Provably-Secure NIZKs From Multi-Round Oracle Proofs

 ➗math
eprint.iacr.org·

Quantum current algebra ${\bf U}(\frak{gl}_n[t])$: canonical bases, rigidity, and relation with Yangians

 ➗math  Content type: Academic
arxiv.org·

Embedding Hybrid Systems into Continuous Latent Vector Fields

 ➗math  Content type: Academic
arxiv.org·

Numerical Analysis on Backward Stochastic Differential Equations by Finite Transposition Method

 ➗math  Content type: Academic
arxiv.org·

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help