Software


1.

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

2.

Breuer, Thomas; Gutsche, Sebastian; Horn, Max

GAP.jl Online

B1, (Ed.): 2023, visited: 02.01.2023, (version 0.10.0).

Links

3.

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

Oscar.jl Online

B1, (Ed.): 2023, visited: 02.01.2023, (version 0.13.0).

Links

4.

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

AbstractAlgebra.jl (version 0.34.0) Online

2023, visited: 02.01.2023.

Links

5.

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

Nemo.jl (version 0.38.1) Online

B1, (Ed.): 2023, visited: 02.01.2023.

Links

6.

Fieker, Claus; Hofmann, Tommy; Sircana, Carlo

Hecke.jl (version 0.20.0) Online

B1, (Ed.): 2023, visited: 02.01.2023, (version 0.20.0).

Links

7.

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

Polymake.jl Online

B1, (Ed.): 2023, visited: 02.01.2023, (version 0.11.9).

Links

8.

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

Singular.jl (version 0.20.0) Online

B1, (Ed.): 2023, visited: 02.01.2023.

Links

9.

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

10.

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

11.

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

12.

Barakat, Mohamed; Gutsche, Sebastian; Posur, Sebastian

MonoidalCategories - Monoidal and monoidal (co)closed categories Online

2020.

Links

13.

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

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

2020.

Links

14.

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

15.

Barakat, Mohamed; Kühne, Lukas

ArangoDBInterface - An interface to ArangoDB Online

2020.

Links

16.

Barakat, Mohamed; Kühne, Lukas

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

2020.

Links

17.

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

18.

Geck, Meinolf

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

2020.

Links

19.

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

CAP project - Categories, Algorithms, Programming Online

2020.

Links

20.

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

Origami Database Online

2020.

Links

21.

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

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

B6, (Ed.): 2020.

Links

22.

Posur, Sebastian

FreydCategories - Formal (co)kernels for additive categories Online

2020.

Links

23.

Saleh, Kamal

TriangulatedCategories - framework for triangulated categories Online

2020.

Links

24.

Saleh, Kamal

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

2020.

Links

25.

Saleh, Kamal

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

2020.

Links

26.

Saleh, Kamal

DerivedCategories - Gap package to create derived categories Online

2020.

Links

27.

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

28.

et. al., William Hart

Oscar.jl version 0.1.0 Online

B1, (Ed.): 2019.

Links

29.

Hoffmann, J; Schnur, R

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

B6, A15 (Ed.): 2019.

Links

30.

Kattler, Pascal; Thevis, Andrea

GAP Package Origami Online

2019.

Links

31.

Lübeck, Frank; Malle, Gunter

Decomposition matrices of unipotent blocks in GAP Online

2019.

Links

32.

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

33.

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

34.

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

35.

Gawrilow, Ewgenij; Joswig, Michael

polymake: a Software Package for Analyzing Convex Polytopes, version 3.2 Online

2018.

Links

36.

Gruber, Jonathan

GAP package InduceReduce Online

2018.

Links

37.

Heinle, A; Levandovskyy, V

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

2018.

Links

38.

Jordan, Charles; Joswig, Michael; Kastner, Lars

textbfmptopcom, version 1.0 Journal Article

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

Links

39.

Junk, Luca

GAP Package ModularGroup Online

2018.

Links

40.

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

AbstractAlgebra.jl: an abstract algebra package for Julia Online

2017.

Links

41.

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

Nemo: a computer algebra package for Julia - Nemo-0.7.3 Online

2017.

Links

42.

Gawrilow, Ewgenij; Joswig, Michael

polymake: a Software Package for Analyzing Convex Polytopes, Version 3.1 Online

2017.

Links

43.

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

44.

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

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

2016.

Links

45.

Fieker, Claus; Hart, William; Motsak, Olexander; Steenpaß, Andreas

Singular.jl: a Singular wrapper for Julia Online

2015.

Links

46.

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

Flint: Fast Library for Number Theory - 2.5.2 Online

2015.

Links

47.

Fieker, Claus; Hart, William; Hofmann, Tommy

ANTIC - Algebraic Number Theory In C Online

2013.

Links

All Software (ordered by years)

2023

1.

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

2.

Breuer, Thomas; Gutsche, Sebastian; Horn, Max

GAP.jl Online

B1, (Ed.): 2023, visited: 02.01.2023, (version 0.10.0).

Links

3.

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

Oscar.jl Online

B1, (Ed.): 2023, visited: 02.01.2023, (version 0.13.0).

Links

4.

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

AbstractAlgebra.jl (version 0.34.0) Online

2023, visited: 02.01.2023.

Links

5.

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

Nemo.jl (version 0.38.1) Online

B1, (Ed.): 2023, visited: 02.01.2023.

Links

6.

Fieker, Claus; Hofmann, Tommy; Sircana, Carlo

Hecke.jl (version 0.20.0) Online

B1, (Ed.): 2023, visited: 02.01.2023, (version 0.20.0).

Links

7.

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

Polymake.jl Online

B1, (Ed.): 2023, visited: 02.01.2023, (version 0.11.9).

Links

8.

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

Singular.jl (version 0.20.0) Online

B1, (Ed.): 2023, visited: 02.01.2023.

Links

2022

9.

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

10.

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

11.

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

2020

12.

Barakat, Mohamed; Gutsche, Sebastian; Posur, Sebastian

MonoidalCategories - Monoidal and monoidal (co)closed categories Online

2020.

Links

13.

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

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

2020.

Links

14.

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

15.

Barakat, Mohamed; Kühne, Lukas

ArangoDBInterface - An interface to ArangoDB Online

2020.

Links

16.

Barakat, Mohamed; Kühne, Lukas

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

2020.

Links

17.

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

18.

Geck, Meinolf

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

2020.

Links

19.

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

CAP project - Categories, Algorithms, Programming Online

2020.

Links

20.

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

Origami Database Online

2020.

Links

21.

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

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

B6, (Ed.): 2020.

Links

22.

Posur, Sebastian

FreydCategories - Formal (co)kernels for additive categories Online

2020.

Links

23.

Saleh, Kamal

TriangulatedCategories - framework for triangulated categories Online

2020.

Links

24.

Saleh, Kamal

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

2020.

Links

25.

Saleh, Kamal

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

2020.

Links

26.

Saleh, Kamal

DerivedCategories - Gap package to create derived categories Online

2020.

Links

2019

27.

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

28.

et. al., William Hart

Oscar.jl version 0.1.0 Online

B1, (Ed.): 2019.

Links

29.

Hoffmann, J; Schnur, R

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

B6, A15 (Ed.): 2019.

Links

30.

Kattler, Pascal; Thevis, Andrea

GAP Package Origami Online

2019.

Links

31.

Lübeck, Frank; Malle, Gunter

Decomposition matrices of unipotent blocks in GAP Online

2019.

Links

32.

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

33.

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

34.

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

35.

Gawrilow, Ewgenij; Joswig, Michael

polymake: a Software Package for Analyzing Convex Polytopes, version 3.2 Online

2018.

Links

36.

Gruber, Jonathan

GAP package InduceReduce Online

2018.

Links

37.

Heinle, A; Levandovskyy, V

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

2018.

Links

38.

Jordan, Charles; Joswig, Michael; Kastner, Lars

textbfmptopcom, version 1.0 Journal Article

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

Links

39.

Junk, Luca

GAP Package ModularGroup Online

2018.

Links

2017

40.

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

AbstractAlgebra.jl: an abstract algebra package for Julia Online

2017.

Links

41.

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

Nemo: a computer algebra package for Julia - Nemo-0.7.3 Online

2017.

Links

42.

Gawrilow, Ewgenij; Joswig, Michael

polymake: a Software Package for Analyzing Convex Polytopes, Version 3.1 Online

2017.

Links

43.

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

2016

44.

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

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

2016.

Links

2015

45.

Fieker, Claus; Hart, William; Motsak, Olexander; Steenpaß, Andreas

Singular.jl: a Singular wrapper for Julia Online

2015.

Links

46.

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

Flint: Fast Library for Number Theory - 2.5.2 Online

2015.

Links

2013

47.

Fieker, Claus; Hart, William; Hofmann, Tommy

ANTIC - Algebraic Number Theory In C Online

2013.

Links