Software


1.

Breuer, Thomas

GenericDecMats.jl (version 0.1.2) Online

B1, (Ed.): 2024.

Links

2.

Breuer, Thomas; Gutsche, Sebastian; Horn, Max

GAP.jl Online

B1, (Ed.): 2024, visited: 12.04.2024, (version 0.11.0).

Links

3.

Decker, Wolfram; Fieker, Claus; Horn, Max; Joswig, Michael

Oscar.jl (version 1.0.0) Online

B1, (Ed.): 2024, visited: 12.04.2024, (version 1.0.0).

Links

4.

Decker, Wolfram; Greuel, Gert-Martin; Pfister, Gerhard; Schönemann, Hans

Singular: A Computer Algebra System for Polynomial Computations, Version 4.3.2p16 Online

2024, visited: 12.04.2024.

Links

5.

Fieker, Claus; Hart, William; Hofmann, Tommy; Johansson, Fredrik

AbstractAlgebra.jl (version 0.40.8) Online

B1, (Ed.): 2024, visited: 12.04.2024.

Links

6.

Fieker, Claus; Hart, William; Hofmann, Tommy; Johansson, Fredrik; Schultz, Daniel

Nemo.jl (version 0.43.2) Online

B1, (Ed.): 2024, visited: 12.04.2024.

Links

7.

Fieker, Claus; Hofmann, Tommy; Sircana, Carlo

Hecke.jl (version 0.30.7) Online

B1, (Ed.): 2024, visited: 12.04.2024, (version 0.30.7).

Links

8.

GAP,

The GAP team (version 4.13.0) Online

2024.

Links

9.

Gutsche, Sebastian; Jordan, Alexej; Kaluba, Marek; Lorenz, Benjamin; Timme, Sascha

Polymake.jl (Version 0.11.15) Online

B1, (Ed.): 2024, visited: 12.04.2024, (version 0.11.15).

Links

10.

Hart, William; Gutsche, Sebastian; Schönemann, Hans; Steenpass, Andreas; Schultz, Daniel; Epure, Raul Paul

Singular.jl (version 0.22.6) Online

B1, (Ed.): 2024, visited: 12.04.2024.

Links

11.

Hart, William; Johansson, Fredrik; Pancratz, S.

Flint: Fast Library for Number Theory (version 3.1.2) Online

2024, visited: 12.04.2024.

Links

12.

Leim, Andreas; Wagner, Martin; Horn, Max

GenericCharacterTables.jl (version 0.2.1) Online

B1, (Ed.): 2024, visited: 01.04.2024.

Links

13.

Mäurer, Fabian

TensorCategories.jl: A software package for computations in the realm of tensor categories (version 0.2.5) Online

A20, (Ed.): 2024, visited: 12.04.2024.

Links

14.

Aga, Firoozeh; Böhm, Janko; Hoffmann, A.; Markwig, Hannah; Traore, Ali

GromovWitten.jl - Gromov-Witten Invariants of Elliptic Curves Online

2023, visited: 01.01.2023.

Links

15.

Flake, Johannes; Göttgens, Lars; Pützstück, Phil

PBW deformations — an OSCAR package Online

2023, visited: 01.01.2023.

Links

16.

Gawrilow, Ewgenij; Joswig, Michael

polymake: a Software Package for Analyzing Convex Polytopes (version 4.11) Online

2023, visited: 02.01.2023.

Links

17.

Bendle, Dominik; Boehm, Janko; Heymann, Murray; Ma, Rourou; Rahn, Mirko; Ristau, Lukas; Wittmann, Marcel; Wu, Zihao; Zhang, Yang

pfd-parallel, a Singular/GPI-Space package for massively parallel multivariate partial fractioning Online

2022, visited: 01.01.2022.

Links

18.

Junk, L. L.; Weitze-Schmithüsen, G.

ModularGroup, Finite-index subgroups of (P)SL(2,Integers), Version 2.0.0 (GAP package) Online

2022, visited: 01.01.2022.

Links

19.

Ertl, S.; Junk, L. L.; Kattler, P.; Rogovskyy, A.; Thevis, A.; Weitze-Schmithüsen, G.

Origami, Computing Veech groups of origamis, Version 2.0.0 (GAP package) Online

2022, visited: 01.01.2022.

Links

20.

Hauck, Maximilian; Horn, Max; Pfersdorff, Tristan; Siccha, Sergio

ClassicalMaximals – a GAP package providing maximal subgroups of classical groups Online

2021.

Links

21.

Barakat, Mohamed; Gutsche, Sebastian; Posur, Sebastian

MonoidalCategories - Monoidal and monoidal (co)closed categories Online

2020.

Links

22.

Barakat, Mohamed; Kuhmichel, Tom; Lange-Hegermann, Markus

Locales - Locales, frames, coframes, lattices of locally closed subsets, and lattices of constructible sets Online

2020.

Links

23.

Barakat, Mohamed; Kuhmichel, Tom; Lange-Hegermann, Markus

ZariskiFrames- (Co)frames/Locales of Zariski closed/open subsets of affine, projective, or toric varieties Online

2020.

Links

24.

Barakat, Mohamed; Kühne, Lukas

ArangoDBInterface - An interface to ArangoDB Online

2020.

Links

25.

Barakat, Mohamed; Kühne, Lukas

matroids_split_public - a database collection for rank 3 integrally split simple matroids Online

2020.

Links

26.

Böhm, Janko; Decker, Wolfram; Frühbis-Krüger, Anne; Heymann, Murray; Pfreundt, Franz-Josef; Rahn, Mirko; Ristau, Lukas

The Singular/GPI-Space framework - massively parallel computer algebra Online

2020, visited: 01.01.2020.

Links

27.

Geck, Meinolf

ChevLie - A Julia package for constructing Lie algebras and Chevalley groups Online

2020.

Links

28.

Gutsche, Sebastian; Posur, Sebastian; Barakat, Mohamed; Skartsæterhagen, Øystein

CAP project - Categories, Algorithms, Programming Online

2020.

Links

29.

Junk, Luca; Thevis, Andrea; Weitze-Schmithüsen, Gabriela

Origami Database Online

2020.

Links

30.

Levandovskyy, Viktor; Zeid, Karim Abou; Schönemann, Hans

Letterplace - A Singular 4-1 Subsystem for Non-commutative Finitely Presented Algebras Online

B6, (Ed.): 2020, visited: 01.01.2020.

Links

31.

Posur, Sebastian

FreydCategories - Formal (co)kernels for additive categories Online

2020.

Links

32.

Saleh, Kamal

TriangulatedCategories - framework for triangulated categories Online

2020.

Links

33.

Saleh, Kamal

StableCategories - GAP package for constructing stable category of a given Cap category Online

2020, visited: 02.01.2020.

Links

34.

Saleh, Kamal

HomotopyCategories - Package to create homotopy categories of an additive category Online

2020.

Links

35.

Saleh, Kamal

DerivedCategories - GAP package to create derived categories Online

2020, visited: 02.01.2020.

Links

36.

Zeid, K Abou; Levandovskyy, V; Studzinski, G

fpalgebras.lib, a Singular 4-1 library for definitions of some finitely presented algebras and groups via Letterplace approach Online

B6, (Ed.): 2019.

Links

37.

Hoffmann, J; Schnur, R

ncrat.lib, a Singular 4-1 framework for working with non-commutative rational functions Online

B6, A15 (Ed.): 2019.

Links

38.

Lübeck, Frank; Malle, Gunter

Decomposition matrices of unipotent blocks in GAP Online

2019.

Links

39.

Zeid, Karim Abou

fpaprops.lib, a Singular 4-1 library for checking algorithmic ring-theoretic properties of finitely presented algebras via Letterplace approach Online

B6, (Ed.): 2019.

Links

40.

Zeid, K Abou; Levandovskyy, V; Studzinski, G

freegb.lib, a Singular 4-1 library for computing two-sided Groebner bases in free algebras via Letterplace approach Online

B6, (Ed.): 2019.

Links

41.

Zeid, K Abou; Levandovskyy, V; Studzinski, G

fpadim.lib, a Singular 4-1 library for vector space dimension, basis and Hilbert series for finitely presented algebras via Letterplace approach Online

B6, (Ed.): 2019.

Links

42.

Gruber, Jonathan

GAP package InduceReduce Online

2018.

Links

43.

Heinle, A; Levandovskyy, V

ncfactor.lib, a Singular 4-1 library for factorizing noncommutative polynomials Online

2018.

Links

44.

Jordan, Charles; Joswig, Michael; Kastner, Lars

mptopcom, version 1.0 Journal Article

In: Open source software for the parallel enumeration of triangulations, 2018.

Links

45.

Gladman, Brian; Hart, William; Moxham, Jason; the GMP & MPIR development teams,

MPIR: Multiple Precision Integers and Rationals, a fork of the GNU Multiprecision library, 3.0.0 Online

2017.

Links

46.

Fieker, Claus; Hart, William; Hofmann, Tommy

ANTIC - Algebraic Number Theory In C Online

2013.

Links

All Software (ordered by years)

2024

1.

Breuer, Thomas

GenericDecMats.jl (version 0.1.2) Online

B1, (Ed.): 2024.

Links

2.

Breuer, Thomas; Gutsche, Sebastian; Horn, Max

GAP.jl Online

B1, (Ed.): 2024, visited: 12.04.2024, (version 0.11.0).

Links

3.

Decker, Wolfram; Fieker, Claus; Horn, Max; Joswig, Michael

Oscar.jl (version 1.0.0) Online

B1, (Ed.): 2024, visited: 12.04.2024, (version 1.0.0).

Links

4.

Decker, Wolfram; Greuel, Gert-Martin; Pfister, Gerhard; Schönemann, Hans

Singular: A Computer Algebra System for Polynomial Computations, Version 4.3.2p16 Online

2024, visited: 12.04.2024.

Links

5.

Fieker, Claus; Hart, William; Hofmann, Tommy; Johansson, Fredrik

AbstractAlgebra.jl (version 0.40.8) Online

B1, (Ed.): 2024, visited: 12.04.2024.

Links

6.

Fieker, Claus; Hart, William; Hofmann, Tommy; Johansson, Fredrik; Schultz, Daniel

Nemo.jl (version 0.43.2) Online

B1, (Ed.): 2024, visited: 12.04.2024.

Links

7.

Fieker, Claus; Hofmann, Tommy; Sircana, Carlo

Hecke.jl (version 0.30.7) Online

B1, (Ed.): 2024, visited: 12.04.2024, (version 0.30.7).

Links

8.

GAP,

The GAP team (version 4.13.0) Online

2024.

Links

9.

Gutsche, Sebastian; Jordan, Alexej; Kaluba, Marek; Lorenz, Benjamin; Timme, Sascha

Polymake.jl (Version 0.11.15) Online

B1, (Ed.): 2024, visited: 12.04.2024, (version 0.11.15).

Links

10.

Hart, William; Gutsche, Sebastian; Schönemann, Hans; Steenpass, Andreas; Schultz, Daniel; Epure, Raul Paul

Singular.jl (version 0.22.6) Online

B1, (Ed.): 2024, visited: 12.04.2024.

Links

11.

Hart, William; Johansson, Fredrik; Pancratz, S.

Flint: Fast Library for Number Theory (version 3.1.2) Online

2024, visited: 12.04.2024.

Links

12.

Leim, Andreas; Wagner, Martin; Horn, Max

GenericCharacterTables.jl (version 0.2.1) Online

B1, (Ed.): 2024, visited: 01.04.2024.

Links

13.

Mäurer, Fabian

TensorCategories.jl: A software package for computations in the realm of tensor categories (version 0.2.5) Online

A20, (Ed.): 2024, visited: 12.04.2024.

Links

2023

14.

Aga, Firoozeh; Böhm, Janko; Hoffmann, A.; Markwig, Hannah; Traore, Ali

GromovWitten.jl - Gromov-Witten Invariants of Elliptic Curves Online

2023, visited: 01.01.2023.

Links

15.

Flake, Johannes; Göttgens, Lars; Pützstück, Phil

PBW deformations — an OSCAR package Online

2023, visited: 01.01.2023.

Links

16.

Gawrilow, Ewgenij; Joswig, Michael

polymake: a Software Package for Analyzing Convex Polytopes (version 4.11) Online

2023, visited: 02.01.2023.

Links

2022

17.

Bendle, Dominik; Boehm, Janko; Heymann, Murray; Ma, Rourou; Rahn, Mirko; Ristau, Lukas; Wittmann, Marcel; Wu, Zihao; Zhang, Yang

pfd-parallel, a Singular/GPI-Space package for massively parallel multivariate partial fractioning Online

2022, visited: 01.01.2022.

Links

18.

Junk, L. L.; Weitze-Schmithüsen, G.

ModularGroup, Finite-index subgroups of (P)SL(2,Integers), Version 2.0.0 (GAP package) Online

2022, visited: 01.01.2022.

Links

19.

Ertl, S.; Junk, L. L.; Kattler, P.; Rogovskyy, A.; Thevis, A.; Weitze-Schmithüsen, G.

Origami, Computing Veech groups of origamis, Version 2.0.0 (GAP package) Online

2022, visited: 01.01.2022.

Links

2021

20.

Hauck, Maximilian; Horn, Max; Pfersdorff, Tristan; Siccha, Sergio

ClassicalMaximals – a GAP package providing maximal subgroups of classical groups Online

2021.

Links

2020

21.

Barakat, Mohamed; Gutsche, Sebastian; Posur, Sebastian

MonoidalCategories - Monoidal and monoidal (co)closed categories Online

2020.

Links

22.

Barakat, Mohamed; Kuhmichel, Tom; Lange-Hegermann, Markus

Locales - Locales, frames, coframes, lattices of locally closed subsets, and lattices of constructible sets Online

2020.

Links

23.

Barakat, Mohamed; Kuhmichel, Tom; Lange-Hegermann, Markus

ZariskiFrames- (Co)frames/Locales of Zariski closed/open subsets of affine, projective, or toric varieties Online

2020.

Links

24.

Barakat, Mohamed; Kühne, Lukas

ArangoDBInterface - An interface to ArangoDB Online

2020.

Links

25.

Barakat, Mohamed; Kühne, Lukas

matroids_split_public - a database collection for rank 3 integrally split simple matroids Online

2020.

Links

26.

Böhm, Janko; Decker, Wolfram; Frühbis-Krüger, Anne; Heymann, Murray; Pfreundt, Franz-Josef; Rahn, Mirko; Ristau, Lukas

The Singular/GPI-Space framework - massively parallel computer algebra Online

2020, visited: 01.01.2020.

Links

27.

Geck, Meinolf

ChevLie - A Julia package for constructing Lie algebras and Chevalley groups Online

2020.

Links

28.

Gutsche, Sebastian; Posur, Sebastian; Barakat, Mohamed; Skartsæterhagen, Øystein

CAP project - Categories, Algorithms, Programming Online

2020.

Links

29.

Junk, Luca; Thevis, Andrea; Weitze-Schmithüsen, Gabriela

Origami Database Online

2020.

Links

30.

Levandovskyy, Viktor; Zeid, Karim Abou; Schönemann, Hans

Letterplace - A Singular 4-1 Subsystem for Non-commutative Finitely Presented Algebras Online

B6, (Ed.): 2020, visited: 01.01.2020.

Links

31.

Posur, Sebastian

FreydCategories - Formal (co)kernels for additive categories Online

2020.

Links

32.

Saleh, Kamal

TriangulatedCategories - framework for triangulated categories Online

2020.

Links

33.

Saleh, Kamal

StableCategories - GAP package for constructing stable category of a given Cap category Online

2020, visited: 02.01.2020.

Links

34.

Saleh, Kamal

HomotopyCategories - Package to create homotopy categories of an additive category Online

2020.

Links

35.

Saleh, Kamal

DerivedCategories - GAP package to create derived categories Online

2020, visited: 02.01.2020.

Links

2019

36.

Zeid, K Abou; Levandovskyy, V; Studzinski, G

fpalgebras.lib, a Singular 4-1 library for definitions of some finitely presented algebras and groups via Letterplace approach Online

B6, (Ed.): 2019.

Links

37.

Hoffmann, J; Schnur, R

ncrat.lib, a Singular 4-1 framework for working with non-commutative rational functions Online

B6, A15 (Ed.): 2019.

Links

38.

Lübeck, Frank; Malle, Gunter

Decomposition matrices of unipotent blocks in GAP Online

2019.

Links

39.

Zeid, Karim Abou

fpaprops.lib, a Singular 4-1 library for checking algorithmic ring-theoretic properties of finitely presented algebras via Letterplace approach Online

B6, (Ed.): 2019.

Links

40.

Zeid, K Abou; Levandovskyy, V; Studzinski, G

freegb.lib, a Singular 4-1 library for computing two-sided Groebner bases in free algebras via Letterplace approach Online

B6, (Ed.): 2019.

Links

41.

Zeid, K Abou; Levandovskyy, V; Studzinski, G

fpadim.lib, a Singular 4-1 library for vector space dimension, basis and Hilbert series for finitely presented algebras via Letterplace approach Online

B6, (Ed.): 2019.

Links

2018

42.

Gruber, Jonathan

GAP package InduceReduce Online

2018.

Links

43.

Heinle, A; Levandovskyy, V

ncfactor.lib, a Singular 4-1 library for factorizing noncommutative polynomials Online

2018.

Links

44.

Jordan, Charles; Joswig, Michael; Kastner, Lars

mptopcom, version 1.0 Journal Article

In: Open source software for the parallel enumeration of triangulations, 2018.

Links

2017

45.

Gladman, Brian; Hart, William; Moxham, Jason; the GMP & MPIR development teams,

MPIR: Multiple Precision Integers and Rationals, a fork of the GNU Multiprecision library, 3.0.0 Online

2017.

Links

2013

46.

Fieker, Claus; Hart, William; Hofmann, Tommy

ANTIC - Algebraic Number Theory In C Online

2013.

Links