Related papers: On computing local monodromy and the numerical loc…
We study the algebra of complex polynomials which remain invariant under the action of the local Clifford group under conjugation. Within this algebra, we consider the linear spaces of homogeneous polynomials degree by degree and construct…
In the present paper 2-local derivations on various algebras of infinite dimensional matrix-valued functions on a compact are considered. It is proved that every 2-local derivation on such algebra is a derivation. Also we explain that the…
We study methods for finding the solution set of a generic system in a family of polynomial systems with parametric coefficients. We present a framework for describing monodromy based solvers in terms of decorated graphs. Under the…
A code over a finite alphabet is called locally recoverable (LRC) if every symbol in the encoding is a function of a small number (at most $r$) other symbols. We present a family of LRC codes that attain the maximum possible value of the…
Let Q be an affine semigroup generating Z^d, and fix a finitely generated Z^d-graded module M over the semigroup algebra k[Q] for a field k. We provide an algorithm to compute a minimal Z^d-graded injective resolution of M up to any desired…
Let $A$ be a finite-dimensional algebra over an algebraically closed field $\Bbbk$. For any finite-dimensional $A$-module $M$ we give a general formula that computes the indecomposable decomposition of $M$ without decomposing it, for which…
Let M be a matrix whose entries are power series in several variables and determinant det(M) does not vanish identically. The equation det(M)=0 defines a hypersurface singularity and the (co)-kernel of M is a maximally Cohen-Macaulay module…
Given a polynomial $x \in {\mathbb R}^n \mapsto p(x)$ in $n=2$ variables, a symbolic-numerical algorithm is first described for detecting whether the connected component of the plane sublevel set ${\mathcal P} = \{x : p(x) \geq 0\}$…
This paper is devoted to a systematic study of the geometry of nondegenerate $\bbR^n$-actions on $n$-manifolds. The motivations for this study come from both dynamics, where these actions form a special class of integrable dynamical systems…
In this paper, we introduce local expressions for discrete Mechanics. To apply our results simultaneously to several interesting cases, we derive these local expressions in the framework of Lie groupoids, following the program proposed by…
We study primary submodules and primary decompositions from a differential and computational point of view. Our main theoretical contribution is a general structure theory and a representation theorem for primary submodules of an arbitrary…
We study in detail the one-variable local theory of functions holomorphic over a finite-dimensional commutative associative unital $\mathbb{C}$-algebra $\mathcal{A}$, showing that it shares a multitude of features with the classical…
We describe the global structure of totally disconnected locally compact groups having a linear open compact subgroup. Among the applications, we show that if a non-discrete, compactly generated, topologically simple, totally disconnected…
Holomorphic functions are amazing because their values in an ever so small disk in the complex plane completely determine the function values at arbitrary points in their maximum possible domain. The process of extending such a function…
We introduce a generalized framework for studying higher-order versions of the multiscale method known as Localized Orthogonal Decomposition. Through a suitable reformulation, we are able to accommodate both conforming and nonconforming…
A rank one local system $\LL$ on a smooth complex algebraic variety $M$ is 1-admissible if the dimension of the first cohomology group $H^1(M,\LL)$ can be computed from the cohomology algebra $H^*(M,\C)$ in degrees $\leq 2$. Under the…
Cylindrical algebraic decomposition is a classical construction in real algebraic geometry. Although there are many algorithms to compute a cylindrical algebraic decomposition, their practical performance is still very limited. In this…
Recently Rubinfeld et al. (ICS 2011, pp. 223--238) proposed a new model of sublinear algorithms called \emph{local computation algorithms}. In this model, a computation problem $F$ may have more than one legal solution and each of them…
In this paper the local differential calculus over Fedosov algebra is constructed using the trivialization isomorphism. The explicit formulas for deformed derivations are given. The resulting calculus can be used as a "building block" for a…
We algorithmically determine the monodromy of the local system on the smooth part of the Radon transformation of a generic simple perverse sheaf on the projective plane.