Sciweavers

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

claim paper

Read More »

348

Voted

FOCM
2016

78views Automated Reasoning» more FOCM 2016»

Sign Conditions for Injectivity of Generalized Polynomial Maps with Applications to Chemical Reaction Networks and Real Algebrai

10 years 1 days ago

Download www.math.tamu.edu

We give necessary and suﬃcient conditions in terms of sign vectors for the injectivity of families of polynomial maps with arbitrary real exponents deﬁned on the positive orth...

Stefan Müller 0009, Elisenda Feliu, Georg Reg...

claim paper

Read More »

330

Voted

FOCM
2016

77views Automated Reasoning» more FOCM 2016»

On Local Convergence of the Method of Alternating Projections

10 years 1 days ago

Download www.optimization-online.org

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

claim paper

Read More »

354

Voted

FOCM
2016

73views Automated Reasoning» more FOCM 2016»

Arbitrary-Order Trigonometric Fourier Collocation Methods for Multi-Frequency Oscillatory Systems

10 years 1 days ago

Download www.damtp.cam.ac.uk

We rigorously study a novel type of trigonometric Fourier collocation methods for solving multi-frequency oscillatory second-order ordinary diﬀerential equations (ODEs) q (t) + M...

Bin Wang, Arieh Iserles, Xinyuan Wu

claim paper

Read More »

All Subjects

Algorithms

Applied Computing

Artificial Intelligence

Computational Geometry