Communities

Writing
Writing
Codidact Meta
Codidact Meta
The Great Outdoors
The Great Outdoors
Photography & Video
Photography & Video
Scientific Speculation
Scientific Speculation
Cooking
Cooking
Electrical Engineering
Electrical Engineering
Judaism
Judaism
Languages & Linguistics
Languages & Linguistics
Software Development
Software Development
Mathematics
Mathematics
Christianity
Christianity
Code Golf
Code Golf
Music
Music
Physics
Physics
Linux Systems
Linux Systems
Power Users
Power Users
Tabletop RPGs
Tabletop RPGs
tag:snake search within a tag
answers:0 unanswered questions
user:xxxx search by author id
score:0.5 posts with 0.5+ score
"snake oil" exact phrase
votes:4 posts with 4+ votes
created:<1w created < 1 week ago
post_type:xxxx type of post
Search help
Notifications
Mark all as read See all your notifications »
Q&A

General Q&A about all branches of theoretical and applied mathematics, including closely-adjacent sciences where the central question is about the math.

Filters (None)
77%
+5 −0
50%
+0 −0
Universal property of quotient spaces

2 answers  ·  posted 4mo ago by Snoopy‭  ·  last activity 29d ago by ronno‭

60%
+1 −0
Considering the "type" $\Pi x:A.\Pi y:B(x).Type$

0 answers  ·  posted 2mo ago by user205‭  ·  edited 2mo ago by user205‭

60%
+1 −0
66%
+2 −0
On Tarski-style universes in type theory

1 answer  ·  posted 2mo ago by user205‭  ·  last activity 2mo ago by Derek Elkins‭

66%
+2 −0
The purpose of logical frameworks in specifying type theories

1 answer  ·  posted 2mo ago by user205‭  ·  last activity 2mo ago by Derek Elkins‭

22%
+0 −5
Isn't Ontario 49 always worse than Daily Grand? [closed]

0 answers  ·  posted 3mo ago by Chgg Clou‭  ·  closed 2mo ago by Peter Taylor‭

60%
+1 −0
The meaning of $\pm$

2 answers  ·  posted 2mo ago by tommi‭  ·  last activity 2mo ago by Derek Elkins‭

22%
+0 −5
At what jackpot minimum is playing Lottario rational?

1 answer  ·  posted 3mo ago by Chgg Clou‭  ·  edited 2mo ago by Chgg Clou‭

66%
+2 −0
Unification and generalization of limit and colimit

1 answer  ·  posted 4mo ago by celtschk‭  ·  last activity 4mo ago by Derek Elkins‭

75%
+4 −0
Generalization of categorical product

1 answer  ·  posted 4mo ago by r~~‭  ·  last activity 4mo ago by Derek Elkins‭

71%
+3 −0
54%
+4 −3
50%
+0 −0
66%
+2 −0
28%
+0 −3
Expanding the Integration problem.

1 answer  ·  posted 5mo ago by Anonymous‭  ·  last activity 5mo ago by TextKit‭

60%
+1 −0
Dividing a cuboid in four

1 answer  ·  posted 6mo ago by Yair Rand‭  ·  last activity 5mo ago by Peter Taylor‭

71%
+3 −0
75%
+4 −0
Is this formula for the minimal sum correct?

1 answer  ·  posted 8mo ago by celtschk‭  ·  last activity 7mo ago by celtschk‭

71%
+3 −0
How to calculate remaining volume of a wire spool

2 answers  ·  posted 8mo ago by re89j‭  ·  last activity 8mo ago by Olin Lathrop‭

71%
+3 −0

This community is part of the Codidact network. We have other communities too — take a look!

You can also join us in chat!

Want to advertise this community? Use our templates!

Like what we're doing? Support us! Donate