Related papers: Minimal Gr\"obner bases and the predictable leadin…
Symbolic computation for systems of differential equations is often computationally expensive. Many practical differential models have a form of polynomial or rational ODE system with specified outputs. A basic symbolic approach to analyze…
We introduce the theory of monoidal Groebner bases, a concept which generalizes the familiar notion in a polynomial ring and allows for a description of Groebner bases of ideals that are stable under the action of a monoid. The main…
The set of minimal primes of a ring is a very important set as far the spectrum of a ring is concerned as every prime contains a minimal prime. So, knowing the minimal primes is the first (important and difficult) step in describing the…
It is shown that the modulation spaces $M_{p}^{w}$ can be characterized by the approximation behavior of their elements using Local Fourier bases. In analogy to the Local Fourier bases, we show that the modulation spaces can also be…
Arguments on PL,(=piecewise linear) topology work over any ordered field in the same way as over the real field, and those on differential topology do over a real closed field R in an o-minimal structure that expands (R,<,0,1,+,cdot). One…
We introduce to the context of multigraded modules the methods of modules over categories from algebraic topology and homotopy theory. We develop the basic theory quite generally, with a view toward future applications to a wide class of…
The median probability model (MPM) Barbieri and Berger (2004) is defined as the model consisting of those variables whose marginal posterior probability of inclusion is at least 0.5. The MPM rule yields the best single model for prediction…
The existence of a polynomial pivot rule for the simplex method for linear programming, policy iteration for Markov decision processes, and strategy improvement for parity games each are prominent open problems in their respective fields.…
We increase the scope of previous work on change of basis between finite bases of polynomials by defining ascending and descending bases and introducing three techniques for defining them from known ones. The minimum degrees of polynomials…
In this paper we give elementary conditions completely characterising when the theory of modules of a Pr\"ufer domain is decidable. Using these results, we show that the theory of modules of the ring of integer valued polynomials is…
In this paper, we consider a monomial ideal J in P := A[x1,...,xn], over a commutative ring A, and we face the problem of the characterization for the family Mf(J) of all homogeneous ideals I in P such that the A-module P/I is free with…
Blockwise determinantal ideals are those generated by the union of all the minors of specified sizes in certain blocks of a generic matrix, and they are the natural generalization of many existing determinantal ideals like the Schubert and…
Let $M$ be a free module of rank $m$ over a commutative unital ring $R$ and let $N$ be its free submodule. We consider the problem when a given element of the exterior product $\Lambda^pM$ is divisible, in a sense, over elements of the…
In this paper we study standard bases for submodules of K[[t_1,...,t_m]][x_1,...,x_n]^s respectively of their localisation with respect to a t-local monomial ordering. The main step is to prove the existence of a division with remainder…
For a particular experimental design, there is interest in finding which polynomial models can be identified in the usual regression set up. The algebraic methods based on Groebner bases provide a systematic way of doing this. The algebraic…
We prove that a monomial ideal $I$ generated in a single degree, is polymatroidal if and only if it has linear quotients with respect to the lexicographical ordering of the minimal generators induced by every ordering of variables. We also…
In an earlier work we described Gr\"obner bases of the ideal of polynomials over a field, which vanish on the set of characteristic vectors $\mathbf{v} \in \{0,1\}^n$ of the complete $d$ unifom set family over the ground set $[n]$. In…
To compute difference Groebner bases of ideals generated by linear polynomials we adopt to difference polynomial rings the involutive algorithm based on Janet-like division. The algorithm has been implemented in Maple in the form of the…
Solving a polynomial system, or computing an associated Gr\"obner basis, has been a fundamental task in computational algebra. However, it is also known for its notorious doubly exponential time complexity in the number of variables in the…
In this paper, we study the derivatives of an integer-valued polynomial of a given degree. Denoting by $E_n$ the set of the integer-valued polynomials with degree $\leq n$, we show that the smallest positive integer $c_n$ satisfying the…