Skip to main content
MathOverflow
FDP's user avatar
FDP's user avatar
FDP's user avatar
FDP
  • Member for 3 years, 9 months
  • Last seen more than a month ago
  • France
Profile Activity
Stats
226
reputation
1k
reached
1
answer
0
questions
Communities
Badges
This user doesn’t have any gold badges yet.
1
silver badge
3
bronze badges
Top tags
11
Score
1
Posts
100
Posts %
11
Score
1
Posts
100
Posts %
11
Score
1
Posts
100
Posts %
Top posts
answer
11
Decoupling a double integral
Mar 12, 2021
Top network posts
View all network posts
33
Proving that $\int_0^1 \frac{\arctan x}{x}\ln\left(\frac{1+x^2}{(1-x)^2}\right)dx=\frac{\pi^3}{16}$
30
Nice proofs of $\zeta(4) = \frac{\pi^4}{90}$?
23
Integral: $\int_0^{\pi/12} \ln(\tan x)\,dx$
23
Evaluating $\int_0^1 \frac{\arctan x \log x}{1+x}dx$
22
Relationship between Catalan's constant and $\pi$