Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation - ISSAC '14
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450325011

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Unimodular completion of polynomial matrices

Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation - ISSAC '14 ◽

10.1145/2608628.2608640 ◽

2014 ◽

Cited By ~ 2

Author(s):

Wei Zhou ◽

George Labahn

Keyword(s):

Polynomial Matrices

Download Full-text

Tame decompositions and collisions

Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation - ISSAC '14 ◽

10.1145/2608628.2608653 ◽

2014 ◽

Cited By ~ 1

Author(s):

Konstantin Ziegler

Download Full-text

Computing low-degree factors of lacunary polynomials

Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation - ISSAC '14 ◽

10.1145/2608628.2608649 ◽

2014 ◽

Cited By ~ 2

Author(s):

Bruno Grenet

Keyword(s):

Low Degree

Download Full-text

Gröbner bases of toric ideals and their application

Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation - ISSAC '14 ◽

10.1145/2608628.2627495 ◽

2014 ◽

Author(s):

Hidefumi Ohsugi

Keyword(s):

Gröbner Bases ◽

Grobner Bases ◽

Toric Ideals

Download Full-text

Factoring linear differential operators innvariables

Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation - ISSAC '14 ◽

10.1145/2608628.2608667 ◽

2014 ◽

Cited By ~ 1

Author(s):

Mark Giesbrecht ◽

Albert Heinle ◽

Viktor Levandovskyy

Keyword(s):

Differential Operators ◽

Linear Differential Operators ◽

Linear Differential

Download Full-text

Fast arithmetic for the algebraic closure of finite fields

Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation - ISSAC '14 ◽

10.1145/2608628.2608672 ◽

2014 ◽

Cited By ~ 3

Author(s):

Luca De Feo ◽

Javad Doliskani ◽

Éric Schost

Keyword(s):

Finite Fields ◽

Algebraic Closure ◽

Fast Arithmetic

Download Full-text

Formal solutions of a class of Pfaffian systems in two variables

Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation - ISSAC '14 ◽

10.1145/2608628.2608656 ◽

2014 ◽

Author(s):

Suzy S. Maddah ◽

Moulay A. Barkatou ◽

Hassan Abbas

Keyword(s):

Pfaffian Systems ◽

Formal Solutions

Download Full-text

Evaluating parametric holonomic sequences using rectangular splitting

Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation - ISSAC '14 ◽

10.1145/2608628.2608629 ◽

2014 ◽

Cited By ~ 2

Author(s):

Fredrik Johansson

Download Full-text

On the computation of the topology of plane curves

Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation - ISSAC '14 ◽

10.1145/2608628.2608670 ◽

2014 ◽

Cited By ~ 1

Author(s):

Daouda Niang Diatta ◽

Fabrice Rouillier ◽

Marie-Françoise Roy

Keyword(s):

Plane Curves

Download Full-text

Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation)

Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation - ISSAC '14 ◽

10.1145/2608628.2608654 ◽

2014 ◽

Cited By ~ 5

Author(s):

Mădălina Eraşcu ◽

Hoon Hong

Keyword(s):

Quantifier Elimination ◽

Numerical Algorithms ◽

Square Root

Download Full-text

Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation - ISSAC '14Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Unimodular completion of polynomial matrices

Tame decompositions and collisions

Computing low-degree factors of lacunary polynomials

Gröbner bases of toric ideals and their application

Factoring linear differential operators innvariables

Fast arithmetic for the algebraic closure of finite fields

Formal solutions of a class of Pfaffian systems in two variables

Evaluating parametric holonomic sequences using rectangular splitting

On the computation of the topology of plane curves

Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation)

Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation - ISSAC '14
Latest Publications