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
Community Proposals
Community Proposals
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 »
Users Search
Help Dashboard Sign In Sign Up
Q&A Meta
Q&A
Posts Tags Edits
Ask Question

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

340 posts   RSS
Activity Age Score Random
Filters (None)
60%
+1 −0
Considering the "type" $\Pi x:A.\Pi y:B(x).Type$

1 answer  ·  posted 1y ago by user205‭  ·  last activity 11mo ago by Dan Doel‭

type-theory logic
71%
+3 −0
Is there a $(n_3)$ configuration which is not self-dual?

1 answer  ·  posted 4mo ago by WheatWizard‭  ·  last activity 4mo ago by Peter Taylor‭

combinatorics
66%
+2 −0
Using convexity in the proof of Hölder’s inequality

1 answer  ·  posted 4mo ago by Snoopy‭  ·  last activity 1mo ago by Snoopy‭

real-analysis
25%
+0 −4
How can I improve contrast of red and green, to prove Reverse Triangle Inequality?

1 answer  ·  posted 8mo ago by Tortilla‭  ·  last activity 7mo ago by Peter Taylor‭

visualization
50%
+3 −3
Defining Bayes’s theorem from scratch in ZFC

1 answer  ·  posted 3mo ago by Julius H.‭  ·  last activity 30d ago by xamidi‭

set-theory zfc bayes-theorem
50%
+0 −0
Finding a quadratic that has solutions to given values

1 answer  ·  posted 1y ago by brah‭  ·  last activity 1y ago by trichoplax‭

algorithm approximation numerical-analysis
71%
+3 −0
If both $\lim_{x\to\infty}f(x)$ and $\lim_{x\to\infty}f'(x)$ exist, then $\lim_{x\to\infty}f'(x)=0$.

1 answer  ·  posted 4mo ago by Snoopy‭  ·  last activity 4mo ago by Snoopy‭

real-analysis
66%
+2 −0
On Tarski-style universes in type theory

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

type-theory logic
71%
+3 −0
how to mathematically express a relationship in which a vector can be any 3D unit vector

2 answers  ·  posted 11mo ago by Trevor‭  ·  last activity 11mo ago by trichoplax‭

notation vector
66%
+4 −1
is arithmetic finitely consistent?

0 answers  ·  posted 3mo ago by Jason‭

proof logic peano-arithmetic incompletness consistency
44%
+2 −3
How to compare lotteries, when one has highest probability of winning the jackpot, but another the highest Expected Value?

1 answer  ·  posted 11mo ago by Chgg Clou‭  ·  last activity 11mo ago by tommi‭

lottery
66%
+2 −0
Concrete examples of set theorists thinking independence proofs only determine provability rather than that a statement is neither true nor false?

1 answer  ·  posted 3mo ago by Julius H.‭  ·  last activity 3mo ago by Peter Taylor‭

set-theory
42%
+1 −2
What is the significance of the K-axiom in modal logic S5?

1 answer  ·  posted 2mo ago by Julius H.‭  ·  edited 28d ago by xamidi‭

modal-logic proof-theory hilbert-systems axioms
33%
+0 −2
$\left(\forall \varepsilon >0: |a-b| < \varepsilon\right) \iff a=b$ vs. $\left(\forall \varepsilon > 0: a \le b + \varepsilon \right) \iff a \le b$

1 answer  ·  posted 6mo ago by YorkTech‭  ·  edited 6mo ago by Peter Taylor‭

inequality
22%
+0 −5
How can school children intuit why over 100, D is larger? But under 100, D% is larger?

2 answers  ·  posted 1y ago by Chgg Clou‭  ·  last activity 6mo ago by Agent Smith‭

high-school-mathematics
50%
+1 −1
What are the “increasingly stable consequences of the large cardinal hierarchy”?

0 answers  ·  posted 3mo ago by Julius H.‭

set-theory
66%
+2 −0
Is the nth Betti number determined by orientability?

1 answer  ·  posted 6mo ago by WheatWizard‭  ·  edited 5mo ago by WheatWizard‭

betti-numbers algebraic-topology
33%
+1 −4
What's mathematically fallacious with Edvin Hiltner's Lotterycodex patterns, to maximize your chance of winning lotteries? [closed]

0 answers  ·  posted 1y ago by Chgg Clou‭  ·  closed 1y ago by Mithical‭

lottery
22%
+0 −5
If a changes to b, then doesn't a + d = b? Why a(1 + d) = b? [closed]

0 answers  ·  posted 1y ago by Chgg Clou‭  ·  closed 1y ago by Peter Taylor‭

high-school-mathematics
71%
+3 −0
Is it possible to show that a normalised random variable has zero mean and unit variance?

0 answers  ·  posted 8mo ago by mr Tsjolder‭  ·  edited 8mo ago by mr Tsjolder‭

statistics expectation
81%
+7 −0
How can I choose a point from a uniform distribution within a regular polygon?

2 answers  ·  posted 8mo ago by Karl Knechtel‭  ·  last activity 8mo ago by trichoplax‭

plane-geometry applied-mathematics sampling
66%
+2 −0
The purpose of logical frameworks in specifying type theories

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

type-theory logic
42%
+1 −2
How to intuit P(win the same lottery twice) $= p^{2}$ vs. P(win the same lottery twice | you won the lottery once) $= p$?

2 answers  ·  posted 1y ago by Chgg Clou‭  ·  edited 1y ago by Chgg Clou‭

lottery
77%
+5 −0
Finding a single row of Matrix after exponentiation

1 answer  ·  posted 11mo ago by theabbie‭  ·  edited 11mo ago by trichoplax‭

exponent algorithm matrices
75%
+4 −0
Is there a statistical method to identify the type of outliers shown in the pictures attached to my question?

1 answer  ·  posted 10mo ago by Ivan Nepomnyashchikh‭  ·  last activity 6mo ago by Agent Smith‭

statistics
80%
+6 −0
What is special about the 11-cell and 57-cell?

1 answer  ·  posted 10mo ago by WheatWizard‭  ·  last activity 5mo ago by ziggurism‭

polytopes
66%
+2 −0
Is it known whether most numbers are normal or not

0 answers  ·  posted 5mo ago by Grove‭

number-theory
33%
+0 −2
2 construals "of 100 patients presenting with a lump like the claimant’s in Gregg v Scott, 42 will be ‘cured’ if they are treated immediately."

2 answers  ·  posted 12mo ago by DNB‭  ·  last activity 12mo ago by r~~‭

statistics
75%
+4 −0
What is the probability that the convex hull of $n$ randomly distributed points has $l$ of the points on its boundary?

1 answer  ·  posted 1y ago by siric‭  ·  edited 1y ago by tommi‭

probability convex-hull
71%
+3 −0
organizing a library

1 answer  ·  posted 1y ago by msh210‭  ·  last activity 1y ago by celtschk‭

combinatorics recreational-mathematics
60%
+1 −0
Defining the two universes from Calculus of Constructions in LF

0 answers  ·  posted 1y ago by user205‭  ·  edited 1y ago by user205‭

type-theory logic
71%
+3 −0
Criterion in terms of the bases for determining whether one topology is finer than another

1 answer  ·  posted 1y ago by Snoopy‭  ·  last activity 1y ago by celtschk‭

topology
81%
+7 −0
Prove that 49 is the only prime square to be followed by twice a prime square and then a semiprime

1 answer  ·  posted 1y ago by Peter Taylor‭  ·  last activity 11mo ago by Servaes‭

number-theory integer-sequences
30%
+1 −5
What did James Stewart mean by "the line integral reduces to an ordinary single integral in this case" ?

2 answers  ·  posted 1y ago by TextKit‭  ·  edited 1y ago by trichoplax‭

line-integral
60%
+1 −0
What's the common ratio for this geometric sequence?

1 answer  ·  posted 2y ago by General Sebast1an‭  ·  last activity 2y ago by tommi‭

geometric-sequence sequence
75%
+4 −0
Generalization of categorical product

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

category-theory
71%
+3 −0
Prove $e^x \ge x+1 \\\; \forall x \in \mathbb{R}$ using induction

1 answer  ·  posted 1y ago by Carefree Explorer‭  ·  edited 1y ago by Derek Elkins‭

limits induction inequality solution-verification
50%
+0 −0
Calculation of limit

0 answers  ·  posted 7mo ago by Klein Moretti‭

calculus analysis limits applied-mathematics
71%
+3 −0
Properties of distances between adjacent vector elements and related functions

1 answer  ·  posted 11mo ago by stofred‭  ·  last activity 11mo ago by Artisian‭

analysis vector recreational-mathematics integer-sequences
71%
+3 −0
Classification for involutory real infinite series

1 answer  ·  posted 9mo ago by nsajko‭  ·  last activity 9mo ago by Peter Taylor‭

classification real-analysis inverse polynomials series
60%
+1 −0
Is there a two variable quartic polynomial with two strict local minima and no other critical point?

0 answers  ·  posted 1y ago by Pavel Kocourek‭

multivariable-calculus real-analysis maxima-minima polynomials roots
71%
+3 −0
Notation for nested exponents

1 answer  ·  posted 2y ago by JRN‭  ·  last activity 2y ago by leovt‭

notation exponents
77%
+5 −0
Why can't we conclude the extrema property of a function from its quadratic approximation when the discriminant is zero?

1 answer  ·  posted 1y ago by Snoopy‭  ·  last activity 1y ago by Snoopy‭

multivariable-calculus derivatives
57%
+2 −1
Strange behavior in elections and pie charts

2 answers  ·  posted 7mo ago by TheCodidacter, or rather ACodidacter‭  ·  last activity 4mo ago by Agent Smith‭

probability
50%
+0 −0
Universal property of quotient spaces

2 answers  ·  posted 1y ago by Snoopy‭  ·  last activity 1y ago by ronno‭

topology
71%
+3 −0
Closed-form expression for sum of Modulo Arithmetic Progression

1 answer  ·  posted 11mo ago by theabbie‭  ·  edited 11mo ago by trichoplax‭

formula summation sequence modular-arithmetic
71%
+3 −0
Average distance from circle's center to a point

1 answer  ·  posted 11mo ago by TheCodidacter, or rather ACodidacter‭  ·  last activity 11mo ago by TheCodidacter, or rather ACodidacter‭

geometry calculus
60%
+1 −0
Connection between caustics and conjugate points?

0 answers  ·  posted 1y ago by tommi‭

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

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

limits category-theory
75%
+4 −0
If $\mathbf{R}$ is thought of as a vector space over $\mathbf{Q}$, what is its dimension?

1 answer  ·  posted 1y ago by Snoopy‭  ·  last activity 1y ago by r~~‭

linear-algebra vector-space
Category RSS feed