Area 51
Dima Pasechnik's user avatar
Dima Pasechnik's user avatar
Dima Pasechnik's user avatar
Dima Pasechnik
  • Member for 9 years, 6 months
  • Last seen more than 1 year ago
Profile Activity
Stats
151
reputation
759
reached
1
answer
0
questions
Communities
View all
About

My official homepage. Despite the name, I am a citizen of The Netherlands, and this is the only citizenship I hold since 1999.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
4
bronze badges
Top tags
18
Score
1
Posts
100
Posts %
18
Score
1
Posts
100
Posts %
18
Score
1
Posts
100
Posts %
18
Score
1
Posts
100
Posts %
18
Score
1
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
answer
18
Proof Assistants' finalized launch date, name, and URL
Jan 28, 2022
Top network posts
View all network posts
50
Can all convex optimization problems be solved in polynomial time using interior-point algorithms?
36
Theorems that impeded progress
23
Does there exist a complete implementation of the Risch algorithm?
19
Can you efficiently solve a system of quadratic multivariate polynomials?
19
Advanced software for OEIS?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.