Proceedings of the twenty-first international symposium on Symbolic and algebraic computation - ISSAC '08
Latest Publications

TOTAL DOCUMENTS

46

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By ACM Press

9781595939043

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Real root isolation for exp-log functions

Proceedings of the twenty-first international symposium on Symbolic and algebraic computation - ISSAC '08 ◽

10.1145/1390768.1390810 ◽

2008 ◽

Author(s):

Adam Strzebonski

Keyword(s):

Real Root ◽

Root Isolation ◽

Real Root Isolation

Download Full-text

Hilbert's nullstellensatz and an algorithm for proving combinatorial infeasibility

Proceedings of the twenty-first international symposium on Symbolic and algebraic computation - ISSAC '08 ◽

10.1145/1390768.1390797 ◽

2008 ◽

Author(s):

J. A. De Loera ◽

J. Lee ◽

P. N. Malkin ◽

S. Margulies

Download Full-text

Loewy decomposition of third-order linear aPDE's in the plane

Proceedings of the twenty-first international symposium on Symbolic and algebraic computation - ISSAC '08 ◽

10.1145/1390768.1390807 ◽

2008 ◽

Author(s):

Dima Grigoriev ◽

Fritz Schwarz

Keyword(s):

Third Order ◽

Download Full-text

Complete subdivision algorithms, II

Proceedings of the twenty-first international symposium on Symbolic and algebraic computation - ISSAC '08 ◽

10.1145/1390768.1390783 ◽

2008 ◽

Author(s):

Michael Burr ◽

Sung Woo Choi ◽

Benjamin Galehouse ◽

Chee K. Yap

Keyword(s):

Subdivision Algorithms

Download Full-text

Symbolic optimization of algebraic functions

Proceedings of the twenty-first international symposium on Symbolic and algebraic computation - ISSAC '08 ◽

10.1145/1390768.1390791 ◽

2008 ◽

Author(s):

Masaaki Kanno ◽

Kazuhiro Yokoyama ◽

Hirokazu Anai ◽

Shinji Hara

Keyword(s):

Algebraic Functions

Download Full-text

Moment matrices, trace matrices and the radical of ideals

Proceedings of the twenty-first international symposium on Symbolic and algebraic computation - ISSAC '08 ◽

10.1145/1390768.1390788 ◽

2008 ◽

Author(s):

Itnuit Janovitz-Freireich ◽

Agnes Szántó ◽

Bernard Mourrain ◽

Lajos Ronyai

Download Full-text

When does (T) equal sat(T)?

Proceedings of the twenty-first international symposium on Symbolic and algebraic computation - ISSAC '08 ◽

10.1145/1390768.1390798 ◽

2008 ◽

Author(s):

Francois Lemaire ◽

Marc Moreno Maza ◽

Wei Pan ◽

Yuzhen Xie

Download Full-text

Computing the global optimum of a multivariate polynomial over the reals

Proceedings of the twenty-first international symposium on Symbolic and algebraic computation - ISSAC '08 ◽

10.1145/1390768.1390781 ◽

2008 ◽

Author(s):

Mohab Safey El Din

Keyword(s):

Global Optimum ◽

Multivariate Polynomial

Download Full-text

Algebraic algorithms and coding theory

Proceedings of the twenty-first international symposium on Symbolic and algebraic computation - ISSAC '08 ◽

10.1145/1390768.1390816 ◽

2008 ◽

Author(s):

Madhu Sudan

Keyword(s):

Coding Theory ◽

Algebraic Algorithms

Download Full-text

A rational decomposition-lemma for systems of linear differential-algebraic equations

Proceedings of the twenty-first international symposium on Symbolic and algebraic computation - ISSAC '08 ◽

10.1145/1390768.1390801 ◽

2008 ◽

Author(s):

Eckhard Pflüegel

Keyword(s):

Differential Algebraic Equations ◽

Algebraic Equations ◽

Linear Differential

Download Full-text