williamdemeo/PalfySaxlProblem

Stars
1
Language
TeX
Created about 11 years ago
Updated over 8 years ago

williamdemeo/PalfySaxlProblem

williamdemeo

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Notes on a problem of Peter Palfy and Jan Saxl

TypeFunc

Resources for type theory, functional programming, etc.

Math165-Spring2015

ds644-spring2023

DS644: Introduction to Big Data at NJIT

agda-fresh

math215-spring2017

Math 215: Applied Calculus I, Spring 2017, UH Manoa

Math700Homework

Math 700: Linear Algebra -- USC Sp 2014

Math160-Fall2015

Math 160: Survey of Calculus -- Fall 2015, Iowa State University

lamb-calc-vars

Research on Applying Universal Algebra to Lambda Calculus

CIB-Scala

Scala code for finite idempotent algebras research

cs370-spring2022

Introduction to Artificial Intelligence at NJIT

math3140-fall2018

Abstract Algebra, Fall 2018, University of Colorado, Boulder

cs370-fall2022

CS 370 (Sec 103). Introduction to Artificial Intelligence. Fall 2022. NJIT.

Math700Spring2014

Math 700: Linear Algebra -- University of South Carolina -- Spring 2014

LEAN_wjd

Notes from my experience learning the Lean Theorem Prover

IEProps

Journal Article: "Interval enforceable properties of finite groups"

math2001-spring2019

Math 2001 at CU Boulder (Spring 2019)

DedekindTransposition

A general Dedekind transposition principle for lattices of equivalence realtions

math321-fall2016

Introduction to Advanced Math, Fall 2016, University of Hawaii

math654-uh-fall2016

Materials from the graduate logic course

MSThesis

Masters Thesis: Approximating eigenvalues of large stochastic matrices

linear-algebra-hefferon

Automatically exported from code.google.com/p/linear-algebra

Overalgebras

Journal Article: Expansions of Finite Algebras and Their Congruence Lattices

fin-grp-facts

Miscellaneous facts and data on finite groups

libwjd

C and C++ utilities and subroutines

tdd-idris_wjd

Notes and Exercises from the book "Type-Driven Development with Idris"

math2130-spring2018

Talks

Slides from some presentations given by W. DeMeo

lazy-universal-algebra

Scala programs for universal algebra research

sage_wjd

sage worksheets and python scripts for universal algebra and lattice theory research

Math207-Spring2015

Math 207: Elementary Linear Algebra -- Spring 2015 -- Iowa State University

dissertation_wjd

PhD dissertation in universal algebra and lattice theory

scalalua

[Scala] for [L]attice theory and [U]niversal [A]lgebra

alt-comm

a note on an alternative description of the commutator

williamdemeo.github.io

OLD personal and professional website (find my new site at williamdemeo.gitlab.io)

nixos_wjd

latex_wjd

miscellaneous latex stuff, like tikz examples, bibtex entries, templates, etc.

Math317-Spring2016