280 citations
- University of EdinburghGB7 papers
- Durham UniversityGB4 papers
- University of Hawaii at HiloUS3 papers
- Dublin Institute For Advanced StudiesIE2 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di TorinoIT2 papers
- Maxwell Institute for Mathematical SciencesGB2 papers
- Rutherford Appleton LaboratoryGB2 papers
- Simon Fraser UniversityCA2 papers
- The Open UniversityGB2 papers
- Thüringer Landessternwarte TautenburgDE2 papers
- University of HertfordshireGB2 papers
- University of NottinghamGB2 papers
Showing 2005Show all
3 papers · 1 filter
math.AC2005
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…
cs.LO2005★ 1 cited
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…
math.NT2005
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…