Highlights
- Pro
Lists (1)
Stars
Alexander Grothendieck's 1972 talk at CERN, on scientific research
My mathematical Zettelkasten, created using forester.
A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.
Lecture notes and exercises for the advanced course on categorical realizability at the Midlands Graduate School (MGS) 2024
Solutions for combinatorial problems using symbolic methods.
The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
Reifying dynamical algebra: maximal ideals in countable rings, constructively
Research on the complexity of some properties of algebras
Curated list of project-based tutorials
Resources and notes on computational complexity theory
sources for the Singular computer algebra system
How to Make a Computer Operating System in C++
Collection of various algorithms in mathematics, machine learning, computer science, physics, etc implemented in C for educational purposes.
Bridging deep learning and logical reasoning using a differentiable satisfiability solver.
An axiom-free formalization of category theory in Coq for personal study and practical work
A repository of links with advice related to grad school applications, research, phd etc
Collections of CS PhD Application Fee Waivers of schools in North America
A collection of essays and code on algebraic methods to evaluate noisy judges on unlabeled test data.