English
Related papers

Related papers: On Computation of Kolchin Characteristic Sets: Ord…

200 papers

In this paper, a new triangular decomposition algorithm is proposed for ordinary differential polynomial systems, which has triple exponential computational complexity. The key idea is to eliminate one algebraic variable from a set of…

Symbolic Computation · Computer Science 2015-03-17 Wei Zhu , Xiao-Shan Gao

By double ideal quotient, we mean $(I:(I:J))$ where ideals $I$ and $J$. In our previous work [11], double ideal quotient and its variants are shown to be very useful for checking prime divisor and generating primary component. Combining…

Commutative Algebra · Mathematics 2022-02-15 Yuki Ishihara

Recently, there has been a lot of interest in using neural networks for solving partial differential equations. A number of neural network-based partial differential equation solvers have been formulated which provide performances…

Machine Learning · Computer Science 2020-04-21 Shehryar Malik , Usman Anwar , Ali Ahmed , Alireza Aghasi

Algorithms of control of differential equations solutions are under investigation in the article. Idealized and real modifications of the algorithms are distinguished. An equation, which can be the base equation for investigation of the…

Numerical Analysis · Computer Science 2016-01-05 Yu. V. Troshchiev

Regular chains and triangular decompositions are fundamental and well-developed tools for describing the complex solutions of polynomial systems. This paper proposes adaptations of these tools focusing on solutions of the real analogue:…

Symbolic Computation · Computer Science 2010-05-17 Changbo Chen , James H. Davenport , John P. May , Marc Moreno Maza , Bican Xia , Rong Xiao

This research introduces a new method for the transition from partial to ordinary differential equations that is based on the Kolmogorov superposition theorem. In this paper, we discuss the numerical implementation of the Kolmogorov theorem…

Numerical Analysis · Mathematics 2021-11-02 Korney Tomashchuk

We describe an algorithm for splitting permutation representations of finite group over fields of characteristic zero into irreducible components. The algorithm is based on the fact that the components of the invariant inner product in…

Representation Theory · Mathematics 2018-03-06 Vladimir V. Kornyak

In this paper, we tackle two important problems in low-rank learning, which are partial singular value decomposition and numerical rank estimation of huge matrices. By using the concepts of Krylov subspaces such as Golub-Kahan…

Machine Learning · Statistics 2021-09-07 Reza Godaz , Reza Monsefi , Faezeh Toutounian , Reshad Hosseini

We connect shift-invariant characteristic kernels to infinitely divisible distributions on $\mathbb{R}^{d}$. Characteristic kernels play an important role in machine learning applications with their kernel means to distinguish any two…

Machine Learning · Statistics 2016-10-26 Yu Nishiyama , Kenji Fukumizu

The paper considers the Cauchy problem for the system of partial differential equations of fractional order $D_t^{\mathcal{B}} {U}(t,x) + \mathbb{A}(D) {U} (t,x)=H(t,x) $. Here $U$ and $H$ are vector-functions, the $m\times m$ matrix of…

Analysis of PDEs · Mathematics 2024-05-24 Ravshan Ashurov , Ilyoskhuja Sulaymonov

It is common in stability analysis to linearize a system and investigate the spectrum of the Jacobian matrix. This approach faces the challenge of determining the matrix spectrum when the coefficients depend on parameters or when the…

Dynamical Systems · Mathematics 2025-03-17 Ziyad AlSharawi , Jose S. Cánovas , Sadok Kallel

In this paper are examined general classes of linear and non-linear analytical systems of partial differential equations. Indeed the integrability conditions are found and if they are satisfied, the solutions are given as functional series…

General Mathematics · Mathematics 2025-05-30 Kostadin Trenčevski

In this paper we introduce a method of characteristic sets with respect to several term orderings for difference-differential polynomials. Using this technique, we obtain a method of computation of multivariate dimension polynomials of…

Commutative Algebra · Mathematics 2013-02-07 Alexander Levin

We explore the possibility to derive basic calculus rules for some subdifferential constructions associated to set-valued maps between normed vector spaces. Then, we use these results in order to write optimality conditions for a special…

Optimization and Control · Mathematics 2023-11-28 Marius Durea , Elena-Andreea Florea

We give an algorithm for computing the factor ring of a given ideal in a Dedekind domain with finite rank, which runs in deterministic and polynomial-time. We provide two applications of the algorithm: judging whether a given ideal is prime…

Rings and Algebras · Mathematics 2017-03-30 Dandan Huang , Yingpu Deng

This overview is devoted to splitting methods, a class of numerical integrators intended for differential equations that can be subdivided into different problems easier to solve than the original system. Closely connected with this class…

Numerical Analysis · Mathematics 2024-05-08 Sergio Blanes , Fernando Casas , Ander Murua

Recent breakthroughs have been made in the use of semidefinite programming and its application to real polynomial solving. For example, the real radical of a zero dimensional ideal, can be determined by such approaches as shown by Lasserre…

Optimization and Control · Mathematics 2016-11-08 Fei Wang , Greg Reid , Henry Wolkowicz

We show that any lexsegment ideal with linear resolution has linear quotients with respect to a suitable ordering of its minimal monomial generators. For completely lexsegment ideals with linear resolution we show that the decomposition…

Commutative Algebra · Mathematics 2008-02-12 Viviana Ene , Anda Olteanu , Loredana Sorrenti

This paper has two aims. The first is to study ideals of minors of matrices whose entries are among the variables of a polynomial ring. Specifically, we describe matrices whose ideals of minors of a given size are prime. The main result in…

Commutative Algebra · Mathematics 2007-05-23 Mordechai Katzman

It is well known that for a first order system of linear difference equations with rational function coefficients, a solution that is holomorphic in some left half plane can be analytically continued to a meromorphic solution in the whole…

Symbolic Computation · Computer Science 2018-02-06 Moulay A. Barkatou , Maximilian Jaroschek