Skip to main content
MathOverflow
Peter O.'s user avatar
Peter O.'s user avatar
Peter O.'s user avatar
Peter O.
  • Member for 3 years, 11 months
  • Last seen more than a week ago
Profile Activity
Stats
697
reputation
6k
reached
3
answers
13
questions
Communities
View all
About

Just an all-around programmer.

My GitHub projects:

Open Questions on the Bernoulli Factory Problem (a problem of turning biased coins to biased coins).

Badges
View all badges
This user doesn’t have any gold badges yet.
5
silver badges
22
bronze badges
Top tags
View all tags
6
Score
12
Posts
75
Posts %
5
Score
8
Posts
50
Posts %
5
Score
8
Posts
50
Posts %
1
Score
2
Posts
12
Posts %
1
Score
2
Posts
12
Posts %
0
Score
3
Posts
19
Posts %
Top posts
View all questions and answers
question
17
Explicit and fast error bounds for polynomial approximation
Jun 8, 2022
question
12
From biased coins (and nothing else) to biased coins
Sep 27, 2021
question
8
Concave and other bounded functions: Series representation and converging polynomials
Nov 23, 2021
question
6
Using the Lorentz operators to build polynomials that converge to a continuous function
Oct 27, 2021
question
4
From biased coins to biased coins, as efficiently as possible
Dec 29, 2021
question
4
Bounds on the expectation of a function of a hypergeometric random variable: A "Jensen gap"
Aug 23, 2022
question
4
Explicit and fast error bounds for approximating continuous functions
Mar 4, 2023
question
3
On the regularity of certain continuous algebraic functions
Jun 1, 2021
question
3
A conjecture on consistent monotone sequences of polynomials in Bernstein form
Jul 31, 2022
question
3
Explicit bounds on the difference between Bernstein polynomials
Aug 29, 2022
Top network posts
View all network posts
501
Regular expression for matching HH:MM time format
399
How to calculate the angle between a line and the horizontal axis?
192
Given an RGB value, how do I create a tint (or shade)?
151
"Unparseable date: 1302828677828" trying to deserialize with Gson a millisecond-format date received from server
70
How to make the window full screen with Javascript (stretching all over the screen)