1 citations
6 papers
The Noether numbers for cyclic groups of prime order
P. Fleischmann, M. Sezer, R. J. Shank +1
The Noether number of a representation is the largest degree of an element in a minimal homogeneous generating set for the corresponding ring of invariants. We compute the Noether…
Yet another normalisation proof for Martin-Lof's logical framework--Terms with correct arities are strongly normalising
Yong Luo
In this paper, we prove the strong normalisation for Martin-Löf's Logical Framework, and suggest that {}``correct arity'', a condition weaker than well-typedness, will also guarant…
Sigma function solution of the initial value problem for Somos 5 sequences
Andrew Hone
The Somos 5 sequences are a family of sequences defined by a fifth order bilinear recurrence relation with constant coefficients. For particular choices of coefficients and initial…
Worst-Case Groundness Analysis Using Definite Boolean Functions
Samir Genaim, Michael Codish, Jacob M. Howe
This note illustrates theoretical worst-case scenarios for groundness analyses obtained through abstract interpretation over the abstract domains of definite (Def) and positive (Po…
Convex Hull of Planar H-Polyhedra
Axel Simon, Andy King
Suppose are planar (convex) H-polyhedra, that is, and . Let $P_i = \{\vec{x} \in \mathbb{R}^2…
Computing Convex Hulls with a Linear Solver
Florence Benoy, Andy King, Fred Mesnard
A programming tactic involving polyhedra is reported that has been widely applied in the polyhedral analysis of (constraint) logic programs. The method enables the computations of…