automorphisms

There are 0 repository under automorphisms topic.

krzysztof-turowski / duplication-divergence
Software for duplication-divergence model analysis
automorphisms graph temporal-networks
Language:C++ 0
thefundamentaltheor3m / mathlib4-SU-Theory
An attempt to formalise Shestakov-Umirbaev Theory in Lean 4 based on Chapter 1 of Polynomial Automorphisms and the Jacobian Conjecture (van den Essen et al, 2021).
automorphisms lean4 multivariate-polynomials polynomials automorphisms-of-polynomial-algebras jacobian-conjecture nagatas-conjecture polynomial-algebras shestakov-umirbaev-theory
Language:Lean 0
ThomasPrzybylinski / Jaunty
Research code to find similarity and local/constructive symmetries of clausal propositions or graph isomophisms
propositional-logic similarity-detection similarity-measures symmetry-detection automorphisms
Language:Java

krzysztof-turowski / duplication-divergence