mirror of
https://github.com/kalmarek/PropertyT.jl.git
synced 2024-11-14 06:10:28 +01:00
1.0 KiB
1.0 KiB
Property(T)
This package is concerned with sum of squares decompositions in group rings of finitely presented groups. Please have a look into test directory to see how to use this package. For an example applications have a look at our papers: 1703.09680, 1712.07167 and 1812.03456.
The package depends on