Sciweavers

FOCM
2016
8 years 24 days ago
A Quadratically Convergent Algorithm for Structured Low-Rank Approximation
Structured Low-Rank Approximation is a problem arising in a wide range of applications in Numerical Analysis and Engineering Sciences. Given an input matrix M, the goal is to comp...
Éric Schost, Pierre-Jean Spaenlehauer
FOCM
2016
8 years 24 days ago
Sign Conditions for Injectivity of Generalized Polynomial Maps with Applications to Chemical Reaction Networks and Real Algebrai
We give necessary and sufficient conditions in terms of sign vectors for the injectivity of families of polynomial maps with arbitrary real exponents defined on the positive orth...
Stefan Müller 0009, Elisenda Feliu, Georg Reg...
FOCM
2016
8 years 24 days ago
On Local Convergence of the Method of Alternating Projections
The method of alternating projections is a classical tool to solve feasibility problems. Here we prove local convergence of alternating projections between subanalytic sets A, B u...
Dominikus Noll, Aude Rondepierre
FOCM
2016
8 years 24 days ago
Arbitrary-Order Trigonometric Fourier Collocation Methods for Multi-Frequency Oscillatory Systems
We rigorously study a novel type of trigonometric Fourier collocation methods for solving multi-frequency oscillatory second-order ordinary differential equations (ODEs) q (t) + M...
Bin Wang, Arieh Iserles, Xinyuan Wu
Automated Reasoning
Top of PageReset Settings