English
Related papers

Related papers: Decomposable sparse polynomial systems

200 papers

This paper applies the Thomas decomposition technique to nonlinear control systems, in particular to the study of the dependence of the system behavior on parameters. Thomas' algorithm is a symbolic method which splits a given system of…

Optimization and Control · Mathematics 2020-01-24 Markus Lange-Hegermann , Daniel Robertz

Some particular examples of classical and quantum systems on the lattice are solved with the help of orthogonal polynomials and its connection to continuous models are explored.

Mathematical Physics · Physics 2007-05-23 M. Lorente

When solving partial differential equations (PDEs) using finite difference or finite element methods, efficient solvers are required for handling large sparse linear systems. In this paper, a recursive sparse LU decomposition for matrices…

Numerical Analysis · Mathematics 2024-08-27 Zhu Xuanru , Lai Jun

This note introduces the Macaulay2 package SchurVeronese, which gathers together data about Veronese syzygies and makes it readily accessible in Macaulay2. In addition to standard Betti tables, the package includes information about the…

Commutative Algebra · Mathematics 2022-03-09 Juliette Bruce , Daniel Erman , Steve Goldstein , Jay Yang

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

To compute solutions of sparse polynomial systems efficiently we have to exploit the structure of their Newton polytopes. While the application of polyhedral methods naturally excludes solutions with zero components, an irreducible…

Symbolic Computation · Computer Science 2014-05-05 Danko Adrovic , Jan Verschelde

The Macaulay2 package RealRoots provides symbolic methods to study real solutions to systems of polynomial equations. It updates and expands an earlier package developed by Grayson and Sottile in 1999. We provide mathematical background and…

Algebraic Geometry · Mathematics 2024-06-05 Jordy Lopez Garcia , Kelly Maluccio , Frank Sottile , Thomas Yahl

We present an adaptation of the so-called structural method \cite{CMM23} for Hamiltonian systems, and redesign the method for this specific context, which involves two coupled differential systems. Structural schemes decompose the problem…

Numerical Analysis · Mathematics 2025-01-24 Stéphane Clain , Emmanuel Franck , Victor Michel-Dansac

We discuss the parallelization of algorithms for solving polynomial systems symbolically by way of triangular decomposition. Algorithms for solving polynomial systems combine low-level routines for performing arithmetic operations on…

Symbolic Computation · Computer Science 2019-06-04 Mohammadali Asadi , Alexander Brandt , Robert H. C. Moir , Marc Moreno Maza , Yuzhen Xie

This introduces Rees algebras and some of their uses with illustrations via version 2.0 of the Macaulay2 package ReesAlgebra.m2.

Commutative Algebra · Mathematics 2017-09-05 David Eisenbud

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

We present a highly scalable algorithm for multiplying sparse multivariate polynomials represented in a distributed format. This algo- rithm targets not only the shared memory multicore computers, but also computers clusters or specialized…

Symbolic Computation · Computer Science 2013-04-01 Mickael Gastineau , Jacques Laskar

Numerical Algebraic Geometry uses numerical data to describe algebraic varieties. It is based on the methods of numerical polynomial homotopy continuation, an alternative to the classical symbolic approaches of computational algebraic…

Algebraic Geometry · Mathematics 2011-11-23 Anton Leykin

The existence of decomposition solutions of the well-known nonlinear BKP hierarchy is explored. It is shown that these decompositions provide simple and interesting relationships between classical integrable systems and the BKP hierarchy.…

Exactly Solvable and Integrable Systems · Physics 2021-09-08 Xiazhi Hao , S. Y. Lou

We present {\tt RandomPoints}, a package in \emph{Macaulay2} designed mainly to identify rational and geometric points in a variety over a finite field. We provide tools to estimate the dimension of a variety. We also present methods to…

Algebraic Geometry · Mathematics 2023-08-30 Sankhaneel Bisui , Zhan Jiang , Sarasij Maitra , Thái Thành Nguyên , Karl Schwede

In this paper we show how we can compute in a deterministic way the decomposition of a multivariate rational function with a recombination strategy. The key point of our recombination strategy is the used of Darboux polynomials. We study…

Symbolic Computation · Computer Science 2014-02-26 Guillaume Chèze

The polynomial algebra is a deformed SU(2) algebra. Here, we use polynomial algebra as a method to solve a series of deformed oscillators. Meanwhile, we find a series of physics systems corresponding with polynomial algebra with different…

Mathematical Physics · Physics 2015-05-14 Ci Song , Fu-Lin Zhang , Jing-Ling Chen

In this paper, a multiplicity preserving triangular set decomposition algorithm is proposed for a system of two polynomials. The algorithm decomposes the variety defined by the polynomial system into unmixed components represented by…

Symbolic Computation · Computer Science 2011-01-20 Jin-San Cheng , Xiao-Shan Gao

Consider a system F of n polynomial equations in n unknowns, over an algebraically closed field of arbitrary characteristic. We present a fast method to find a point in every irreducible component of the zero set Z of F. Our techniques…

Algebraic Geometry · Mathematics 2007-05-23 J. Maurice Rojas

This work proposes a research problem of finding sparse solution of undetermined Linear system with some applications. Two approaches how to solve the compressive sensing problem: using l_1 approach , the l_q approach with 0 < q < 1.…

Optimization and Control · Mathematics 2017-02-24 Maddullah Almerdasy