User Jean Abou Samra - MathOverflow

39 votes

List of crowdsourced math projects actively seeking participants

answered Sep 23, 2025 at 14:35

31 votes

Accepted

Precise meaning of "picking a basis"?

answered Jan 15 at 23:31

25 votes

Is it possible to discover a "Universal formula" that generates and generalizes all odd Collatz numbers?

answered Jan 5, 2025 at 13:29

19 votes

Improving readability of proofs

answered Aug 8, 2025 at 19:29

14 votes

Elementary consequences of famous technical theorems and/or conjectures

answered Dec 29, 2024 at 13:38

13 votes

Accepted

Matrices with many traceless powers

answered Apr 27, 2025 at 9:26

12 votes

Some books recommendation by which I can know about what's happening in current mathematics research in Pure mathematics?

answered Feb 15 at 18:25

11 votes

Accepted

Why are quotients so much trickier in constructive type theory than in constructive set theory?

answered Feb 7, 2025 at 19:22

8 votes

Problems known to be in both NP and coNP, but not known to be in P

answered Dec 1, 2024 at 17:05

8 votes

Examples of common false beliefs in mathematics

answered Mar 25, 2025 at 11:27

7 votes

Universes don't need to be indexed by natural numbers

answered Jul 12, 2025 at 23:46

7 votes

What's your favorite Cantor space?

answered Apr 14 at 8:37

6 votes

Origin/proof of elementary inequality

answered May 22, 2025 at 22:07

6 votes

Important unpublished works in mathematics

answered Feb 12, 2025 at 8:27

5 votes

Awfully sophisticated proof for simple facts

answered Jan 14, 2025 at 20:45

5 votes

Accepted

Absolute derivative of a bijection $\varphi:\omega_+\to\omega_+$

answered Jul 9, 2025 at 21:15

5 votes

Power of a primitive prime factor dividing a number of the form $x^{p}+1$

answered Oct 28, 2025 at 14:05

4 votes

Examples of common false beliefs in mathematics

answered Jan 4 at 0:32

4 votes

Cryptomorphisms

answered Oct 7, 2025 at 12:46

3 votes

Quantifier elimination for natural numbers with order and successor

answered Sep 8, 2025 at 20:24

2 votes

Accepted

For which sets do Arthur and Nimue have a winning strategy in this game (“communicate a bit”)?

answered Jan 7 at 21:46

2 votes

Regarding the realizability topos on the computable part of Kleene's second algebra

answered Jun 6, 2025 at 19:11

2 votes

Accepted

On the $p$-adic valuations of coefficients in holonomic-like sequences of vectors

answered Aug 10, 2025 at 22:06

2 votes

Examples of interesting false proofs

answered Dec 31, 2024 at 13:04

1 vote

Accepted

Deciding positivity for polynomials summed across a regular language

answered Jan 22, 2025 at 23:17

1 vote

"Philosophical" meaning of the Yoneda Lemma

answered Mar 12, 2025 at 14:48

1 vote

"Philosophical" meaning of the Yoneda Lemma

answered Oct 3, 2025 at 23:54

Stack Exchange Network

27 Answers

List of crowdsourced math projects actively seeking participants

Precise meaning of "picking a basis"?

Is it possible to discover a "Universal formula" that generates and generalizes all odd Collatz numbers?

Improving readability of proofs

Elementary consequences of famous technical theorems and/or conjectures

Matrices with many traceless powers

Some books recommendation by which I can know about what's happening in current mathematics research in Pure mathematics?

Why are quotients so much trickier in constructive type theory than in constructive set theory?

Problems known to be in both NP and coNP, but not known to be in P

Examples of common false beliefs in mathematics

Universes don't need to be indexed by natural numbers

What's your favorite Cantor space?

Origin/proof of elementary inequality

Important unpublished works in mathematics

Awfully sophisticated proof for simple facts

Absolute derivative of a bijection $\varphi:\omega_+\to\omega_+$

Power of a primitive prime factor dividing a number of the form $x^{p}+1$

Examples of common false beliefs in mathematics

Cryptomorphisms

Quantifier elimination for natural numbers with order and successor

For which sets do Arthur and Nimue have a winning strategy in this game (“communicate a bit”)?

Regarding the realizability topos on the computable part of Kleene's second algebra

On the $p$-adic valuations of coefficients in holonomic-like sequences of vectors

Examples of interesting false proofs

Deciding positivity for polynomials summed across a regular language

"Philosophical" meaning of the Yoneda Lemma

"Philosophical" meaning of the Yoneda Lemma