Abstract is missing.
- Pseudospectra for exponential polynomial matricesRobert M. Corless. 1-2 [doi]
- Error free transformations of floating point numbers and its applications to constructing efficient error free numerical algorithmsShin'ichi Oishi. 3-4 [doi]
- Preconditioning, randomization, solving linear systems, eigen-solving, and root-findingVictor Y. Pan, Guoliang Qian, Ailong Zheng. 5-6 [doi]
- Symbolic-numeric problems in the automatic analysis and verification of cyber-physical systemsStefan Ratschan. 7-8 [doi]
- De-Sinc numerical methodsMasaaki Sugihara. 9-10 [doi]
- Rigorous global search using taylor modelsMartin Berz, Kyoko Makino. 11-20 [doi]
- Exact polynomial factorization by approximate high degree algebraic numbersJingwei Chen, Yong Feng, Xiaolin Qin, Jingzhong Zhang. 21-28 [doi]
- Computing nearest Gcd with certificationGuillaume Chèze, Jean-Claude Yakoubsohn, André Galligo, Bernard Mourrain. 29-34 [doi]
- Extracting numerical factors of multivariate polynomials from taylor expansionsAnnie A. M. Cuyt, Wen-shin Lee. 35-44 [doi]
- Experimental evaluation and cross-benchmarking of univariate real solversMichael Hemmer, Elias P. Tsigaridas, Zafeirakis Zafeirakopoulos, Ioannis Z. Emiris, Menelaos I. Karavelas, Bernard Mourrain. 45-54 [doi]
- An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier eliminationHidenao Iwane, Hitoshi Yanami, Hirokazu Anai, Kazuhiro Yokoyama. 55-64 [doi]
- A proof of the monotone column permanent (MCP) conjecture for dimension 4 via sums-of-squares of rational functionsErich Kaltofen, Zhengfeng Yang, Lihong Zhi. 65-70 [doi]
- Curve/surface intersection problem by means of matrix representationsThang Luu Ba, Laurent Busé, Bernard Mourrain. 71-78 [doi]
- Rigorous integration of flows and ODEs using taylor modelsKyoko Makino, Martin Berz. 79-84 [doi]
- Continued fraction expansion of real roots of polynomial systemsAngelos Mantzaflaris, Bernard Mourrain, Elias P. Tsigaridas. 85-94 [doi]
- Application of filter diagonalization method to numerical solution of algebraic equationsHiroshi Murakami. 95-104 [doi]
- Nearly optimal symbolic-numerical algorithms for structured integer matrices and polynomialsVictor Y. Pan, Brian Murphy, Rhys Eric Rosholt. 105-114 [doi]
- Continuations and monodromy on random riemann surfacesAndré Galligo, Adrien Poteaux. 115-124 [doi]
- Finding exact minimal polynomial by approximationsXiaolin Qin, Yong Feng, Jingwei Chen, Jingzhong Zhang. 125-132 [doi]
- Optimization and NP_R-completeness of certain fewnomialsPhilippe P. Pébay, J. Maurice Rojas, David C. Thompson. 133-142 [doi]
- A method for finding zeros of polynomial equations using a contour integral based eigensolverTetsuya Sakurai, Junko Asakura, Hiroto Tadano, Tsutomu Ikegami, Kinji Kimura. 143-148 [doi]
- Computing multivariate approximate GCD based on Barnett's theoremMasaru Sanuki. 149-158 [doi]
- Convergence and many-valuedness of hensel seriesnear the expansion pointTateaki Sasaki, Daiju Inaba. 159-168 [doi]
- Approximate factorization of polynomials over ZTateaki Sasaki, Yasutaka Ookura. 169-176 [doi]
- Computing clustered close-roots of univariate polynomialsTateaki Sasaki, Akira Terui. 177-184 [doi]
- Finding positively invariant sets of a class of nonlinear loops via curve fittingLiyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng. 185-190 [doi]
- Reducing exact computations to obtain exact results based on stabilization techniquesKiyoshi Shirayanagi, Hiroshi Sekigawa. 191-198 [doi]
- Parametrization of ε-rational curves: extended abstractSonia Pérez-Díaz, J. Rafael Sendra, Sonia L. Rueda, Juana Sendra. 199-200 [doi]