An objective representation of the Gaussian integers

DOI10.1016/j.jsc.2003.10.002zbMath1137.68629arXivmath/0211454OpenAlexW2120113841MaRDI QIDQ2643534

Marcelo P. Fiore, Tom Leinster

Publication date: 24 August 2007

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/0211454

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Functional programming and lambda calculus (68N18)

Related Items

GRÖBNER-SHIRSHOV BASIS FOR MONOMIALS SEMIRING OVER D-A RINGS ⋮ Gröbner-Shirshov bases for semirings. ⋮ Twisted arrow categories, operads and Segal conditions ⋮ Objects of categories as complex numbers ⋮ Computing with Semirings and Weak Rig Groupoids

Cites Work

• Objects of categories as complex numbers
• On the generic solution to \(P(X)\cong X\) in distributive categories
• Seven trees in one
• Isomorphisms of generic recursive polynomial types
• Unnamed Item
• Unnamed Item
• Unnamed Item