williamdemeo/Math160-Fall2015 williamdemeo/Math160-Fall2015

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    TeX
  • Created over 9 years ago
  • Updated almost 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
williamdemeo/Math160-Fall2015
github

williamdemeo

Reviews

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

Repository Details

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

More Repositories

1

TypeFunc

Resources for type theory, functional programming, etc.
221
star
2

Math165-Spring2015

TeX
8
star
3

ds644-spring2023

DS644: Introduction to Big Data at NJIT
TeX
7
star
4

agda-fresh

basics
Agda
5
star
5

math215-spring2017

Math 215: Applied Calculus I, Spring 2017, UH Manoa
TeX
5
star
6

Math700Homework

Math 700: Linear Algebra -- USC Sp 2014
TeX
4
star
7

lamb-calc-vars

Research on Applying Universal Algebra to Lambda Calculus
TeX
3
star
8

CIB-Scala

Scala code for finite idempotent algebras research
Scala
3
star
9

cs370-spring2022

Introduction to Artificial Intelligence at NJIT
TeX
3
star
10

math3140-fall2018

Abstract Algebra, Fall 2018, University of Colorado, Boulder
TeX
3
star
11

cs370-fall2022

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

Math700Spring2014

Math 700: Linear Algebra -- University of South Carolina -- Spring 2014
TeX
3
star
13

LEAN_wjd

Notes from my experience learning the Lean Theorem Prover
Lean
2
star
14

IEProps

Journal Article: "Interval enforceable properties of finite groups"
TeX
2
star
15

math2001-spring2019

Math 2001 at CU Boulder (Spring 2019)
TeX
2
star
16

DedekindTransposition

A general Dedekind transposition principle for lattices of equivalence realtions
TeX
2
star
17

math321-fall2016

Introduction to Advanced Math, Fall 2016, University of Hawaii
TeX
2
star
18

math654-uh-fall2016

Materials from the graduate logic course
TeX
2
star
19

MSThesis

Masters Thesis: Approximating eigenvalues of large stochastic matrices
C
2
star
20

linear-algebra-hefferon

Automatically exported from code.google.com/p/linear-algebra
TeX
2
star
21

Overalgebras

Journal Article: Expansions of Finite Algebras and Their Congruence Lattices
TeX
2
star
22

fin-grp-facts

Miscellaneous facts and data on finite groups
TeX
1
star
23

libwjd

C and C++ utilities and subroutines
C
1
star
24

tdd-idris_wjd

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

math2130-spring2018

HTML
1
star
26

Talks

Slides from some presentations given by W. DeMeo
TeX
1
star
27

lazy-universal-algebra

Scala programs for universal algebra research
Scala
1
star
28

sage_wjd

sage worksheets and python scripts for universal algebra and lattice theory research
Python
1
star
29

Math207-Spring2015

Math 207: Elementary Linear Algebra -- Spring 2015 -- Iowa State University
HTML
1
star
30

dissertation_wjd

PhD dissertation in universal algebra and lattice theory
TeX
1
star
31

scalalua

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

alt-comm

a note on an alternative description of the commutator
TeX
1
star
33

williamdemeo.github.io

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

nixos_wjd

Nix
1
star
35

latex_wjd

miscellaneous latex stuff, like tikz examples, bibtex entries, templates, etc.
TeX
1
star
36

Math317-Spring2016

TeX
1
star
37

PalfySaxlProblem

Notes on a problem of Peter Palfy and Jan Saxl
TeX
1
star