Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '18
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450355506

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the Complexity of Computing Real Radicals of Polynomial Systems

Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '18 ◽

10.1145/3208976.3209002 ◽

2018 ◽

Cited By ~ 2

Author(s):

Mohab Safey El Din ◽

Zhi-Hong Yang ◽

Lihong Zhi

Keyword(s):

Polynomial Systems

Download Full-text

On Computing the Resultant of Generic Bivariate Polynomials

Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '18 ◽

10.1145/3208976.3209020 ◽

2018 ◽

Cited By ~ 4

Author(s):

Gilles Villard

Keyword(s):

Bivariate Polynomials

Download Full-text

Monodromy Solver

Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '18 ◽

10.1145/3208976.3209007 ◽

2018 ◽

Author(s):

Nathan Bliss ◽

Timothy Duff ◽

Anton Leykin ◽

Jeff Sommars

Download Full-text

Modular Algorithms for Computing Minimal Associated Primes and Radicals of Polynomial Ideals

Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '18 ◽

10.1145/3208976.3209014 ◽

2018 ◽

Cited By ~ 1

Author(s):

Toru Aoyama ◽

Masayuki Noro

Keyword(s):

Associated Primes ◽

Polynomial Ideals

Download Full-text

Computing Nearby Non-trivial Smith Forms

Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '18 ◽

10.1145/3208976.3209024 ◽

2018 ◽

Cited By ~ 1

Author(s):

Mark Giesbrecht ◽

Joseph Haraldson ◽

George Labahn

Download Full-text

An Approach for Certifying Homotopy Continuation Paths

Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '18 ◽

10.1145/3208976.3209010 ◽

2018 ◽

Cited By ~ 1

Author(s):

Juan Xu ◽

Michael Burr ◽

Chee Yap

Keyword(s):

Homotopy Continuation

Download Full-text

ZpL

Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '18 ◽

10.1145/3208976.3208995 ◽

2018 ◽

Author(s):

Xavier Caruso ◽

David Roe ◽

Tristan Vaccon

Download Full-text

Desingularization of First Order Linear Difference Systems with Rational Function Coefficients

Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '18 ◽

10.1145/3208976.3208989 ◽

2018 ◽

Cited By ~ 1

Author(s):

Moulay A. Barkatou ◽

Maximilian Jaroschek

Keyword(s):

Rational Function ◽

Order Linear ◽

First Order ◽

Difference Systems ◽

Linear Difference Systems

Download Full-text

GAP 4 at Twenty-one - Algorithms, System Design and Applications

Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '18 ◽

10.1145/3208976.3209026 ◽

2018 ◽

Author(s):

Stephen A. Linton

Keyword(s):

System Design

Download Full-text

Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions

Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '18 ◽

10.1145/3208976.3208992 ◽

2018 ◽

Cited By ~ 8

Author(s):

Alin Bostan ◽

Frédéric Chyzak ◽

Pierre Lairez ◽

Bruno Salvy

Keyword(s):

Definite Integration ◽

Creative Telescoping

Download Full-text

Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '18Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

On the Complexity of Computing Real Radicals of Polynomial Systems

On Computing the Resultant of Generic Bivariate Polynomials

Monodromy Solver

Modular Algorithms for Computing Minimal Associated Primes and Radicals of Polynomial Ideals

Computing Nearby Non-trivial Smith Forms

An Approach for Certifying Homotopy Continuation Paths

ZpL

Desingularization of First Order Linear Difference Systems with Rational Function Coefficients

GAP 4 at Twenty-one - Algorithms, System Design and Applications

Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions

Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '18
Latest Publications