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

TOTAL DOCUMENTS

49

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By ACM Press

9781450334358

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Algorithm to Check Whether a Basis of a Parametric Polynomial System is a Comprehensive Gröbner Basis and the Associated Completion Algorithm

Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '15 ◽

10.1145/2755996.2756676 ◽

2015 ◽

Author(s):

Deepak Kapur ◽

Yiming Yang

Keyword(s):

Gröbner Basis ◽

Polynomial System ◽

Grobner Basis ◽

Parametric Polynomial System

Download Full-text

Near Optimal Subdivision Algorithms for Real Root Isolation

Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '15 ◽

10.1145/2755996.2756656 ◽

2015 ◽

Author(s):

Vikram Sharma ◽

Prashant Batra

Keyword(s):

Real Root ◽

Subdivision Algorithms ◽

Root Isolation ◽

Real Root Isolation

Download Full-text

Open Non-uniform Cylindrical Algebraic Decompositions

Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '15 ◽

10.1145/2755996.2756654 ◽

2015 ◽

Author(s):

Christopher W. Brown

Download Full-text

Integral D-Finite Functions

Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '15 ◽

10.1145/2755996.2756658 ◽

2015 ◽

Author(s):

Manuel Kauers ◽

Christoph Koutschan

Download Full-text

Optimization Problems over Noncompact Semialgebraic Sets

Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '15 ◽

10.1145/2755996.2756638 ◽

2015 ◽

Author(s):

Lihong Zhi

Keyword(s):

Optimization Problems ◽

Semialgebraic Sets

Download Full-text

On the Sign of a Trigonometric Expression

Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '15 ◽

10.1145/2755996.2756664 ◽

2015 ◽

Author(s):

Pierre-Vincent Koseleff ◽

Fabrice Rouillier ◽

Cuong Tran

Download Full-text

Computing Logarithmic Vector Fields Associated with Parametric Semi-Quasihomogeneous Hypersurface Isolated Singularities

Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '15 ◽

10.1145/2755996.2756641 ◽

2015 ◽

Author(s):

Katsusuke Nabeshima ◽

Shinichi Tajima

Keyword(s):

Vector Fields ◽

Isolated Singularities

Download Full-text

Amenability of Schreier Graphs and Strongly Generic Algorithms for the Conjugacy Problem

Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '15 ◽

10.1145/2755996.2756644 ◽

2015 ◽

Author(s):

Volker Diekert ◽

Alexei Myasnikov ◽

Armin Weiß

Keyword(s):

Conjugacy Problem ◽

Schreier Graphs ◽

Generic Algorithms

Download Full-text

Real Quantifier Elimination by Computation of Comprehensive Gröbner Systems

Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '15 ◽

10.1145/2755996.2756646 ◽

2015 ◽

Author(s):

Ryoya Fukasaku ◽

Hidenao Iwane ◽

Yosuke Sato

Keyword(s):

Quantifier Elimination ◽

Comprehensive Gröbner Systems

Download Full-text

Exact Linear Algebra Algorithmic

Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '15 ◽

10.1145/2755996.2756684 ◽

2015 ◽

Author(s):

Clément Pernet

Keyword(s):

Download Full-text