Proceedings of the 2009 international symposium on Symbolic and algebraic computation - ISSAC '09
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781605586090

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Interoperating between computer algebra systems

Proceedings of the 2009 international symposium on Symbolic and algebraic computation - ISSAC '09 ◽

10.1145/1576702.1576744 ◽

2009 ◽

Cited By ~ 6

Author(s):

Ana Romero ◽

Graham Ellis ◽

Julio Rubio

Keyword(s):

Computer Algebra ◽

Computer Algebra Systems

Download Full-text

Submersive rational difference systems and their accessibility

Proceedings of the 2009 international symposium on Symbolic and algebraic computation - ISSAC '09 ◽

10.1145/1576702.1576728 ◽

2009 ◽

Cited By ~ 14

Author(s):

Miroslav Halás ◽

Ülle Kotta ◽

Ziming Li ◽

Huaifu Wang ◽

Chunming Yuan

Keyword(s):

Difference Systems

Download Full-text

Computing cylindrical algebraic decomposition via triangular decomposition

Proceedings of the 2009 international symposium on Symbolic and algebraic computation - ISSAC '09 ◽

10.1145/1576702.1576718 ◽

2009 ◽

Cited By ~ 39

Author(s):

Changbo Chen ◽

Marc Moreno Maza ◽

Bican Xia ◽

Lu Yang

Keyword(s):

Triangular Decomposition ◽

Cylindrical Algebraic Decomposition

Download Full-text

Exact numerical computation in algebra and geometry

Proceedings of the 2009 international symposium on Symbolic and algebraic computation - ISSAC '09 ◽

10.1145/1576702.1576757 ◽

2009 ◽

Cited By ~ 1

Author(s):

Chee K. Yap

Keyword(s):

Numerical Computation

Download Full-text

Solution of algebraic riccati equations using the sum of roots

Proceedings of the 2009 international symposium on Symbolic and algebraic computation - ISSAC '09 ◽

10.1145/1576702.1576733 ◽

2009 ◽

Cited By ~ 3

Author(s):

Masaaki Kanno ◽

Kazuhiro Yokoyama ◽

Hirokazu Anai ◽

Shinji Hara

Keyword(s):

Riccati Equations ◽

Algebraic Riccati Equations

Download Full-text

Size of coefficients of lexicographical Groöbner bases

Proceedings of the 2009 international symposium on Symbolic and algebraic computation - ISSAC '09 ◽

10.1145/1576702.1576721 ◽

2009 ◽

Cited By ~ 3

Author(s):

Xavier Dahan

Download Full-text

Symbolic and algebraic methods in computational origami

Proceedings of the 2009 international symposium on Symbolic and algebraic computation - ISSAC '09 ◽

10.1145/1576702.1576704 ◽

2009 ◽

Author(s):

Tetsuo Ida

Keyword(s):

Algebraic Methods

Download Full-text

A Gröbner free alternative to solving and a geometric analogue to Cook's thesis

Proceedings of the 2009 international symposium on Symbolic and algebraic computation - ISSAC '09 ◽

10.1145/1576702.1576703 ◽

2009 ◽

Author(s):

Marc Giusti

Keyword(s):

Free Alternative ◽

Geometric Analogue

Download Full-text

Multihomogeneous resultant formulae for systems with scaled support

Proceedings of the 2009 international symposium on Symbolic and algebraic computation - ISSAC '09 ◽

10.1145/1576702.1576724 ◽

2009 ◽

Cited By ~ 2

Author(s):

Ioannis Z. Emiris ◽

Angelos A. Mantzaflaris

Download Full-text

On delineability of varieties in CAD-based quantifier elimination with two equational constraints

Proceedings of the 2009 international symposium on Symbolic and algebraic computation - ISSAC '09 ◽

10.1145/1576702.1576715 ◽

2009 ◽

Cited By ~ 4

Author(s):

Scott McCallum ◽

Christopher W. Brown

Keyword(s):

Quantifier Elimination

Download Full-text

Proceedings of the 2009 international symposium on Symbolic and algebraic computation - ISSAC '09Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Interoperating between computer algebra systems

Submersive rational difference systems and their accessibility

Computing cylindrical algebraic decomposition via triangular decomposition

Exact numerical computation in algebra and geometry

Solution of algebraic riccati equations using the sum of roots

Size of coefficients of lexicographical Groöbner bases

Symbolic and algebraic methods in computational origami

A Gröbner free alternative to solving and a geometric analogue to Cook's thesis

Multihomogeneous resultant formulae for systems with scaled support

On delineability of varieties in CAD-based quantifier elimination with two equational constraints

Proceedings of the 2009 international symposium on Symbolic and algebraic computation - ISSAC '09
Latest Publications