Mathematician; (formerly researching geometric group theory).
Actually: writing high performance code to simplify optimization problems
- Karlsruhe
- https://orcid.org/0000-0002-8777-8223
Highlights
- Pro
Pinned Loading
-
KnuthBendix.jl
KnuthBendix.jl PublicPure Julia implementation of the Knuth-Bendix completion (focused primarily on groups and monoids)
-
-
SymbolicWedderburn.jl
SymbolicWedderburn.jl PublicAmazing package to compute decompositions into irreducibles of explicit group representations and the Wedderburn decomposition for endomorphisms thereof!
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.