darijgr
Follow
-
sage Public
Forked from sagemath/sageMain repository of SageMath. Now open for Issues and Pull Requests.
Python Other UpdatedMar 25, 2025 -
gitweb Public
Forked from yamador8nokak8moto17/gitwebMy website
HTML MIT License UpdatedJan 20, 2025 -
publications Public
Forked from sagemath/publicationsGenerate the publication pages listing documents citing Sage
TeX UpdatedFeb 1, 2024 -
mcb Public
Forked from math-comp/mcbMathematical Components (the Book)
TeX Other UpdatedFeb 1, 2024 -
Coq-Combi Public
Forked from math-comp/Coq-CombiAlgebraic Combinatorics in Coq
Coq GNU General Public License v3.0 UpdatedJan 31, 2024 -
-
nogra Public
Notes on graph theory
-
-
detnotes Public
Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)
-
-
coq-proofs Public
Forked from Ekdohibs/coq-proofsVarious proofs in Coq. Contains the proof of quadratic reciprocity and of Baire theorem.
Coq MIT License UpdatedFeb 18, 2022 -
-
-
algebra19s Public
UMN Spring 2019 Math 4281 notes: Introduction to Modern Algebra
-
rms-support-letter.github.io Public
Forked from rms-support-letter/rms-support-letter.github.ioAn open letter in support of Richard Matthew Stallman being reinstated by the Free Software Foundation
Python GNU General Public License v3.0 UpdatedApr 1, 2021 -
-
-
lambda Public
Notes on lambda-rings
-
gzshuf Public
Draft paper on quasisymmetric functions and permutation statistics
TeX UpdatedOct 7, 2018 -
-
schur-ore Public
Do the symmetric functions have a function-field analogue? (Work in progress)
TeX MIT License UpdatedMay 11, 2018 -
stacks-project Public
Forked from stacks/stacks-projectRepository for the Stacks Project
TeX Other UpdatedDec 26, 2017 -
-
-
etingof-lie Public
Lecture notes from Pavel Etingof's class on infinite-dimensional Lie algebras