English
Related papers

Related papers: Effective Subdivision Algorithm for Isolating Zero…

200 papers

In this paper, based on the homotopy continuation method and the interval Newton method, an efficient algorithm is introduced to isolate the real roots of semi-algebraic system. Tests on some random examples and a variety of problems…

Numerical Analysis · Mathematics 2013-03-25 Zhenyi Ji , Wenyuan Wu , Yi Li , Yong Feng

We propose an efficient algorithm to compute the real roots of a sparse polynomial $f\in\mathbb{R}[x]$ having $k$ non-zero real-valued coefficients. It is assumed that arbitrarily good approximations of the non-zero coefficients are given…

Symbolic Computation · Computer Science 2017-04-25 Gorav Jindal , Michael Sagraloff

The purpose of this work is to introduce a new idea of how to avoid the factorization of large matrices during the solution of stiff systems of ODEs. Starting from the general form of an explicit linear multistep method we suggest to…

Numerical Analysis · Mathematics 2019-08-22 Boris Faleichik

We provide an irreducibility test in the ring K[[x]][y] whose complexity is quasi-linear with respect to the valuation of the discriminant, assuming the input polynomial F square-free and K a perfect field of characteristic zero or greater…

Algebraic Geometry · Mathematics 2019-11-06 Adrien Poteaux , Martin Weimann

In this paper, we propose a reflected forward-backward splitting algorithic framework for finding a zero of the sum of finitely many monotone op-erators, including maximally monotone operators, cocoercive operators, and monotone and…

Optimization and Control · Mathematics 2026-05-19 Haowen Zheng , Yongyu Fu , Qiao-Li Dong , Shuangbao Li

Herein, we investigate the zero-error randomized complexity, which is the least cost against the worst input, of AND-OR tree computation by imposing various restrictions on the algorithm to find the Boolean value of the root of that tree…

Artificial Intelligence · Computer Science 2025-05-26 Fuki Ito , Toshio Suzuki

We approximate the d complex zeros of a univariate polynomial p(x) of a degree d or those zeros that lie in a fixed region of interest on the complex plane such as a disc or a square. Our divide and conquer algorithm of STOC 1995 supports…

Symbolic Computation · Computer Science 2023-06-13 Victor Y. Pan , Soo Go , Qi Luan , Liang Zhao

Finding the solutions to a system of multivariate polynomial equations is a fundamental problem in mathematics and computer science. It involves evaluating the polynomials at many points, often chosen from a grid. In most current methods,…

Computational Geometry · Computer Science 2024-06-17 Guillaume Moroz

We provide new gradient-based methods for efficiently solving a broad class of ill-conditioned optimization problems. We consider the problem of minimizing a function $f : \mathbb{R}^d \rightarrow \mathbb{R}$ which is implicitly…

Optimization and Control · Mathematics 2021-11-08 Jonathan Kelner , Annie Marsden , Vatsal Sharan , Aaron Sidford , Gregory Valiant , Honglin Yuan

Studying the propagation of uncertainties in a nonlinear dynamical system usually involves generating a set of samples in the stochastic parameter space and then repeated simulations with different sampled parameters. The main difficulty…

Numerical Analysis · Mathematics 2017-09-19 Nan Jiang , Michael Schneier

We give a separation bound for an isolated multiple root $x$ of a square multivariate analytic system $f$ satisfying that an operator deduced by adding $Df(x)$ and a projection of $D^2f(x)$ in a direction of the kernel of $Df(x)$ is…

Numerical Analysis · Mathematics 2023-05-19 Kisun Lee , Nan Li , Lihong Zhi

Very recent work introduces an asymptotically fast subdivision algorithm, denoted ANewDsc, for isolating the real roots of a univariate real polynomial. The method combines Descartes' Rule of Signs to test intervals for the existence of…

Mathematical Software · Computer Science 2016-05-03 Alexander Kobel , Fabrice Rouillier , Michael Sagraloff

This study presents an efficient approach for incomplete data classification, where the entries of samples are missing or masked due to privacy preservation. To deal with these incomplete data, a new kernel function with asymmetric…

Machine Learning · Computer Science 2016-11-22 Bo-Wei Chen

We consider a new splitting based on the Sherman-Morrison-Woodbury formula, which is particularly effective with iterative methods for the numerical solution of large linear systems. These systems involve matrices that are perturbations of…

Numerical Analysis · Mathematics 2023-10-17 Dimitrios Mitsotakis

We propose a multi-index algorithm for the Monte Carlo (MC) discretization of a linear, elliptic PDE with affine-parametric input. We prove an error vs. work analysis which allows a multi-level finite-element approximation in the physical…

Numerical Analysis · Mathematics 2019-07-18 Josef Dick , Michael Feischl , Christoph Schwab

This paper introduces discrete differential form spaces over two-dimensional manifold meshes that feature enhanced subdivision-induced inter-element regularity compared to conventional finite element (FE) spaces. This increase in smoothness…

Numerical Analysis · Mathematics 2026-04-03 Robert Piel , Werner Bauer

Existing algorithms for isolating real solutions of zero-dimensional polynomial systems do not compute the multiplicities of the solutions. In this paper, we define in a natural way the multiplicity of solutions of zero-dimensional…

Symbolic Computation · Computer Science 2009-06-18 Zhihai Zhang , Tian Fang , Bican Xia

We introduce a new class of Monte Carlo based approximations of expectations of random variables such that their laws are only available via certain discretizations. Sampling from the discretized versions of these laws can typically…

Computation · Statistics 2017-10-17 Dan Crisan , Pierre Del Moral , Jeremie Houssineau , Ajay Jasra

We propose a symbolic-numeric algorithm to count the number of solutions of a polynomial system within a local region. More specifically, given a zero-dimensional system $f_1=\cdots=f_n=0$, with $f_i\in\mathbb{C}[x_1,\ldots,x_n]$, and a…

Symbolic Computation · Computer Science 2017-12-18 Ruben Becker , Michael Sagraloff

In this work, we propose a low-cost rate splitting (RS) technique for a multi-user multiple-input single-output (MISO) system operating in frequency division duplex (FDD) mode. The proposed iterative optimisation algorithm only depends on…

Signal Processing · Electrical Eng. & Systems 2024-11-05 Sadaf Syed , Donia Ben Amor , Michael Joham , Wolfgang Utschick