Skip to content

Releases: CarstenScherer/Algorithm-Synthesis

v3.1

26 Sep 09:51
@CarstenScherer CarstenScherer
v3.1
e381a8a
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
v3.1 Latest
Latest

A minus sign in the definition of the characteristic polynomial of the basis corrected.
This has no effect on the numerical results.

Assets 2
Loading

Final Release

19 Sep 11:04
@CarstenScherer CarstenScherer
v3
fabd5d5
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Final Release 
v3

Update CITATION.cff
Loading

Typos corrected

15 Sep 10:40
@CarstenScherer CarstenScherer
v2
7f9b67d
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Typos corrected

Only a few typos have been corrected in the main files.
In addition, all results have been added to the repository in .mat files.

Loading

Release for Zenodo

15 Sep 09:04
@CarstenScherer CarstenScherer
v1
7c5d59b
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Release for Zenodo 
v1

Add files via upload
Loading