Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation - ISSAC '13
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450320597

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Finding hyperexponential solutions of linear ODEs by numerical evaluation

Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation - ISSAC '13 ◽

10.1145/2465506.2465513 ◽

2013 ◽

Author(s):

Fredrik Johansson ◽

Manuel Kauers ◽

Marc Mezzarobba

Keyword(s):

Numerical Evaluation ◽

Linear Odes

Download Full-text

Constructing a single open cell in a cylindrical algebraic decomposition

Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation - ISSAC '13 ◽

10.1145/2465506.2465952 ◽

2013 ◽

Cited By ~ 10

Author(s):

Christopher W. Brown

Keyword(s):

Open Cell ◽

Cylindrical Algebraic Decomposition

Download Full-text

Computing rational solutions of linear matrix inequalities

Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation - ISSAC '13 ◽

10.1145/2465506.2465949 ◽

2013 ◽

Cited By ~ 1

Author(s):

Qingdong Guo ◽

Mohab Safey EI Din ◽

Lihong Zhi

Keyword(s):

Linear Matrix Inequalities ◽

Linear Matrix ◽

Matrix Inequalities ◽

Rational Solutions

Download Full-text

Second order differential equations with hypergeometric solutions of degree three

Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation - ISSAC '13 ◽

10.1145/2465506.2465953 ◽

2013 ◽

Cited By ~ 4

Author(s):

Vijay Jung Kunwar ◽

Mark van Hoeij

Keyword(s):

Differential Equations ◽

Second Order ◽

Second Order Differential Equations ◽

Hypergeometric Solutions

Download Full-text

Hermite reduction and creative telescoping for hyperexponential functions

Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation - ISSAC '13 ◽

10.1145/2465506.2465946 ◽

2013 ◽

Cited By ~ 22

Author(s):

Alin Bostan ◽

Shaoshi Chen ◽

Frédéric Chyzak ◽

Ziming Li ◽

Guoce Xin

Keyword(s):

Creative Telescoping

Download Full-text

An explicit expression of the Lüroth invariant

Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation - ISSAC '13 ◽

10.1145/2465506.2465507 ◽

2013 ◽

Cited By ~ 3

Author(s):

Romain Basson ◽

Reynald Lercier ◽

Christophe Ritzenthaler ◽

Jeroen Sijsling

Keyword(s):

Explicit Expression

Download Full-text

Interfacing mathemagix with C++

Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation - ISSAC '13 ◽

10.1145/2465506.2465511 ◽

2013 ◽

Cited By ~ 5

Author(s):

Joris van der Hoeven ◽

Grégoire Lecerf

Download Full-text

Verified error bounds for real solutions of positive-dimensional polynomial systems

Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation - ISSAC '13 ◽

10.1145/2465506.2465951 ◽

2013 ◽

Cited By ~ 3

Author(s):

Zhengfeng Yang ◽

Lihong Zhi ◽

Yijun Zhu

Keyword(s):

Error Bounds ◽

Polynomial Systems ◽

Real Solutions

Download Full-text

Computer algebra

Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation - ISSAC '13 ◽

10.1145/2465506.2465930 ◽

2013 ◽

Cited By ~ 1

Author(s):

Stephen Wolfram

Keyword(s):

Computer Algebra

Download Full-text

Integration of unspecified functions and families of iterated integrals

Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation - ISSAC '13 ◽

10.1145/2465506.2465939 ◽

2013 ◽

Cited By ~ 1

Author(s):

Clemens G. Raab

Keyword(s):

Iterated Integrals

Download Full-text

Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation - ISSAC '13Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Finding hyperexponential solutions of linear ODEs by numerical evaluation

Constructing a single open cell in a cylindrical algebraic decomposition

Computing rational solutions of linear matrix inequalities

Second order differential equations with hypergeometric solutions of degree three

Hermite reduction and creative telescoping for hyperexponential functions

An explicit expression of the Lüroth invariant

Interfacing mathemagix with C++

Verified error bounds for real solutions of positive-dimensional polynomial systems

Computer algebra

Integration of unspecified functions and families of iterated integrals

Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation - ISSAC '13
Latest Publications