User Dima Pasechnik - MathOverflow

Dima Pasechnik

Member for 13 years, 4 months
Last seen this week

Twitter
GitHub
cs.ox.ac.uk/people/…
Oxford, United Kingdom

274 Answers

Score Activity Newest

50 votes

Accepted

Can all convex optimization problems be solved in polynomial time using interior-point algorithms?

answered Apr 3, 2012 at 3:54

36 votes

Theorems that impeded progress

answered Apr 5, 2019 at 16:51

26 votes

Does there exist a complete implementation of the Risch algorithm?

answered Oct 15, 2020 at 13:11

20 votes

Accepted

Can you efficiently solve a system of quadratic multivariate polynomials?

answered Jan 3, 2014 at 13:22

19 votes

Advanced software for OEIS?

answered Mar 14, 2018 at 13:52

18 votes

Accepted

computer algebra system for polynomial algebras over finite fields

answered Aug 7, 2012 at 14:55

17 votes

A necessary and sufficient condition for $(x_1,...,x_n)$ to be a permutation of $(1,...,n)$

answered Jul 16, 2019 at 22:32

16 votes

Accepted

On the positivity of matrices

answered Aug 30, 2014 at 22:03

15 votes

Accepted

What CASes say about the analytic rank of rank 8 elliptic curve '457532830151317a1'

answered Nov 12, 2012 at 17:43

14 votes

Accepted

Main open computational problems in quantifier elimination?

answered Sep 8, 2013 at 14:57

13 votes

How do we explain the use of a software on a math paper?

answered May 17, 2019 at 19:46

13 votes

John Nash's Mathematical Legacy

answered May 25, 2015 at 21:36

12 votes

Classification of finite type structures leads to Dynkin diagrams?

answered Jul 24, 2017 at 12:09

12 votes

Is there a connection between representation theory and PDEs?

answered Jun 30, 2019 at 11:09

12 votes

Beautiful descriptions of exceptional groups

answered Jun 17, 2012 at 7:44

11 votes

Working with group cosets in MAGMA

answered Apr 2, 2012 at 16:33

11 votes

Accepted

(weak?) BN-Pair / Tits System for Sporadic Groups

answered Apr 15, 2012 at 5:03

11 votes

Accepted

Factorization of polynomials in two variables

answered Feb 14, 2015 at 10:00

11 votes

Accepted

How to show a $3\times3$ matrix has three distinct eigenvalues?

answered May 18, 2021 at 22:08

11 votes

Research-only permanent positions worldwide

answered Jun 26, 2017 at 18:28

10 votes

Cayley graphs of $A_n.$

answered Apr 3, 2016 at 23:17

10 votes

A map of non-pathological topology?

answered Jun 6, 2019 at 16:05

10 votes

Pressure to defend the relevance of one's area of mathematics

answered Apr 28, 2019 at 11:08

10 votes

Accepted

Computionally efficient vertex enumeration for (convex) polytopes

answered Apr 26, 2015 at 22:11

10 votes

why do we need algorithms, and why is non-convex optimization difficult?

answered Sep 27, 2012 at 6:22

10 votes

What graph parameters are determined by parameters for strongly regular graph

answered Dec 13, 2012 at 9:41

10 votes

Largest permutation group without 2-cycles or 3-cycles

answered Jan 10, 2013 at 3:21

9 votes

Do relatively prime polynomials $f$ and $g$ in $k[x,y]$ generate an ideal of finite codimension?

answered Jun 28, 2021 at 21:39

9 votes

Accepted

Where can I find the following S. Shelah's paper?

answered Jan 4, 2022 at 20:59

9 votes

Why sum of three squares of real polynomials is a sum of two squares?

answered Jun 18, 2016 at 15:36

1

2 3 4 5

…