Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Mathematics
📐 Mathematics
math, geometry, calculus, pure mathematics
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
448
posts in
7.3
ms
Extraction and Search in Rocq:
Theorems
, Definitions and Their dependencies
🔢
Linear Algebra
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Extraction and Search in Rocq: Theorems, Definitions and Their dependencies
Manifold
Exploration
🔢
Linear Algebra
paul-antoineletolguenec.github.io
·
1d
1 day ago
·
Hacker News
Actions for Manifold Exploration
How
math
's 'hairy ball
theorem
' could explain bad hair days
🔢
Linear Algebra
Content type:
News
scientificamerican.com
·
13h
13 hours ago
Actions for How math's 'hairy ball theorem' could explain bad hair days
Proof
System Timelines
🎨
Generative Art
Content type:
Blog
klatz.co
·
1d
1 day ago
Actions for Proof System Timelines
Human learning of noninvasive brain–computer interfaces via
manifold
geometry
🔢
Linear Algebra
Content type:
Academic
nature.com
·
21h
21 hours ago
Actions for Human learning of noninvasive brain–computer interfaces via manifold geometry
New comment by sumitkumar in "They’re made out of weights"
🎨
Generative Art
Content type:
Discussion
news.ycombinator.com
·
6d
6 days ago
·
Hacker News
Actions for New comment by sumitkumar in "They’re made out of weights"
tensor product of stable (infinity,1)-categories in nLab
🔢
Linear Algebra
ncatlab.org
·
2d
2 days ago
Actions for tensor product of stable (infinity,1)-categories in nLab
A brain-computer interface that works with—not against—the brain
🎨
Generative Art
medicalxpress.com
·
12h
12 hours ago
Actions for A brain-computer interface that works with—not against—the brain
Recent progress around Cohen-Lenstra heuristics (notes from a Bourbaki talk)
🔢
Linear Algebra
Content type:
Blog
quomodocumque.wordpress.com
·
5d
5 days ago
Actions for Recent progress around Cohen-Lenstra heuristics (notes from a Bourbaki talk)
Hidden
geometry
explains why kernel methods separate complex data so well
🎨
Generative Art
phys.org
·
2d
2 days ago
Actions for Hidden geometry explains why kernel methods separate complex data so well
A New Post Quantum Cryptography Standard (Verification, etc. Included)
🎨
Generative Art
zenodo.org
·
7h
7 hours ago
·
Hacker News
Actions for A New Post Quantum Cryptography Standard (Verification, etc. Included)
AI cracked an Erdős
math
problem. Now experts want guardrails
🎨
Generative Art
Content type:
News
sciencenews.org
·
1d
1 day ago
·
Hacker News
Actions for AI cracked an Erdős math problem. Now experts want guardrails
The Diamond
Lemma
🔢
Linear Algebra
lesswrong.com
·
3d
3 days ago
Actions for The Diamond Lemma
BP investors push for clarity over ousting of chair
🌍
Everyday Life
Content type:
News
ft.com
·
1d
1 day ago
Actions for BP investors push for clarity over ousting of chair
Jacques Hadamard (1865 – 1963)
⚛️
Physics
grokipedia.com
·
5d
5 days ago
·
Hacker News
Actions for Jacques Hadamard (1865 – 1963)
Elements of Cryptanalysis: From
Al-Kindi
to Post-Quantum Standards — Elements of Cryptanalysis: From
Al-Kindi
to Post-Quantum Standards
🔢
Linear Algebra
bnaskrecki.faculty.wmi.amu.edu.pl
·
1d
1 day ago
Actions for Elements of Cryptanalysis: From Al-Kindi to Post-Quantum Standards — Elements of Cryptanalysis: From Al-Kindi to Post-Quantum Standards
The
maths
meme that has been distracting mathematicians for a century
🔢
Linear Algebra
newscientist.com
·
4d
4 days ago
Actions for The maths meme that has been distracting mathematicians for a century
SNARGs for NP from Unprovability of
Mathematical
Theorems
🔢
Linear Algebra
eprint.iacr.org
·
5d
5 days ago
Actions for SNARGs for NP from Unprovability of Mathematical Theorems
wertz01/SRBM: Airframe‑agnostic autonomy middleware for rigid‑body maneuvering and tactical AI
🎨
Generative Art
Content type:
Code
github.com
·
2d
2 days ago
·
Hacker News
Actions for wertz01/SRBM: Airframe‑agnostic autonomy middleware for rigid‑body maneuvering and tactical AI
The Floer Jungle
⚛️
Physics
Content type:
Academic
math.columbia.edu
·
4d
4 days ago
·
Hacker News
Actions for The Floer Jungle
Page 2 »
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
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
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help