English
Related papers

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

200 papers

We study a notion of indecomposability in differential algebraic groups which is inspired by both model theory and differential algebra. After establishing some basic definitions and results, we prove an indecomposability theorem for…

Logic · Mathematics 2014-10-24 James Freitag

This paper is devoted to give all the technical constructions and definitions that will lead to the construction of an algorithm of resolution of singularities for binomial ideals. We construct a resolution function that will provide a…

Algebraic Geometry · Mathematics 2010-09-06 Rocio Blanco

In this paper we introduce a working generalization of the theory of Gr\"obner bases for algebras of partial difference polynomials with constant coefficients. One obtains symbolic (formal) computation for systems of linear or non-linear…

Rings and Algebras · Mathematics 2013-07-24 Roberto La Scala

We present an algorithm for computing a holonomic system for a definite integral of a holonomic function over a domain defined by polynomial inequalities. If the integrand satisfies a holonomic difference-differential system including…

Symbolic Computation · Computer Science 2016-04-05 Toshinori Oaku

In this paper, we describe an algorithm that efficiently collect relations in class groups of number fields defined by a small defining polynomial. This conditional improvement consists in testing directly the smoothness of principal ideals…

Number Theory · Mathematics 2018-10-30 Alexandre Gélin

The randomly pivoted partial Cholesky algorithm (RPCholesky) computes a factorized rank-k approximation of an N x N positive-semidefinite (psd) matrix. RPCholesky requires only (k + 1) N entry evaluations and O(k^2 N) additional arithmetic…

Numerical Analysis · Mathematics 2024-10-23 Yifan Chen , Ethan N. Epperly , Joel A. Tropp , Robert J. Webber

In this note we provide an algorithm for computing the fractional integrals of orthogonal polynomials, which is more stable than that using the expression of the polynomials w.r.t. the canonical basis. This algorithm is aimed at solving…

Numerical Analysis · Mathematics 2022-07-27 P. Amodio , L. Brugnano , F. Iavernaro

An algorithm is presented for the efficient and accurate computation of the coefficients of the characteristic polynomial of a general square matrix. The algorithm is especially suited for the evaluation of canonical traces in determinant…

Numerical Analysis · Mathematics 2025-10-20 S. Rombouts , K. Heyde

The paper presents two algorithms for finding irreducible decomposition of monomial ideals. The first one is recursive, derived from staircase structures of monomial ideals. This algorithm has a good performance for highly non-generic…

Commutative Algebra · Mathematics 2008-11-24 Shuhong Gao , Mingfu Zhu

In this paper, we propose a tensor type of discretization and optimization process for solving high dimensional partial differential equations. First, we design the tensor type of trial function for the high dimensional partial differential…

Numerical Analysis · Mathematics 2022-12-01 Yangfei Liao , Yifan Wang , Hehu Xie

This paper is devoted to the study of the singularly perturbed second order partial integro-differential equations. The estimation of the solutions of Cauchy problem is obtained.

Classical Analysis and ODEs · Mathematics 2007-05-23 I. Kopshaev

Machine learning based partial differential equations (PDEs) solvers have received great attention in recent years. Most progress in this area has been driven by deep neural networks such as physics-informed neural networks (PINNs) and…

Numerical Analysis · Mathematics 2025-09-23 Chunyang Liao

We discuss the problem of determining reduction number of a polynomial ideal I in n variables. We present two algorithms based on parametric computations. The first one determines the absolute reduction number of I and requires computation…

Commutative Algebra · Mathematics 2014-06-16 Amir Hashemi , Michael Schweinfurter , Werner M. Seiler

We revisit Kolchin's results on definability of differential Galois groups of strongly normal extensions, in the case where the field of constants is not necessarily algebraically closed. In certain classes of differential topological…

Logic · Mathematics 2017-05-17 Quentin Brouette , Francoise Point

In this paper we give an explicit solution of Dzherbashyan-Caputo-fractional Cauchy problems related to equations with derivatives of order $\nu k$, for $k$ non-negative integer and $\nu>0$. The solution is obtained by connecting the…

Probability · Mathematics 2023-09-12 Fabrizio Cinque , Enzo Orsingher

The Cauchy problem for fractional derivatives linear systems of ordinary differential equations with constant coefficients is considered, where at first the analytic expressions are given through the matrix exponent of its corresponding…

Dynamical Systems · Mathematics 2018-05-18 Fikret A. Aliev , N. A. Aliev , N. A. Safarova , K. G. Kasimova , N. I Velieva

We propose a novel and efficient algorithm for the collaborative preference completion problem, which involves jointly estimating individualized rankings for a set of entities over a shared set of items, based on a limited number of…

Machine Learning · Statistics 2016-11-16 Suriya Gunasekar , Oluwasanmi Koyejo , Joydeep Ghosh

We give a detailed proof of Kolchin's results on differential Galois groups of strongly normal extensions, in the case where the field of constants is not necessarily algebraically closed. We closely follow former works due to Pillay and…

Logic · Mathematics 2017-05-17 Quentin Brouette , Françoise Point

We generalize the analog of Buchberger's first criterion, stated by Boulier et al., for detecting useless S-polynomials reductions in the computation of characteristic sets of differential ideals. The original version assumes linear…

Commutative Algebra · Mathematics 2022-04-07 Amir Hashemi , François Ollivier

Given an undirected graph representing similarities between a set of items and an additive measure evaluating the items, we treat the position of a special subset of items in an ordinal ranking through a collection of combinatorial…

Data Structures and Algorithms · Computer Science 2026-05-05 Samuel Boardman