Völs Demo

Archived page

This page is kept for reference and its original URL still works, but it is not part of the current site and is no longer maintained. Dates and links reflect when it was written.

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

  Since this talk

  These point at the pre-3.0 library, which is still online and carries its own notice to that effect. The current home is agda-algebras: the library and its documentation.