Skip to main content
Scour
Discover
Docs
Login
Sign Up
Discover
About
Docs
Changelog
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
456
posts in
13.6
ms
💻
Computer Science
nLab
·
4d
4 days ago
Bolzano-Weierstrass
theorem
Love
Like
Not for me
Save
Add to your feed
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
Add to your feed
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
Add to your feed
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
·
5d
5 days ago
2024: Research Directions in
Number
Theory
in China from the 1950s to the 1970s
Love
Like
Not for me
Save
Add to your feed
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
💻
Computer Science
arxiv.org
·
6d
6 days ago
Structural
Lemmas
on Temporal Connectivity
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Structural Lemmas on Temporal Connectivity
🕸️
Graph Theory
Obscure Sound
·
5d
5 days ago
UDEiGWE – ‘Four
Lemmas
’
Love
Like
Not for me
Save
Add to your feed
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
Add to your feed
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
Add to your feed
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
Add to your feed
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
arxiv.org
·
4d
4 days ago
Tangent Spheres and Integer Distances
Covered by
11011110.github.io
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Tangent Spheres and Integer Distances
⚛️
Physics
nLab
·
6d
6 days ago
superpotential
Love
Like
Not for me
Save
Add to your feed
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
·
5d
5 days ago
1978: “The Goldbach Conjecture” Xu Chi’s article on Chinese
Mathematician
Chen Jingrun
Love
Like
Not for me
Save
Add to your feed
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
🤖
AI
arxiv.org
·
3d
3 days ago
VERITAS: Verifier-Guided
Proof
Search for Zero-Shot
Formal
Theorem
Proving
Love
Like
Not for me
Save
Add to your feed
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
🔬
Science
arxiv.org
·
6d
6 days ago
Pointed Hopf
algebras
revisited, with a view from tensor categories
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Pointed Hopf algebras revisited, with a view from tensor categories
⬡
Hex Maps
arxiv.org
·
3d
3 days ago
Multi-Orientation Edge-Minimum Repair for Non-Redundant Fault-Tolerant Broadcasting in Dense Eisenstein--Jacobi Networks
Love
Like
Not for me
Save
Add to your feed
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.org
·
5d
5 days ago
Robust Signatures of Fragile
Topology
Love
Like
Not for me
Save
Add to your feed
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.org
·
5d
5 days ago
STORX: An Open-Source Object-Oriented Framework for Shape and
Topology
Optimization in
MATLAB
Love
Like
Not for me
Save
Add to your feed
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.org
·
5d
5 days ago
Non-negative
Matrix
Factorisation with
Topological
Regularisation
Love
Like
Not for me
Save
Add to your feed
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
🔬
Deep Learning
arxiv.org
·
6d
6 days ago
Flowing to Normality and the Fate of the Single Ring
Theorem
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Flowing to Normality and the Fate of the Single Ring Theorem
🧠
Philosophy
arxiv.org
·
6d
6 days ago
Theorem-Grounded
Execution Ontologies for Interpretable Machine Reasoning
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Theorem-Grounded Execution Ontologies for Interpretable Machine Reasoning
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