Skip to main content
MathOverflow
Jean Abou Samra's user avatar
Jean Abou Samra's user avatar
Jean Abou Samra's user avatar
Jean Abou Samra
  • Member for 2 years, 4 months
  • Last seen this week
Profile Activity

Stats

2,041
reputation
611k
reached
27
answers
6
questions
Communities
View all

About

PhD student in theoretical computer science.

Badges

View all badges
1
gold badge
15
silver badges
28
bronze badges

Top tags

View all tags
47
Score
8
Posts
24
Posts %
44
Score
3
Posts
9
Posts %
42
Score
3
Posts
9
Posts %
39
Score
2
Posts
6
Posts %
20
Score
5
Posts
15
Posts %
18
Score
3
Posts
9
Posts %

Top posts

View all questions and answers
39
List of crowdsourced math projects actively seeking participants
Sep 23, 2025
31
Precise meaning of "picking a basis"?
Jan 15
25
Is it possible to discover a "Universal formula" that generates and generalizes all odd Collatz numbers?
Jan 5, 2025
19
Where is the first repetition in the cumulative hierarchy up to elementary equivalence?
Sep 27, 2025
19
Improving readability of proofs
Aug 8, 2025
14
Elementary consequences of famous technical theorems and/or conjectures
Dec 29, 2024
13
Matrices with many traceless powers
Apr 27, 2025
12
Some books recommendation by which I can know about what's happening in current mathematics research in Pure mathematics?
Feb 15
11
Why are quotients so much trickier in constructive type theory than in constructive set theory?
Feb 7, 2025
9
Diaconescu's theorem in type theory without propositional extensionality
Jan 20, 2025

Top Meta posts

1
0
66
Is MathOverflow at risk of being let down by StackExchange Inc?

Top network posts

View all network posts
11
Difference between "Extending LilyPond" and "Scheme (in LilyPond)"
10
Does CICω prove Con(ZF)?
8
How to do simultaneous induction in Coq?
8
Why is classical logic needed to prove $(p \to q \lor r) \to ((p \to q) \lor (p \to r))$?
8
Is the Turing machine the only framework to analyse limits of computation?