English
Related papers

Related papers: Solving via modular methods

200 papers

We look at the number of solutions of an equation of the form f_1*f_2*...*f_k=a in a finite field, where each f_i is a multilinear polynomial. We use two methods to construct a solution of this problem for the cases a=0, a<>0, and we…

Number Theory · Mathematics 2007-05-23 T. Narayaninsamy , D. -J. Mercier , J. -P. Cherdieu

A problem that is frequently encountered in a variety of mathematical contexts, is to find the common invariant subspaces of a single, or set of matrices. A new method is proposed that gives a definitive answer to this problem. The key idea…

General Mathematics · Mathematics 2024-08-29 Ahmad Y. Al-Dweik , Ryad Ghanam , Gerard Thompson , Hassan Azad

We are concerned with the problem of decomposing the parameter space of a parametric system of polynomial equations, and possibly some polynomial inequality constraints, with respect to the number of real solutions that the system attains.…

Symbolic Computation · Computer Science 2022-02-11 AmirHosein Sadeghimanesh , Matthew England

Science about optimization methods is rapidly developing today. In machine learning, computer vision, biology, medicine, construction and in many other different areas optimization methods have vast popularity and they appear as important…

Optimization and Control · Mathematics 2017-05-30 Alexander Tyurin

There are several efficient methods to solve linear interval polynomial systems in the context of interval computations, however, the general case of interval polynomial systems is not yet covered as well. In this paper we introduce a new…

Symbolic Computation · Computer Science 2015-06-09 Sajjad Rahmany , Abdolali Basiri , Benyamin M. -Alizadeh

We present an algorithm to solve a system of diagonal polynomial equations over finite fields when the number of variables is greater than some fixed polynomial of the number of equations whose degree depends only on the degree of the…

Computational Complexity · Computer Science 2016-06-09 Gabor Ivanyos , Miklos Santha

In this paper, we demonstrate that many of the computational tools for univariate orthogonal polynomials have analogues for a family of bivariate orthogonal polynomials on the triangle, including Clenshaw's algorithm and sparse…

Numerical Analysis · Mathematics 2019-02-14 Sheehan Olver , Alex Townsend , Geoff Vasil

In this work, we derive numerous identities for multivariate q-Euler polynomials by using umbral calculus.

Number Theory · Mathematics 2014-02-04 Serkan Araci , Xiangxing Kong , Mehmet Acikgoz , Erdoğan Şen

We study the complexity of some fundamental operations for triangular sets in dimension zero. Using Las-Vegas algorithms, we prove that one can perform such operations as change of order, equiprojectable decomposition, or quasi-inverse…

Symbolic Computation · Computer Science 2011-09-21 Adrien Poteaux , Éric Schost

We construct a Gr\"obner Basis of the relation ideal of a polynomial, give an interpolation formula for the basis elements and explain the connection of the interpolation formula to the Buchberger--M\"oller algorithm. We present a situation…

Number Theory · Mathematics 2007-05-23 Mathias Lederer

In this paper, we give an algorithm for finding general rational solutions of a given first-order ODE with parametric coefficients that occur rationally. We present an analysis, complete modulo Hilbert's irreducibility problem, of the…

Symbolic Computation · Computer Science 2025-07-10 Sebastian Falkensteiner , Rafael Sendra

Topology optimization problems often support multiple local minima due to a lack of convexity. Typically, gradient-based techniques combined with continuation in model parameters are used to promote convergence to more optimal solutions;…

Numerical Analysis · Mathematics 2021-01-13 Ioannis P. A. Papadopoulos , Patrick E. Farrell , Thomas M. Surowiec

By using the squared slack variables technique, we demonstrate that the solution set of a general polynomial complementarity problem is the image, under a specific projection, of the set of real zeroes of a system of polynomials. This paper…

Optimization and Control · Mathematics 2025-07-01 Vu Trung Hieu , Alfredo Noel Iusem , Paul Hugo Schmölling , Akiko Takeda

We present algorithms for computing zero-dimensional tropical varieties as implemented in OscarZerodimensionalTropicalization.jl. The algorithms include a mathematical workaround for a common practical issue arising when working with…

Algebraic Geometry · Mathematics 2025-12-01 Arman Marti-Shahandeh , Yue Ren , Victoria Schleis

We propose a new algorithm for multiplying dense polynomials with integer coefficients in a parallel fashion, targeting multi-core processor architectures. Complexity estimates and experimental comparisons demonstrate the advantages of this…

Symbolic Computation · Computer Science 2016-12-20 Changbo Chen , Svyatoslav Covanov , Farnam Mansouri , Marc Moreno Maza , Ning Xie , Yuzhen Xie

We consider resultant-based methods for elimination of indeterminates of Ore polynomial systems in Ore algebra. We start with defining the concept of resultant for bivariate Ore polynomials then compute it by the Dieudonne determinant of…

Symbolic Computation · Computer Science 2022-10-10 Raqeeb Rasheed

We present the Matlab toolbox MacaulayLab, which implements numerical linear algebra algorithms for solving multivariate polynomial systems and rectangular multiparameter eigenvalue problems. Its structure and functionality are the result…

Mathematical Software · Computer Science 2026-05-21 Christof Vermeersch , Bart De Moor

In present paper we propose seemingly new method for finding solutions of some types of nonlinear PDEs in closed form. The method is based on decomposition of nonlinear operators on sequence of operators of lower orders. It is shown that…

Mathematical Physics · Physics 2007-05-23 Yu. N. Kosovtsov

We consider the problem of solving mixed random linear equations with $k$ components. This is the noiseless setting of mixed linear regression. The goal is to estimate multiple linear models from mixed samples in the case where the labels…

Machine Learning · Computer Science 2016-08-23 Xinyang Yi , Constantine Caramanis , Sujay Sanghavi

We consider the problem of finding exact sums of squares (SOS) decompositions for certain classes of non-negative multivariate polynomials, relying on semidefinite programming (SDP) solvers. We start by providing a hybrid numeric-symbolic…

Symbolic Computation · Computer Science 2018-03-01 Victor Magron , Mohab Safey El Din
‹ Prev 1 4 5 6 7 8 10 Next ›