In the Overalgebras GitHub repo resides the article Expansions of finite algebras and their congruence lattices, Algebra Universalis, 69, 2013. Also included is the GAP software I wrote for constructing new finite algebras by extending and expanding transitive G-sets, as described in the paper.
open notebook
William DeMeo
William DeMeo
about
I am a postdoc in the Math Department at University of Hawaii (2016–2017). In fall 2017 I will move to University of Colorado, Boulder.
I have worked at Iowa State University (2014–2016) and University of South Carolina (2012–2014).
My primary research area is universal algebra; current projects focus on lattice theory, computational complexity, and universal algebraic approaches to constraint satisfaction problems. Other research interests include logic, computability theory, type theory, category theory, functional programming, dependent types, and proof-carrying code.
Most of my research papers are posted on my Math arXiv page or my CS arXiv page. A more comprehensive collection of my work resides in my Github repositories.
found on
IEProps
The IEPost GitHub repository contains a draft of the article Interval enforceable properties of finite groups, to appear in Communications in Algebra.
GroupSound
What does a nonabelian group sound like?
The GroupSound project is about harmonic analysis on finite groups. Classical dsp filtering algorithms can be implemented as operations involving functions (e.g., audio signals) defined on a finite group. That is, the group serves as the domain, or “index set,” of the functions. In this project, we explore the idea of using the finite group as an adjustable parameter of a digital audio filter.
Cloning an Octopress Repo
When attempting to clone my Octopress repository on a new machine, I had the
same Updates were rejected problem that is described on this page.
Based on the information provided on that page, combined with a few other
commands required for Ubuntu machines, this post provides instructions for
cloning an Octopress repository.
Diaconescu’s Theorem
I learned about Diaconescu’s Theorem from Andrej Bauer’s lecture.
This post describes the proof as it was presented by Bauer. These notes are rough and intended for my own reference. Please see François Dorais’ blog post for a nice discussion of this topic.