Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
∑ Math
Broad
mathematics, abstract algebra, category theory, logic
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
183948
posts in
15.2
ms
Rokhlin
's theorem in
nLab
🔁
Category Theory
ncatlab.org
·
6d
Formalizing the Real Numbers in Homotopy Type Theory with
Cubical
Agda
𝕋
Type Theory
arxiv.org
·
1d
On the
hull
of
linearized
polynomial codes
📐
Geometric Algorithms
arxiv.org
·
2d
Sequent
Calculi
for Public Announcement Logic and Action Model Logic
🔧
SMT Solvers
philsci-archive.pitt.edu
·
6d
Proof Identity and
Categorical
Models of
BV
🔁
Category Theory
arxiv.org
·
1d
Arboretum.hs
: Symbolic manipulation for
algebras
of graphs
🖥️
Systems Programming
arxiv.org
·
1d
Aloff-Wallach
space in nLab
🔁
Category Theory
ncatlab.org
·
6d
Rado
's covering problem for
cubes
and balls: a semi-survey
📐
Geometric Algorithms
arxiv.org
·
2d
A Projection-Dimension Barrier for Direct Aggregation on the
Step-Duplicating
Primitive
Recursor
🔧
SMT Solvers
arxiv.org
·
2d
PBW
bases of
irreducible
Ising modules
🔁
Category Theory
arxiv.org
·
2d
simple type
conjecture
in
nLab
🔁
Category Theory
ncatlab.org
·
5d
On the geometric
algebras
of the
Ising
model
⚙️
Concurrency Theory
arxiv.org
·
2d
From
Coalgebraic
Determinization
to Belief Construction for Partial Observability
📐
Linearizability
arxiv.org
·
1d
Approaching the
Conway-99
problem using SAT
solvers
🔧
SMT Solvers
arxiv.org
·
2d
OptProver
: Bridging
Olympiad
and Optimization through Continual Training in Formal Theorem Proving
📐
Theorem Proving
arxiv.org
·
2d
Logic of
Fuzzy
Paths
🕸️
Graph Theory
arxiv.org
·
1d
The Power of Power Law:
Asymmetry
Enables
Compositional
Reasoning
🧠
Reasoning Models
arxiv.org
·
2d
Prefactorization
algebras of
superselection
sectors
🔁
Category Theory
arxiv.org
·
1d
Bowties
and
Hourglasses
: Intersections of Double-Wedges (or Stabbing and Avoiding Line Segments)
📐
Geometric Algorithms
arxiv.org
·
2d
Clustering
Permutations
under the
Ulam
Metric: A Parameterized Complexity Study
📊
Algorithms
arxiv.org
·
1d
Sign up or log in to see more results
Sign Up
Login
« 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