Skip to main content
Proof Assistants Meta
Dima Pasechnik's user avatar
Dima Pasechnik's user avatar
Dima Pasechnik's user avatar
Dima Pasechnik
  • Member for 2 years, 10 months
  • Last seen more than a month ago
Profile Activity
Stats
480
reputation
114
reached
1
answer
0
questions
Communities
View all
About

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

[1]:

Mastodon

Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
3
bronze badges
Top tags
2
Score
1
Posts
100
Posts %
Top posts
answer
2
Should questions arising from computational logic be asked?
Feb 10, 2022
Top network posts
View all network posts
50
Can all convex optimization problems be solved in polynomial time using interior-point algorithms?
35
Theorems that impeded progress
27
Does there exist a complete implementation of the Risch algorithm?
20
Can you efficiently solve a system of quadratic multivariate polynomials?
19
Advanced software for OEIS?