Research code to find similarity and local/constructive symmetries of clausal propositions or graph isomophisms
-
Updated
May 25, 2023 - Java
#
automorphisms
Here are 3 public repositories matching this topic...
Software for duplication-divergence model analysis
-
Updated
Aug 31, 2024 - C++
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).
polynomials multivariate-polynomials automorphisms lean4 polynomial-algebras automorphisms-of-polynomial-algebras jacobian-conjecture shestakov-umirbaev-theory nagatas-conjecture
-
Updated
Jun 8, 2023 - Lean
Improve this page
Add a description, image, and links to the automorphisms topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the automorphisms topic, visit your repo's landing page and select "manage topics."