English
Related papers

Related papers: Computing Cylindrical Algebraic Decomposition via …

200 papers

We study problems related to indecomposability of modules over certain local finite dimensional trivial extension algebras. We do this by purely combinatorial methods. We introduce the concepts of graph of cyclic modules, of combinatorial…

Rings and Algebras · Mathematics 2019-10-31 Juan Orendain

Finite and Infinite-dimensional representations of symmetry algebras play a significant role in determining the spectral properties of physical Hamiltonians. In this paper, we introduce and apply a practical method to construct infinite…

Mathematical Physics · Physics 2023-08-15 Ian Marquette , Junze Zhang , Yao-Zhong Zhang

In this note we shall introduce a simple, effective numerical method for solving partial differential equations for scalar and vector-valued data defined on surfaces. Even though we shall follow the traditional way to approximate the…

Computational Geometry · Computer Science 2009-07-13 Sheng-Gwo Chen , Mei-Hsiu Chi , Jyh-Yang Wu

This paper presents a method for constructing flat deformations of associative algebras. We will refer to this method as method two because it is a generalisation of the method obtained in [1]. The deformations obtained using the first two…

Rings and Algebras · Mathematics 2025-07-08 Agata Smoktunowicz

Let $V$ be the set of real common solutions to $F = (f_1, \ldots, f_s)$ in $\mathbb{R}[x_1, \ldots, x_n]$ and $D$ be the maximum total degree of the $f_i$'s. We design an algorithm which on input $F$ computes the dimension of $V$. Letting…

Symbolic Computation · Computer Science 2021-06-15 Piere Lairez , Mohab Safey El Din

All finite-dimensional indecomposable solvable Lie algebras $L(n,f)$, having the triangular algebra T(n) as their nilradical, are constructed. The number of nonnilpotent elements $f$ in $L(n,f)$ satisfies $1\leq f\leq n-1$ and the dimension…

Rings and Algebras · Mathematics 2013-07-10 Sébastien Tremblay , Pavel Winternitz

While the proposal of the Tri-plane representation has advanced the development of the 3D-aware image generative models, problems rooted in its inherent structure, such as multi-face artifacts caused by sharing the same features in…

Computer Vision and Pattern Recognition · Computer Science 2025-07-22 Ru Jia , Xiaozhuang Ma , Jianji Wang , Nanning Zheng

Decomposition of tomographic reconstructions has many different practical application. We propose two new reconstruction methods that combines the task of tomographic reconstruction with object decomposition. We demonstrate these…

Computational Engineering, Finance, and Science · Computer Science 2017-08-25 Rasmus Dalgas Kongskov , Yiqiu Dong

We give a~detailed construction of the complete ordered field of real numbers by means of infinite decimal expansions. We prove that in the canonical encoding of decimals neither addition nor multiplication is {\em computable}, but that…

Logic · Mathematics 2021-08-05 Martin Klazar

Motivated by a connection with the factorization of multivariate polynomials, we study integral convex polytopes and their integral decompositions in the sense of the Minkowski sum. We first show that deciding decomposability of integral…

Combinatorics · Mathematics 2007-05-23 S. Gao , A. G. B. Lauder

This note shows the equivalence of two projection operators which both can be used in cylindrical algebraic decomposition (CAD) . One is known as Brown's Projection (C. W. Brown (2001)); the other was proposed by Lu Yang in his earlier work…

Symbolic Computation · Computer Science 2014-12-17 Yong Yao , Jia Xu , Lu Yang

When constructing high-order schemes for solving hyperbolic conservation laws, the corresponding high-order reconstructions are commonly performed in characteristic spaces to eliminate spurious oscillations as much as possible. For…

Numerical Analysis · Mathematics 2021-08-13 Hua Shen , Matteo Parsani

A novel method for computation of the discrete Fourier transform over a finite field with reduced multiplicative complexity is described. If the number of multiplications is to be minimized, then the novel method for the finite field of…

Information Theory · Computer Science 2015-12-23 Sergei V. Fedorenko

Let $\mathbf{K}$ be a field and $\phi$, $\mathbf{f} = (f_1, \ldots, f_s)$ in $\mathbf{K}[x_1, \dots, x_n]$ be multivariate polynomials (with $s < n$) invariant under the action of $\mathcal{S}_n$, the group of permutations of $\{1, \dots,…

Symbolic Computation · Computer Science 2020-09-03 Jean-Charles Faugère , George Labahn , Mohab Safey El Din , Éric Schost , Thi Xuan Vu

This work begins the process of using the decomposition of the diagonal as a tool for studying the rationality of invariant fields of finite groups $G$. Our ground field must be characteristic 0 because of the use we make of Bertini…

Algebraic Geometry · Mathematics 2025-08-28 David J Saltman

This paper serves as our first effort to develop a new triangular spectral element method (TSEM) on unstructured meshes, using the rectangle-triangle mapping proposed in the conference note [21]. Here, we provide some new insights into the…

Numerical Analysis · Mathematics 2012-04-24 Michael Daniel Samson , Huiyuan Li , Li-Lian Wang

The Dunkl--Dirac operator is a deformation of the Dirac operator by means of Dunkl derivatives. We investigate the symmetry algebra generated by the elements supercommuting with the Dunkl--Dirac operator and its dual symbol. This symmetry…

Representation Theory · Mathematics 2021-11-04 Hendrik De Bie , Alexis Langlois-Rémillard , Roy Oste , Joris Van der Jeugt

Computation of polynomial relative invariants is a classical tool in algebra. Relative differential invariants are central for the equivalence problem of geometric structures. We address the fundamental problem of finite generation of their…

Differential Geometry · Mathematics 2026-05-19 Boris Kruglikov , Eivind Schneider

We introduce a novel computational framework for digital geometry processing, based upon the derivation of a nonlinear operator associated to the total variation functional. Such operator admits a generalized notion of spectral…

Graphics · Computer Science 2020-09-08 Marco Fumero , Michael Moeller , Emanuele Rodolà

The author has been interested in regions surrounded by cylinders of real algebraic hypersurfaces and their shapes and polynomials associated to them. Here, we formulate and investigate natural decompositions into such cylinders of real…

Algebraic Geometry · Mathematics 2026-01-13 Naoki Kitazawa