darijgr
Mathematician (assistant professor) at Drexel University.
Drexel UniversityPhiladelphia, US / Karlsruhe, DE
Pinned Repositories
21fala
aimo2022-bh1
AIMO 2022 Bad Homburg I: Notizen zur Geometrie
algebra19s
UMN Spring 2019 Math 4281 notes: Introduction to Modern Algebra
detnotes
Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)
etingof-lie
Lecture notes from Pavel Etingof's class on infinite-dimensional Lie algebras
groth1
Paper on dual stable Grothendieck polynomials
lambda
Notes on lambda-rings
lina
Linear algebra notes for Math 4242 (UMN)
nogra
Notes on graph theory
sage-subspace
Subspaces in Sage
darijgr's Repositories
darijgr/detnotes
Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)
darijgr/lina
Linear algebra notes for Math 4242 (UMN)
darijgr/nogra
Notes on graph theory
darijgr/algebra19s
UMN Spring 2019 Math 4281 notes: Introduction to Modern Algebra
darijgr/etingof-lie
Lecture notes from Pavel Etingof's class on infinite-dimensional Lie algebras
darijgr/groth1
Paper on dual stable Grothendieck polynomials
darijgr/lambda
Notes on lambda-rings
darijgr/sage-subspace
Subspaces in Sage
darijgr/21fala
darijgr/aimo2022-bh1
AIMO 2022 Bad Homburg I: Notizen zur Geometrie
darijgr/TR-TT-Andothren-rvw
quest review for Tamriel Rebuilt
darijgr/Coq-Combi
Algebraic Combinatorics in Coq
darijgr/coq-proofs
Various proofs in Coq. Contains the proof of quadratic reciprocity and of Baire theorem.
darijgr/doubleposets
Double posets and the antipode of QSym
darijgr/fpsac21eta
darijgr/gzshuf
Draft paper on quasisymmetric functions and permutation statistics
darijgr/mcb
Mathematical Components (the Book)
darijgr/publications
Generate the publication pages listing documents citing Sage
darijgr/rms-support-letter.github.io
An open letter in support of Richard Matthew Stallman being reinstated by the Free Software Foundation
darijgr/sage
Main repository of SageMath. Now open for Issues and Pull Requests.
darijgr/schur-mlq
draft of a paper on multiline queues
darijgr/schur-ore
Do the symmetric functions have a function-field analogue? (Work in progress)
darijgr/stacks-project
Repository for the Stacks Project
darijgr/zeckendorf
Zeckendorf family identities generalized