15 skills found
asanakoy / Deep Unsupervised PosetsDeep Unsupervised Similarity Learning using Partially Ordered Sets (CVPR17)
abetten / OrbiterClassification of combinatorial objects
JonasHoefer / Poset Type TheoryExperimental implementation of a Cubical Type Theory modeled by presheaves over posets
erikmnovak / TamerOp.jlImplementation of a library in Julia to conduct calculations on modules over posets, as per the following paper:
sahands / Coroutine GenerationUsing coroutines in Python for combinatorial generation. Includes code for binary strings in Gray order, multi-radix numbers in Gray order, Steinhaus-Johnson-Trotter for permutations in Gray order, Knuth-Ruskey for ideals of a completely acyclic poset in Gray order, Varol-Rotem for linear extensions of a poset, and Pruesse-Ruskey for signed linear extensions of a poset in Gray order.
scheinerman / SimplePosets.jlSimple partially ordered sets for Julia
scheinerman / Posets.jlPartially ordered sets fully compatible with Graphs.jl
isadofschi / PosetsGAP Package for posets and finite spaces
scheinerman / HasseDiagrams.jlDrawings of partially ordered sets from Posets.jl, fully compatible with Graphs.jl.
Cobord / Azimuth Applied Category TheoryFor Azimuth ACT course
OnDraganov / DescDESC is a DErived Sheaf Calculator: a tool for working with (co)chains in derived categories of sheaves over finite posets. The supported operations include computing the minimal injective resolution of a constant sheaf and star/shriek pushforwards/pullbacks of injective (co)chains through monotonic maps.
mehekmehra / Automorphisms On PosetsFinds all automorphisms on a given poset. Determines all of the possible permutations that are automorphisms and counts them. Additionally, there is a checker that takes in a poset and a permutation, and then determines if the permutation is an automorphism
eznj / HasseA modern Rust implementation for visualizing Hasse diagrams and working with partially ordered sets (posets).
asamallab / Poset Hypergraph CurvatureThis repository is associated with the paper: “A Poset-Based Approach to Curvature of Hypergraphs”
LimitPointSystems / SheafSystemThe SheafSystem™ suite of data representation and management tools is based on our patented sheaf data model. The SheafSystem™ uses advanced mathematics - posets, lattices, sheaves, and fiber bundles - to revolutionize the handling of the complex, structure rich data sets of scientific computing. SheafSystem™ tools make it easy to construct, manipulate, store, retrieve, and inter-operate diverse representations of physical data.
