algeboy

I am a mathematics professor developing software for scientific computation. I began life as a developer at Intel Corporation.

Colorado State University Fort Collins, Colorado

Pinned Repositories

algeboy
Config files for my GitHub profile.
00
algeboy.gihub.io
Personal Website
Language:HTML0 0 00
Contradiction
Negation & Contradiction
Language:TeX00
FormalAlgebra
Some proof checkable proofs of lemmas in algebra.
Language:Idris00
Hanna
Generic type constructros for Magma
Language:MATLAB10
MagmaMeta
Meta programs for magma
Language:MATLAB0 1 10
talks
Public addresses in latex.
Language:TeX00
TypedDivision
A type check division algorithm in Idris
Language:Idris00
Auto-Sandbox
Algorithms for automorphism groups
Language:MATLAB3 3 151
TensorSpace
The experimental Multilinear Algebra Group's TensorSpace software for MAGMA.
Language:MATLAB6 4 231

algeboy's Repositories

algeboy/OperatorsManual
How to use algebra
Language:TeX21
algeboy/Hanna
Generic type constructros for Magma
Language:MATLAB10
algeboy/Contradiction
Negation & Contradiction
Language:TeX00
algeboy/MagmaMeta
Meta programs for magma
Language:MATLAB0 1 10
algeboy/AdvancedLinearAlgebra
algeboy/algeboy.github.io
Research and teaching on Isomorphism and Tensors
Language:HTML