Skip to content

@UniversalAlgebra UniversalAlgebra

Change the repository type filter

All

    Repositories list

    19 repositories

    • universalalgebra.org

      Public
      ua website
      0•0•0•0•Updated May 28, 2025May 28, 2025

    • alg-csp

      Public
      A paper by Bergman and DeMeo on algebraic approaches to constraint satisfaction problems
      0•0•0•0•Updated Dec 1, 2021Dec 1, 2021

    • TypeTopology

      Public
      Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
      Agda
      •
      GNU General Public License v3.0
      •56•0•0•0•Updated Jan 12, 2021Jan 12, 2021

    • ProvingGround

      Public
      Proving Ground: Tools for Automated Mathematics
      Jupyter Notebook
      •
      MIT License
      •38•0•0•0•Updated Jan 31, 2020Jan 31, 2020

    • term-conditions

      Public
      Research on the complexity of some properties of algebras
      TeX
      •
      MIT License
      •0•1•0•0•Updated Jul 19, 2019Jul 19, 2019

    • lean-ualib

      Public archive
      Lean library for Universal Algebra
      Lean
      •
      Apache License 2.0
      •0•11•2•0•Updated May 20, 2019May 20, 2019

    • fg-free-lat

      Public
      Research on finitely generated free lattices
      MIT License
      •0•0•0•0•Updated Jan 12, 2019Jan 12, 2019

    • formalabstracts

      Public
      Lean
      •43•0•0•0•Updated Nov 23, 2018Nov 23, 2018

    • UAResources

      Public
      Links, guidance, and advice about universal algebra learning and research
      0•10•0•0•Updated Oct 16, 2018Oct 16, 2018

    • fg-sub-var

      Public
      Research on finitely generated subvarieties of finitely generated varieties
      TeX
      •0•0•0•0•Updated Jun 26, 2018Jun 26, 2018

    • ALH-2018

      Public
      Conference on Algebra and Lattice Theory in honor of Ralph Freese, Bill Lampe, and JB Nation
      HTML
      •0•1•0•0•Updated Jun 6, 2018Jun 6, 2018

    • fin-lat-rep

      Public
      resources for the finite lattice representations project
      TeX
      •0•0•7•0•Updated Jan 31, 2018Jan 31, 2018

    • par-alg-rep

      Public
      Notes from fall 2016 visit to Chapman University
      TeX
      •
      MIT License
      •0•0•0•0•Updated Apr 7, 2017Apr 7, 2017

    • Conferences

      Public
      A list of conferences in algebra, logic, and computer science.
      0•3•0•0•Updated Feb 22, 2017Feb 22, 2017

    • algebraic-csp

      Public
      Article on algebraic approaches to CSP with applications to commutative idempotent binars
      0•0•0•0•Updated Feb 4, 2017Feb 4, 2017

    • bibtex

      Public
      Bibtex data for some authors in universal algebra and related fields
      TeX
      •0•0•0•0•Updated May 23, 2016May 23, 2016

    • OpenProblems

      Public
      Lists of open problems in universal algebra and related areas
      TeX
      •2•0•0•0•Updated Jul 3, 2015Jul 3, 2015

    • AMSLouisville2013

      Public
      Talks presented at the AMS Special Session on Finite Universal Algebra in Louisville, KY
      0•0•0•0•Updated Oct 23, 2013Oct 23, 2013

    • WCUA2013

      Public
      2013 Workshop on Computational Universal Algebra
      0•0•0•0•Updated Oct 13, 2013Oct 13, 2013
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.