Results 21 to 30 of about 865 (97)
POLYNOMIAL RING CALCULUS FOR MODAL LOGICS: A NEW SEMANTICS AND PROOF METHOD FOR MODALITIES [PDF]
, 2015 Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)A new (sound and complete) proof style adequate for modal logics is defined from the polynomial ring calculus (PRC).
Carnielli, W, Agudelo, JC
core +1 more source
Invariants and separating morphisms for algebraic group actions [PDF]
, 2014 The first part of this paper is a refinement of Winkelmann’s work on invariant rings and quotients of algebraic groups actions an affine varieties where we take a more geometric point of view.
Kraft, Hanspeter +5 more
core +1 more source
Depth functions of symbolic powers of homogeneous ideals [PDF]
Inventiones Mathematicae, 2019 This paper addresses the problem of comparing minimal free resolutions of symbolic powers of an ideal. Our investigation is focused on the behavior of the function depthR/I(t)=dimR-pdI(t)-1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage ...
H. D. Nguyen, N. Trung
semanticscholar +1 more source
On the structure of (2+1)-dimensional commutative and noncommutative integrable equations [PDF]
, 2006 We develop the symbolic representation method to derive the hierarchies of (2+1)-dimensional integrable equations from the scalar Lax operators and to study their properties globally. The method applies to both commutative and noncommutative cases in the
Jing Ping Wang, Wang, Jing Ping
core +1 more source
Comparing powers and symbolic powers of ideals
, 2009 We develop tools to study the problem of containment of symbolic powers I ( m ) I^{(m)} in powers I r I^r for a homogeneous ideal I I
Cristiano Bocci, Brian Harbourne
core +2 more sources
Infinitely Generated Symbolic Rees Rings of Space Monomial Curves Having Negative Curves [PDF]
The Michigan mathematical journal, 2017 In this paper, we shall study finite generation of symbolic Rees rings of the defining ideal ${\frak p}$ of the space monomial curve $(t^a, t^b, t^c)$ for pairwise coprime integers $a$, $b$, $c$.
Kazuhiko Kurano, Koji Nishida
semanticscholar +1 more source
Depth and Stanley depth of symbolic powers of cover ideals of graphs [PDF]
, 2017 Let $G$ be a graph with $n$ vertices and let $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over a field $\mathbb{K}$. Assume that $J(G)$ is the cover ideal of $G$ and $J(G)^{(k)}$ is its $k$-th symbolic power.
S. Fakhari, S. Fakhari
semanticscholar +1 more source
Symbolic powers of edge ideals
, 2004 Let I⊂R=k[X]=k[X1,…,Xn] be an ideal in a polynomial ring over the field k. We define the essential symbolic module of I to be the R/I-module F(I)=⊕r⩾2(I(r)/Σr(I)), where Σr(I)=∑ı=1r−1I(ı)I(r−ı) and I(m) stands for the mth symbolic power of I.
Bahiano, Carlos E.N.
core +1 more source
Symbolic Unfolding of Parametric Stopwatch Petri Nets
, 2013 International audienceWe address the problem of unfolding safe parametric stopwatch time Petri nets (PSwPNs), i.e., safe time Petri nets (TPNs) possibly extended with time parameters and stopwatches.
Traonouez, Louis-Marie +3 more
core +1 more source
POLYBORI: A framework for Gröbner-basis computations with Boolean polynomials
, 2022 S.1326-1345This work presents a new framework for Grobner-basis computations with Boolean polynomials. Boolean polynomials can be modelled in a rather simple way, with both coefficients and degree per variable lying in {0, 1}.
Dreyer, A., Brickenstein, M.
core +1 more source