Year | DOI | Venue |
---|---|---|
2013 | 10.1145/2465506.2465928 | ISSAC |
Keywords | Field | DocType |
critical point method,new result,effective real algebraic geometry,real algebraic geometry | Quantifier elimination,Randomized algorithm,Discrete mathematics,Combinatorics,Algebraic number,Polynomial,Root-finding algorithm,Complex dimension,Solution set,Real algebraic geometry,Mathematics | Conference |
Citations | PageRank | References |
1 | 0.38 | 18 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mohab Safey El Din | 1 | 450 | 35.64 |