Computational tools for universal algebra research

Notes for a talk at the 2nd CSP World Congress in Völs am Schlern, Italy on 25 September 2020.

• Thank the organizers

• The Universal Algebra Calculator

  • It's available from uacalc.org

  • If you use Linux... some notes to get you setup are at williamdemeo.gitlab.io/pl/uacalc.
    If you don't use Linux... what's wrong with you?

  • A repository of algebras readable by the UACalc is available at github.com/UACalc.
    (Some of the .ua files in that repository were used to solve real life math problems.)

  • What does a .ua file look like? ...and why should you care?

• UACalc GUI demo

• UACalc CLI

  You can use UACalc at the command line!

  • Jython demo

  • Scala demo

• Current and future work

  • Lazy Universal Algebra Utilities

  • Agda Universal Algebra Library

    The documentation is available from ualib.org

    The Agda source code is available from gitlab.com/ualib/ualib.gitlab.io