Skip to content

@UniversalAlgebra UniversalAlgebra

Change the repository type filter

All

    Repositories list

    18 repositories

    • 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
      •42•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•8•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