Discover @NeilStrickland Open Source projects

Neil Strickland (@NeilStrickland)

NeilStrickland

Stars
34
Global Rank 448,285 (Top 16 %)
Followers 23
Registered over 12 years ago
Most used languages

TeX
60.0 %

Lean 20.0 %

HTML
13.3 %

JetBrains MPS 6.7 %
Location 🇬🇧 United Kingdom
Country Total Rank 17,572
Country Ranking

JetBrains MPS 1

Lean 14

TeX
166

HTML
5,275

linear_maths

Notes on Linear Mathematics, by Neil Strickland

lean_primes

Proof in Lean that there are infinitely many primes

lean_lib

Various Lean developments

fields_and_galois_theory

Material for an undergraduate course on fields and Galois Theory

itloc

Iterated chromatic localisation

maple_lib

An extensive library of Maple code

modules

Material for an undergraduate course on very basic commutative algebra

knots_and_surfaces

Material for an undergraduate course on knots and surfaces

maths_for_electrical_engineering

Material for a course on electrical engineering mathematics (mostly vector calculus)

genus2

Repository for the project "Uniformization of embedded surfaces"

maths_with_maple

Material for an undergraduate course on Maple mixed with calculus etc

groups_and_symmetry

Material for an undergraduate course on symmetry groups

algtop_diagrams

Interactive/animated/3D diagrams for algebraic topology

ordinary_differential_equations

Material for a second course on ordinary differential equations

combinatorics_diagrams

Interactive/animated diagrams for combinatorics