Skip to main content
Scour
Discover
Docs
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Math
🔢 Math
mathematics, number theory, algebra, proofs
Filter Results
Timeframe
Choose a timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
345
posts in
12.2
ms
💻
Computer Science
nLab
·
4d
4 days ago
Bolzano-Weierstrass
theorem
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Bolzano-Weierstrass theorem
💻
Computer Science
shoup.net
·
6d
6 days ago
A Computational Introduction to
Number
Theory
and
Algebra
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for A Computational Introduction to Number Theory and Algebra
⚛️
Physics
Azimuth
·
6d
6 days ago
Octonions and the Standard Model
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Octonions and the Standard Model
📚
Books
高大伟 David Cowhig's Translation Blog
·
6d
6 days ago
2024: Research Directions in
Number
Theory
in China from the 1950s to the 1970s
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for 2024: Research Directions in Number Theory in China from the 1950s to the 1970s
🕸️
Graph Theory
arXiv
·
5d
5 days ago
Tangent Spheres and Integer Distances
Covered by
11011110.github.io
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Tangent Spheres and Integer Distances
🕸️
Graph Theory
Obscure Sound
·
6d
6 days ago
UDEiGWE – ‘Four
Lemmas
’
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for UDEiGWE – ‘Four Lemmas’
✅
Formal Methods
John D. Cook
·
5d
5 days ago
Formalizing
a ring
theorem
with Lean 4 and Claude
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Formalizing a ring theorem with Lean 4 and Claude
✅
Formal Methods
Simons Foundation
·
4d
4 days ago
Solved, Unsolved and Unsolvable: The Status of Hilbert’s 23 Problems in
Mathematics
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Solved, Unsolved and Unsolvable: The Status of Hilbert’s 23 Problems in Mathematics
💻
Computer Science
medium.com
·
3d
3 days ago
SC16: Fundamental
Theorem
of
Calculus
2
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for SC16: Fundamental Theorem of Calculus 2
🕸️
Graph Theory
11011110.github.io
·
5d
5 days ago
Impossible patterns of sphere tangencies
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Impossible patterns of sphere tangencies
💻
Computer Science
ZME Science
·
5d
5 days ago
OpenAI Model Cracked an 80-Year-Old
Math
Problem and Mathematicians Are Stunned
Covers
5 stories
See all stories this covers
including
An OpenAI model has disproved a central conjecture in discrete geometry
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for OpenAI Model Cracked an 80-Year-Old Math Problem and Mathematicians Are Stunned
🤖
AI
arXiv
·
4d
4 days ago
VERITAS: Verifier-Guided
Proof
Search for Zero-Shot
Formal
Theorem
Proving
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving
⚛️
Physics
nLab
·
6d
6 days ago
superpotential
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for superpotential
🇨🇳
China
高大伟 David Cowhig's Translation Blog
·
6d
6 days ago
1978: “The Goldbach Conjecture” Xu Chi’s article on Chinese
Mathematician
Chen Jingrun
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for 1978: “The Goldbach Conjecture” Xu Chi’s article on Chinese Mathematician Chen Jingrun
⬡
Hex Maps
arXiv
·
4d
4 days ago
Multi-Orientation Edge-Minimum Repair for Non-Redundant Fault-Tolerant Broadcasting in Dense Eisenstein--Jacobi Networks
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Multi-Orientation Edge-Minimum Repair for Non-Redundant Fault-Tolerant Broadcasting in Dense Eisenstein--Jacobi Networks
🕸️
Graph Theory
arXiv
·
6d
6 days ago
Robust Signatures of Fragile
Topology
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Robust Signatures of Fragile Topology
🧬
Computational Biology
arXiv
·
6d
6 days ago
STORX: An Open-Source Object-Oriented Framework for Shape and
Topology
Optimization in
MATLAB
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for STORX: An Open-Source Object-Oriented Framework for Shape and Topology Optimization in MATLAB
💻
Computer Science
arXiv
·
6d
6 days ago
Non-negative
Matrix
Factorisation with
Topological
Regularisation
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Non-negative Matrix Factorisation with Topological Regularisation
🤖
Cy_Borg
arXiv
·
5d
5 days ago
Hopf bimodules for bialgebroids
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Hopf bimodules for bialgebroids
✅
Formal Methods
arXiv
·
6d
6 days ago
IsabeLLM: Automated
Theorem
Proving Applied to
Formally
Verifying Consensus
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus
Page 2 »
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous post
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
Discover
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
Like
Save
Not for me
Report