Search results for "SNC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Sonia Pérez-Díaz, Li-Yong Shen	Parametrization of translational surfaces.	SNC	2014	DBLP DOI BibTeX RDF
1	Lawrence C. Paulson	Automated theorem proving for special functions: the next phase.	SNC	2014	DBLP DOI BibTeX RDF
1	Greg Reid, Fei Wang, Wenyuan Wu	A note on geometric involutive bases for positive dimensional polynomial ideals and SDP methods.	SNC	2014	DBLP DOI BibTeX RDF
1	Ian G. Lisle, Tracy Shih-lung Huang, Gregory J. Reid	Structure of symmetry of PDE: exploiting partially integrated systems.	SNC	2014	DBLP DOI BibTeX RDF
1	Victor Y. Pan, Elias P. Tsigaridas	Nearly optimal computations with structured matrices.	SNC	2014	DBLP DOI BibTeX RDF
1	Libin Jiao, Bo Yu 0003	Finding a sparse solution of a class of linear differential equations by solving a nonlinear system.	SNC	2014	DBLP DOI BibTeX RDF
1	Erich L. Kaltofen	Cleaning-up data for sparse model synthesis: when symbolic-numeric computation meets error-correcting codes.	SNC	2014	DBLP DOI BibTeX RDF
1	Dario A. Bini, Leonardo Robol	A multiprecision algorithm for the solution of polynomials and polynomial eigenvalue problems.	SNC	2014	DBLP DOI BibTeX RDF
1	Yi Li	A recursive decision method for termination of linear programs.	SNC	2014	DBLP DOI BibTeX RDF
1	Jan Draisma, Emil Horobet, Giorgio Ottaviani, Bernd Sturmfels, Rekha R. Thomas	The euclidean distance degree.	SNC	2014	DBLP DOI BibTeX RDF
1	Christian Eder	Predicting zero reductions in Gröbner basis computations.	SNC	2014	DBLP DOI BibTeX RDF
1	Feng Guo 0007, Chu Wang, Lihong Zhi	Optimizing a linear function over a noncompact real algebraic variety.	SNC	2014	DBLP DOI BibTeX RDF
1	Renato Spigler	On the interplay between asymptotic and numerical methods to solve differential equations problems.	SNC	2014	DBLP DOI BibTeX RDF
1	Wei-guo Wang, Yiming Wei 0001	Mixed and componentwise condition numbers for matrix decompositions.	SNC	2014	DBLP DOI BibTeX RDF
1	Wenyuan Wu, Greg Reid, Yong Feng	Numerical and geometric properties of a method for finding points on real solution components.	SNC	2014	DBLP DOI BibTeX RDF
1	Mark Giesbrecht, Joseph Haraldson	Computing GCRDs of approximate differential polynomials.	SNC	2014	DBLP DOI BibTeX RDF
1	Kai Jin, Jin-San Cheng	Isotopic epsilon-meshing of real algebraic space curves.	SNC	2014	DBLP DOI BibTeX RDF
1	Lihong Zhi, Stephen M. Watt (eds.)	Symbolic-Numeric Computation 2014, SNC '14, Shanghai, China, July 28-31, 2014	SNC	2014	DBLP BibTeX RDF
1	Moulay A. Barkatou, Paola Boito, Esteban Segura Ugalde	Some ideas for the computation of matrix solvents.	SNC	2014	DBLP DOI BibTeX RDF
1	Wang Lin, Min Wu 0003, Zhengfeng Yang, Zhenbing Zeng	Safety verification of nonlinear systems based on rational invariants.	SNC	2014	DBLP DOI BibTeX RDF
1	Hiroshi Sekigawa	The nearest polynomial to multiple given polynomials with a given zero.	SNC	2014	DBLP DOI BibTeX RDF
1	Mohamed Elkadi, André Galligo	Exploring univariate mixed polynomials.	SNC	2014	DBLP DOI BibTeX RDF
1	Martin Helmer	An algorithm to compute certain euler characteristics and Chern-Schwartz-MacPherson classes.	SNC	2014	DBLP DOI BibTeX RDF
1	Victor Y. Pan, Elias P. Tsigaridas	Accelerated approximation of the complex roots of a univariate polynomial.	SNC	2014	DBLP DOI BibTeX RDF
1	Jose Israel Rodriguez	Maximum likelihood for dual varieties.	SNC	2014	DBLP DOI BibTeX RDF
1	Brice Boyer, Erich L. Kaltofen	Numerical linear system solving with parametric entries by error correction.	SNC	2014	DBLP DOI BibTeX RDF
1	Dmitry Batenkov	Prony systems via decimation and homotopy continuation.	SNC	2014	DBLP DOI BibTeX RDF
1	Yong Feng, Jingwei Chen, Wenyuan Wu	Two variants of HJLS-PSLQ with applications.	SNC	2014	DBLP DOI BibTeX RDF
1	Nan Li	An improved method for evaluating Max Noether conditions: case of breadth one.	SNC	2011	DBLP DOI BibTeX RDF
1	Paola Boito, Olivier Ruatta	Extended companion matrix for approximate GCD.	SNC	2011	DBLP DOI BibTeX RDF
1	Tateaki Sasaki, Daiju Inaba	A study of Hensel series in general case.	SNC	2011	DBLP DOI BibTeX RDF
1	Marc Moreno Maza (eds.)	SNC 2011, Proceedings of the 2011 Internation Workshop on Symbolic-Numeric Computation, San Jose, California, USA, June 7-9, 2011	SNC	2011	DBLP BibTeX RDF
1	André Galligo	Roots of the derivatives of some random polynomials.	SNC	2011	DBLP DOI BibTeX RDF
1	Eugene V. Zima	Synthetic division in the context of indefinite summation.	SNC	2011	DBLP DOI BibTeX RDF
1	Bingyu Li, Xiaoli Wu	A subresultant based subspace method for the computation of polynomial GCDs.	SNC	2011	DBLP DOI BibTeX RDF
1	James Demmel	Accurate and efficient expression evaluation and linear algebra, or why it can be easier to compute accurate eigenvalues of a Vandermonde matrix than the accurate sum of 3 numbers.	SNC	2011	DBLP DOI BibTeX RDF
1	Eric Berberich, Pavel Emeliyanenko, Alexander Kobel, Michael Sagraloff	Arrangement computation for planar algebraic curves.	SNC	2011	DBLP DOI BibTeX RDF
1	Masaru Sanuki	Challenge to fast and stable computation of approximate univariate GCD, based on displacement structures.	SNC	2011	DBLP DOI BibTeX RDF
1	Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai	An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems.	SNC	2011	DBLP DOI BibTeX RDF
1	Victor Y. Pan	Univariate polynomial root-finding by arming with constraints.	SNC	2011	DBLP DOI BibTeX RDF
1	Robert M. Corless, Erik Postma, David R. Stoutemyer	GCD of multivariate approximate polynomials using beautification with the subtractive algorithm.	SNC	2011	DBLP DOI BibTeX RDF
1	Stephen M. Watt	Polynomial approximation in handwriting recognition.	SNC	2011	DBLP DOI BibTeX RDF
1	Kosaku Nagasaka	An improvement in the lattice construction process of approximate polynomial GCD over integers.	SNC	2011	DBLP DOI BibTeX RDF
1	Erich L. Kaltofen, Wen-shin Lee, Zhengfeng Yang	Fast estimates of Hankel matrix condition numbers and numeric sparse interpolation.	SNC	2011	DBLP DOI BibTeX RDF
1	Françoise Richard-Jung	Stokes phenomenon: graphical visualization and certified computation.	SNC	2011	DBLP DOI BibTeX RDF
1	Piers W. Lawrence, Robert M. Corless	Numerical stability of barycentric Hermite root-finding.	SNC	2011	DBLP DOI BibTeX RDF
1	Johannes Grotendorst	On calculating the rate of linear convergence of non-linear transformed sequences.	SNC	2011	DBLP DOI BibTeX RDF
1	Thien Nguyen, Bernard Mourrain, André Galligo, Gang Xu 0001	A construction of injective parameterizations of domains for isogeometric applications.	SNC	2011	DBLP DOI BibTeX RDF
1	Chenyi Hu	Interval function and its linear least-squares approximation.	SNC	2011	DBLP DOI BibTeX RDF
1	Madalina Hodorog, Josef Schicho	A regularization method for computing approximate invariants of plane curves singularities.	SNC	2011	DBLP DOI BibTeX RDF
1	Jonathan M. Borwein	Mahler measures, short walks and log-sine integrals: a case study in hybrid computation.	SNC	2011	DBLP DOI BibTeX RDF
1	Min Wu 0003, Zhengfeng Yang	Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coefficients.	SNC	2011	DBLP DOI BibTeX RDF
1	Nargol Rezvani, Robert M. Corless	Using weighted norms to find nearest polynomials satisfying linear constraints.	SNC	2011	DBLP DOI BibTeX RDF
1	Hong Diep Nguyen, Nathalie Revol	Refining and verifying the solution of a linear system.	SNC	2011	DBLP DOI BibTeX RDF
1	Tsz-Wo Sze	Schönhage-Strassen algorithm with MapReduce for multiplying terabit integers.	SNC	2011	DBLP DOI BibTeX RDF
1	Barry H. Dayton	Numerical calculation of H-bases for positive dimensional varieties.	SNC	2011	DBLP DOI BibTeX RDF
1	Ioannis Z. Emiris, Tatjana Kalinka, Christos Konaxis	Implicitization of curves and surfaces using predicted support.	SNC	2011	DBLP DOI BibTeX RDF
1	Narayan Kamath, Irina Voiculescu, Chee K. Yap	Empirical study of an evaluation-based subdivision algorithm for complex root isolation.	SNC	2011	DBLP DOI BibTeX RDF
1	Xiaolin Qin, Yong Feng, Jingwei Chen, Jingzhong Zhang	Finding exact minimal polynomial by approximations.	SNC	2009	DBLP DOI BibTeX RDF
1	Martin Berz, Kyoko Makino	Rigorous global search using taylor models.	SNC	2009	DBLP DOI BibTeX RDF
1	Tateaki Sasaki, Yasutaka Ookura	Approximate factorization of polynomials over Z.	SNC	2009	DBLP DOI BibTeX RDF
1	Victor Y. Pan, Guoliang Qian, Ailong Zheng	Preconditioning, randomization, solving linear systems, eigen-solving, and root-finding.	SNC	2009	DBLP DOI BibTeX RDF
1	Erich L. Kaltofen, Zhengfeng Yang, Lihong Zhi	A proof of the monotone column permanent (MCP) conjecture for dimension 4 via sums-of-squares of rational functions.	SNC	2009	DBLP DOI BibTeX RDF
1	Hiroshi Murakami	Application of filter diagonalization method to numerical solution of algebraic equations.	SNC	2009	DBLP DOI BibTeX RDF
1	Victor Y. Pan, Brian Murphy, Rhys Eric Rosholt	Nearly optimal symbolic-numerical algorithms for structured integer matrices and polynomials.	SNC	2009	DBLP DOI BibTeX RDF
1	Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai, Kazuhiro Yokoyama	An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination.	SNC	2009	DBLP DOI BibTeX RDF
1	Tetsuya Sakurai, Junko Asakura, Hiroto Tadano, Tsutomu Ikegami, Kinji Kimura	A method for finding zeros of polynomial equations using a contour integral based eigensolver.	SNC	2009	DBLP DOI BibTeX RDF
1	Guillaume Chèze, Jean-Claude Yakoubsohn, André Galligo, Bernard Mourrain	Computing nearest Gcd with certification.	SNC	2009	DBLP DOI BibTeX RDF
1	Kyoko Makino, Martin Berz	Rigorous integration of flows and ODEs using taylor models.	SNC	2009	DBLP DOI BibTeX RDF
1	Shin'ichi Oishi	Error free transformations of floating point numbers and its applications to constructing efficient error free numerical algorithms.	SNC	2009	DBLP DOI BibTeX RDF
1	Tateaki Sasaki, Akira Terui	Computing clustered close-roots of univariate polynomials.	SNC	2009	DBLP DOI BibTeX RDF
1	Hiroshi Kai, Hiroshi Sekigawa, Tateaki Sasaki, Kiyoshi Shirayanagi, Ilias S. Kotsireas (eds.)	Symbolic Numeric Computation, SNC '09, Kyoto, Japan - August 03 - 05, 2009	SNC	2009	DBLP BibTeX RDF
1	Philippe P. Pébay, J. Maurice Rojas, David C. Thompson 0001	Optimization and NP_R-completeness of certain fewnomials.	SNC	2009	DBLP DOI BibTeX RDF
1	Angelos Mantzaflaris, Bernard Mourrain, Elias P. Tsigaridas	Continued fraction expansion of real roots of polynomial systems.	SNC	2009	DBLP DOI BibTeX RDF
1	Kiyoshi Shirayanagi, Hiroshi Sekigawa	Reducing exact computations to obtain exact results based on stabilization techniques.	SNC	2009	DBLP DOI BibTeX RDF
1	André Galligo, Adrien Poteaux	Continuations and monodromy on random riemann surfaces.	SNC	2009	DBLP DOI BibTeX RDF
1	Robert M. Corless	Pseudospectra for exponential polynomial matrices.	SNC	2009	DBLP DOI BibTeX RDF
1	Masaru Sanuki	Computing multivariate approximate GCD based on Barnett's theorem.	SNC	2009	DBLP DOI BibTeX RDF
1	Tateaki Sasaki, Daiju Inaba	Convergence and many-valuedness of hensel seriesnear the expansion point.	SNC	2009	DBLP DOI BibTeX RDF
1	Annie A. M. Cuyt, Wen-shin Lee	Extracting numerical factors of multivariate polynomials from taylor expansions.	SNC	2009	DBLP DOI BibTeX RDF
1	Jingwei Chen, Yong Feng, Xiaolin Qin, Jingzhong Zhang	Exact polynomial factorization by approximate high degree algebraic numbers.	SNC	2009	DBLP DOI BibTeX RDF
1	Thang Luu Ba, Laurent Busé, Bernard Mourrain	Curve/surface intersection problem by means of matrix representations.	SNC	2009	DBLP DOI BibTeX RDF
1	Sonia Pérez-Díaz, J. Rafael Sendra, Sonia L. Rueda, Juana Sendra	Parametrization of ε-rational curves: extended abstract.	SNC	2009	DBLP DOI BibTeX RDF
1	Stefan Ratschan	Symbolic-numeric problems in the automatic analysis and verification of cyber-physical systems.	SNC	2009	DBLP DOI BibTeX RDF
1	Liyong Shen, Min Wu 0003, Zhengfeng Yang, Zhenbing Zeng	Finding positively invariant sets of a class of nonlinear loops via curve fitting.	SNC	2009	DBLP DOI BibTeX RDF
1	Masaaki Sugihara	De-Sinc numerical methods.	SNC	2009	DBLP DOI BibTeX RDF
1	Michael Hemmer, Elias P. Tsigaridas, Zafeirakis Zafeirakopoulos, Ioannis Z. Emiris, Menelaos I. Karavelas, Bernard Mourrain	Experimental evaluation and cross-benchmarking of univariate real solvers.	SNC	2009	DBLP DOI BibTeX RDF
1	Hiroshi Kai, Nanami Nakagawa, Matu-Tarow Noda	A hybrid integral for parametrized rational functions.	SNC	2007	DBLP DOI BibTeX RDF	hybrid integral, symbolic-numeric computation
1	Masaru Sanuki, Tateaki Sasaki	Computing Approximate GCDs in Ill-conditioned Cases.	SNC	2007	DBLP DOI BibTeX RDF	approximate GCD, stabilization, euclidean algorithm, ill-conditioned problem
1	Dmytro Chibisov, Ernst W. Mayr	Motion planning for 6R-Robots: multiple tasks with constrained velocity and orientation of the end-effector.	SNC	2007	DBLP DOI BibTeX RDF	motion planning, computer algebra
1	Dhavide A. Aruliah, Robert M. Corless, Laureano González-Vega, Azar Shakoori	Companion matrix pencils for hermite interpolants.	SNC	2007	DBLP DOI BibTeX RDF	companion matrix, hermite interpolation
1	Lloyd N. Trefethen	Computing numerically with functions instead of numbers.	SNC	2007	DBLP DOI BibTeX RDF	Chebyshev series, symbolic-numeric computing
1	Erich L. Kaltofen, Bin Li, Kartik Sivaramakrishnan, Zhengfeng Yang, Lihong Zhi	Lower bounds for approximate factorizations via semidefinite programming: (extended abstract).	SNC	2007	DBLP DOI BibTeX RDF	hybrid method, SDP, approximate factorization
1	A. D. Kennedy, Thomas Binoth, Thomas Rippon	Automating renormalization of quantum field theories.	SNC	2007	DBLP DOI BibTeX RDF	Feynman diagrams, quantum field theory, renormalization theory
1	Erich L. Kaltofen, Zhengfeng Yang, Lihong Zhi	On probabilistic analysis of randomization in hybrid symbolic-numeric algorithms.	SNC	2007	DBLP DOI BibTeX RDF	multivariate rational function, random matrix, structured matrix, interpolation, probabilistic analysis, condition number, sparse polynomial, symbolic/numeric hybrid method
1	Robert M. Corless, Nargol Rezvani	The nearest polynomial of lower degree.	SNC	2007	DBLP DOI BibTeX RDF	lagrange basis, nearest polynomial, CAGD
1	Stephen M. Watt, Jan Verschelde (eds.)	Symbolic-Numeric Computation, SNC 2007, International Workshop, 25-27 July 2007, University of Western Ontario, London, Ontario, Canada	SNC	2007	DBLP DOI BibTeX RDF
1	Greg Leibon, Daniel N. Rockmore, Gregory S. Chirikjian	A fast hermite transform with applications to protein structure determination.	SNC	2007	DBLP DOI BibTeX RDF	generalized fourier transform, orthogonal polynomial transform, three-term recurrence, hermite transform
1	Hiroshi Sekigawa	The nearest polynomial with a zero in a given domain.	SNC	2007	DBLP DOI BibTeX RDF	polynomial, perturbation, zero
1	Helfried Peyrl, Pablo A. Parrilo	A Macaulay 2 package for computing sum of squares decompositions of polynomials with rational coefficients.	SNC	2007	DBLP DOI BibTeX RDF	semideffinite programming, symbolic/numerical methods, sum of squares, algebraic geometry

Publications at "SNC"( http://dblp.L3S.de/Venues/SNC )