SNC

Keyphrases

Publications

2014

Renato Spigler
On the interplay between asymptotic and numerical methods to solve differential equations problems. SNC (2014)
Erich L. Kaltofen
Cleaning-up data for sparse model synthesis: when symbolic-numeric computation meets error-correcting codes. SNC (2014)
Libin Jiao, Bo Yu
Finding a sparse solution of a class of linear differential equations by solving a nonlinear system. SNC (2014)
Hiroshi Sekigawa
The nearest polynomial to multiple given polynomials with a given zero. SNC (2014)
Jan Draisma, Emil Horobet, Giorgio Ottaviani, Bernd Sturmfels, Rekha R. Thomas
The euclidean distance degree. SNC (2014)
Victor Y. Pan, Elias P. Tsigaridas
Nearly optimal computations with structured matrices. SNC (2014)
Moulay A. Barkatou, Paola Boito, Esteban Segura Ugalde
Some ideas for the computation of matrix solvents. SNC (2014)
Feng Guo, Chu Wang, Lihong Zhi
Optimizing a linear function over a noncompact real algebraic variety. SNC (2014)
Dmitry Batenkov
Prony systems via decimation and homotopy continuation. SNC (2014)
Brice Boyer, Erich L. Kaltofen
Numerical linear system solving with parametric entries by error correction. SNC (2014)
Christian Eder
Predicting zero reductions in Gröbner basis computations. SNC (2014)
Mohamed Elkadi, André Galligo
Exploring univariate mixed polynomials. SNC (2014)
Ian G. Lisle, Tracy Shih-lung Huang, Gregory J. Reid
Structure of symmetry of PDE: exploiting partially integrated systems. SNC (2014)
Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng
Safety verification of nonlinear systems based on rational invariants. SNC (2014)
Greg Reid, Fei Wang, Wenyuan Wu
A note on geometric involutive bases for positive dimensional polynomial ideals and SDP methods. SNC (2014)
Wei-guo Wang, Yimin Wei
Mixed and componentwise condition numbers for matrix decompositions. SNC (2014)
Lawrence C. Paulson
Automated theorem proving for special functions: the next phase. SNC (2014)
Symbolic-Numeric Computation 2014, SNC '14, Shanghai, China, July 28-31, 2014 SNC (2014)
Sonia Pérez-Díaz, Li-Yong Shen
Parametrization of translational surfaces. SNC (2014)
Dario A. Bini, Leonardo Robol
A multiprecision algorithm for the solution of polynomials and polynomial eigenvalue problems. SNC (2014)
Yong Feng, Jingwei Chen, Wenyuan Wu
Two variants of HJLS-PSLQ with applications. SNC (2014)
Wenyuan Wu, Greg Reid, Yong Feng
Numerical and geometric properties of a method for finding points on real solution components. SNC (2014)
Mark Giesbrecht, Joseph Haraldson
Computing GCRDs of approximate differential polynomials. SNC (2014)
Martin Helmer
An algorithm to compute certain euler characteristics and Chern-Schwartz-MacPherson classes. SNC (2014)
Victor Y. Pan, Elias P. Tsigaridas
Accelerated approximation of the complex roots of a univariate polynomial. SNC (2014)
Jose Israel Rodriguez
Maximum likelihood for dual varieties. SNC (2014)
Kai Jin, Jin-San Cheng
Isotopic epsilon-meshing of real algebraic space curves. SNC (2014)
Yi Li
A recursive decision method for termination of linear programs. SNC (2014)

2011