Proceedings of the 2014 Symposium on Symbolic-Numeric Computation - SNC '14
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450329637

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Prony systems via decimation and homotopy continuation

Proceedings of the 2014 Symposium on Symbolic-Numeric Computation - SNC '14 ◽

10.1145/2631948.2631961 ◽

2014 ◽

Cited By ~ 1

Author(s):

Dmitry Batenkov

Keyword(s):

Homotopy Continuation

Download Full-text

Accelerated approximation of the complex roots of a univariate polynomial

Proceedings of the 2014 Symposium on Symbolic-Numeric Computation - SNC '14 ◽

10.1145/2631948.2631973 ◽

2014 ◽

Cited By ~ 1

Author(s):

Victor Y. Pan ◽

Elias P. Tsigaridas

Keyword(s):

Complex Roots ◽

Univariate Polynomial

Download Full-text

Numerical linear system solving with parametric entries by error correction

Proceedings of the 2014 Symposium on Symbolic-Numeric Computation - SNC '14 ◽

10.1145/2631948.2631956 ◽

2014 ◽

Cited By ~ 6

Author(s):

Brice Boyer ◽

Erich L. Kaltofen

Keyword(s):

Linear System ◽

Error Correction

Download Full-text

Some ideas for the computation of matrix solvents

Proceedings of the 2014 Symposium on Symbolic-Numeric Computation - SNC '14 ◽

10.1145/2631948.2631953 ◽

2014 ◽

Author(s):

Moulay Barkatou ◽

Paola Boito ◽

E. Segura Ugalde

Download Full-text

Cleaning-up data for sparse model synthesis

Proceedings of the 2014 Symposium on Symbolic-Numeric Computation - SNC '14 ◽

10.1145/2631948.2631949 ◽

2014 ◽

Cited By ~ 1

Author(s):

Erich L. Kaltofen

Keyword(s):

Sparse Model ◽

Model Synthesis

Download Full-text

An algorithm to compute certain euler characteristics and Chern-Schwartz-MacPherson classes

Proceedings of the 2014 Symposium on Symbolic-Numeric Computation - SNC '14 ◽

10.1145/2631948.2631972 ◽

2014 ◽

Author(s):

Martin Helmer

Keyword(s):

Euler Characteristics

Download Full-text

Structure of symmetry of PDE

Proceedings of the 2014 Symposium on Symbolic-Numeric Computation - SNC '14 ◽

10.1145/2631948.2631962 ◽

2014 ◽

Author(s):

Ian G. Lisle ◽

S.-L. Tracy Huang ◽

Greg J. Reid

Download Full-text

A multiprecision algorithm for the solution of polynomials and polynomial eigenvalue problems

Proceedings of the 2014 Symposium on Symbolic-Numeric Computation - SNC '14 ◽

10.1145/2631948.2631952 ◽

2014 ◽

Author(s):

Dario A. Bini ◽

Leonardo Robol

Keyword(s):

Eigenvalue Problems

Download Full-text

Nearly optimal computations with structured matrices

Proceedings of the 2014 Symposium on Symbolic-Numeric Computation - SNC '14 ◽

10.1145/2631948.2631954 ◽

2014 ◽

Cited By ~ 4

Author(s):

Victor Y. Pan ◽

Elias P. Tsigaridas

Keyword(s):

Structured Matrices

Download Full-text

Automated theorem proving for special functions

Proceedings of the 2014 Symposium on Symbolic-Numeric Computation - SNC '14 ◽

10.1145/2631948.2631950 ◽

2014 ◽

Author(s):

Lawrence C. Paulson

Keyword(s):

Theorem Proving ◽

Automated Theorem Proving ◽

Special Functions

Download Full-text

Proceedings of the 2014 Symposium on Symbolic-Numeric Computation - SNC '14Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Prony systems via decimation and homotopy continuation

Accelerated approximation of the complex roots of a univariate polynomial

Numerical linear system solving with parametric entries by error correction

Some ideas for the computation of matrix solvents

Cleaning-up data for sparse model synthesis

An algorithm to compute certain euler characteristics and Chern-Schwartz-MacPherson classes

Structure of symmetry of PDE

A multiprecision algorithm for the solution of polynomials and polynomial eigenvalue problems

Nearly optimal computations with structured matrices

Automated theorem proving for special functions

Proceedings of the 2014 Symposium on Symbolic-Numeric Computation - SNC '14
Latest Publications