Search results for " Symbol"
showing 10 items of 217 documents
MultivariateApart: Generalized partial fractions
2021
We present a package to perform partial fraction decompositions of multivariate rational functions. The algorithm allows to systematically avoid spurious denominator factors and is capable of producing unique results also when being applied to terms of a sum separately. The package is designed to work in Mathematica, but also provides interfaces to the Form and Singular computer algebra systems.
Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language
2002
AbstractThe traditional split into a low level language and a high level language in the design of computer algebra systems may become obsolete with the advent of more versatile computer languages. We describe GiNaC, a special-purpose system that deliberately denies the need for such a distinction. It is entirely written in C++and the user can interact with it directly in that language. It was designed to provide efficient handling of multivariate polynomials, algebras and special functions that are needed for loop calculations in theoretical quantum field theory. It also bears some potential to become a more general purpose symbolic package.
Block 21 and the Pensabilità of the Representation of Auschwitz
2012
Abstract Building on the assumption that the Memorial in Honor of Italians Fallen in Nazi Extermination Camps (situated in Auschwitz I, Block 21) expresses the meta-reflexive inclination that strengthened the twentieth century (the capacity of that century to think of itself as a subject), this article aims to highlight and illustrate the dual philosophical significance of the Memorial. From the perspective of the philosophy of history, this philosophical significance, which has a symbolic value, leads us to investigate an organic and historically embodied conception of deportation. From the perspective of the aesthetics of memory, this philosophical meaning offers a new framework for the …
The minimal free resolution of fat almost complete intersections in ℙ1 x ℙ1
2017
AbstractA current research theme is to compare symbolic powers of an ideal I with the regular powers of I. In this paper, we focus on the case where I = IX is an ideal deûning an almost complete intersection (ACI) set of points X in ℙ1 × ℙ1. In particular, we describe a minimal free bigraded resolution of a non-arithmetically Cohen-Macaulay (also non-homogeneous) set 𝒵 of fat points whose support is an ACI, generalizing an earlier result of Cooper et al. for homogeneous sets of triple points. We call 𝒵 a fat ACI.We also show that its symbolic and ordinary powers are equal, i.e, .
Regularity of renormalized solutions to nonlinear elliptic equations away from the support of measure data
2018
We prove boundedness and continuity for solutions to the Dirichlet problem for the equation $$ - {\rm{div}}(a(x,\nabla u)) = h(x,u) + \mu ,\;\;\;\;\;{\rm{in}}\;{\rm{\Omega }} \subset \mathbb{R}^{N},$$ where the left-hand side is a Leray-Lions operator from $$- {W}^{1,p}_0(\Omega)$$ into W−1,p′(Ω) with 1 < p < N, h(x,s) is a Caratheodory function which grows like ∣s∣p−1 and μ is a finite Radon measure. We prove that renormalized solutions, though not globally bounded, are Holder-continuous far from the support of μ.
Elliptic equations having a singular quadratic gradient term and a changing sign datum
2012
In this paper we study a singular elliptic problem whose model is \begin{eqnarray*} - \Delta u= \frac{|\nabla u|^2}{|u|^\theta}+f(x), in \Omega\\ u = 0, on \partial \Omega; \end{eqnarray*} where $\theta\in (0,1)$ and $f \in L^m (\Omega)$, with $m\geq \frac{N}{2}$. We do not assume any sign condition on the lower order term, nor assume the datum $f$ has a constant sign. We carefully define the meaning of solution to this problem giving sense to the gradient term where $u=0$, and prove the existence of such a solution. We also discuss related questions as the existence of solutions when the datum $f$ is less regular or the boundedness of the solutions when the datum $f \in L^m (\Omega)$ with …
Nonlinear diffusion in transparent media: the resolvent equation
2017
Abstract We consider the partial differential equation u - f = div ( u m ∇ u | ∇ u | ) u-f=\operatornamewithlimits{div}\biggl{(}u^{m}\frac{\nabla u}{|\nabla u|}% \biggr{)} with f nonnegative and bounded and m ∈ ℝ {m\in\mathbb{R}} . We prove existence and uniqueness of solutions for both the Dirichlet problem (with bounded and nonnegative boundary datum) and the homogeneous Neumann problem. Solutions, which a priori belong to a space of truncated bounded variation functions, are shown to have zero jump part with respect to the ℋ N - 1 {{\mathcal{H}}^{N-1}} -Hausdorff measure. Results and proofs extend to more general nonlinearities.
Complete, Exact and Efficient Implementation for Computing the Adjacency Graph of an Arrangement of Quadrics
2007
The original publication is available at www.springerlink.com ; ISBN 978-3-540-75519-7 ; ISSN 0302-9743 (Print) 1611-3349 (Online); International audience; We present a complete, exact and efficient implementation to compute the adjacency graph of an arrangement of quadrics, \ie surfaces of algebraic degree~2. This is a major step towards the computation of the full 3D arrangement. We enhanced an implementation for an exact parameterization of the intersection curves of two quadrics, such that we can compute the exact parameter value for intersection points and from that the adjacency graph of the arrangement. Our implementation is {\em complete} in the sense that it can handle all kinds of…
A weak comparison principle for solutions of very degenerate elliptic equations
2012
We prove a comparison principle for weak solutions of elliptic quasilinear equations in divergence form whose ellipticity constants degenerate at every point where \(\nabla u\in K\), where \(K\subset \mathbb{R }^N\) is a Borel set containing the origin.
Construction of chaotic dynamical system
2010
The first‐order difference equation xn+ 1 = f(xn ), n = 0,1,…, where f: R → R, is referred as an one‐dimensional discrete dynamical system. If function f is a chaotic mapping, then we talk about chaotic dynamical system. Models with chaotic mappings are not predictable in long‐term. In this paper we consider family of chaotic mappings in symbol space S 2. We use the idea of topological semi‐conjugacy and so we can construct a family of mappings in the unit segment such that it is chaotic. First published online: 09 Jun 2011