WJD Open Notebook

books

posts related to books

February 28, 2019 Reading time: less than a minute (46 words).

agda-ualib

Introducing the Agda Universal Algebra Library

February 9, 2019 Reading time: less than a minute (117 words).

(Shown above is a general formulation of composition of operations in dependent type theory, as derived here.)

This page is a teaser for the agda-ualib package and its documentation (tutorial/textbook) that we are currently developing to formalize universal algebra in the Agda functional programming language and interactive theorem prover.

Python, Jython, and Sage

February 1, 2019 Reading time: about 1 minute (214 words).

This post collects some notes and teaching materials concerning the use of Python, Jython, and Sage for universal and linear algebra.

Math PhD Exams

Exams in Group Theory, Ring Theory, Complex Analysis, and Real Analysis

January 2, 2019 Reading time: about 1 minute (322 words).

🔗 Comprehensive Exams in Mathematics

Congruences of Partial Algebras

I don't always use recursion; but when I do, I don't always use recursion.

April 6, 2017 Reading time: less than a minute (162 words).