Published October 30, 2023
| Version 1.4
Dataset
Open
DATA for the paper SEMIGROUPS, KEIS AND GROUPS INDUCED BY KNOT DIAGRAMS: AN EXPERIMENTAL INVESTIGATION WITH AUTOMATED REASONING
Authors/Creators
Description
This upload contains supplementary materials for the paper SEMIGROUPS, KEIS AND GROUPS INDUCED BY KNOT DIAGRAMS: AN EXPERIMENTAL INVESTIGATION WITH AUTOMATED REASONING
Notes
This upload v1.4 contains also correction to the submitted paper.
Files
SG-PG-2023.zip
Files
(105.5 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:06fd92f7727dd1da59421f7754ffbc5e
|
105.5 kB | Preview Download |
Additional details
Dates
- Other
-
2023-10-14