NixOS configuration for the working mathematician

LaTeX package that keeps track of (co)dependencies between definitions/theorems/equations

Semantic dependency graph processing tool for mathematics written in latex

Categorical Implementation Recon via AI Slop

Computes cohomology groups of certain chain complexes associated to pure or mixed states. For pure states this cohomology is a measure of entanglement. For more information see https://arxiv.org/ab…

Basic tools used in quantum mechanics/information theory

Computes the ranks of cohomology groups of certain chain complexes associated to pure or mixed states. For pure states this cohomology is a measure of entanglement. For more information see https:/…