partial-orders

There are 0 repository under partial-orders topic.

mmottl / pomap
OCaml library for partially ordered maps
partial-orders hasse-diagram ocaml concept-lattice datastructures
Language:OCaml 15
marcelosousa / poet
POET (Partial Order Exploration Tools)
partial-orders research-tool verification-toolchain concurrency
Language:C 5
Praveennaik8 / Relations_check_DMS_C
C program to display whether the given relation represents partial ordering poset and equivalence relation or not.
c relation-extraction dms transitive poset partial-orders equivalence
Language:C 2
c-minz / LaTeX-causets
LaTeX package for Hasse diagrams of partially ordered sets (in mathematics of finite partial orders and in causal set theory).
latex causal-sets diagrams causets hasse-diagram partial-orders causal-set-theory diagram partial-order partial-ordering poset posets causet
Language:TeX 1
cesaro / steroids
A library for dynamic analysis of multithreaded POSIX C programs
concurrency dynamic-analysis formal-verification partial-orders program-analysis
Language:C++ 1
xayahrainie4793 / minimal-elements-of-the-prime-numbers
Minimal elements for the base b representations of the prime numbers > b for the subsequence ordering, for 2 ≤ b ≤ 36
formal-languages heuristic-algorithm number-theory numeral-systems open-problems primality-test prime-numbers radix subsequence algorithms antichains miller-rabin-test minimal-set partial-orders positional-notation proof computer-science trial-division unsolved-problems sieve
Language:C++ 1
langston-barrett / fin-part-ord
A crate for representing finite partial orders
partial-orders rust finite-partial-orders partial-order
Language:Rust
unitb / partial-order
partial-orders
Language:Haskell