Software


1.

Barakat, Mohamed; Gutsche, Sebastian; Posur, Sebastian

MonoidalCategories - Monoidal and monoidal (co)closed categories Online

2020.

Links

2.

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

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

2020.

Links

3.

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

4.

Barakat, Mohamed; Kühne, Lukas

ArangoDBInterface - An interface to ArangoDB Online

2020.

Links

5.

Barakat, Mohamed; Kühne, Lukas

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

2020.

Links

6.

Geck, Meinolf

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

2020.

Links

7.

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

CAP project - Categories, Algorithms, Programming Online

2020.

Links

8.

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

Origami Database Online

2020.

Links

9.

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

10.

Posur, Sebastian

FreydCategories - Formal (co)kernels for additive categories Online

2020.

Links

11.

Saleh, Kamal

TriangulatedCategories - framework for triangulated categories Online

2020.

Links

12.

Saleh, Kamal

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

2020.

Links

13.

Saleh, Kamal

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

2020.

Links

14.

Saleh, Kamal

DerivedCategories - Gap package to create derived categories Online

2020.

Links

15.

Zeid, Abou K; 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

16.

et. al., William Hart

Oscar.jl version 0.1.0 Online

B1, (Ed.): 2019.

Links

17.

Hart, William; Schoenemann, Hans; Epure, Raul; Gutsche, Sebastian

Singular.jl version 0.1.0 Online

B1, (Ed.): 2019.

Links

18.

Hoffmann, J; Schnur, R

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

B6, A15 (Ed.): 2019.

Links

19.

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

AbstractAlgebra.jl versions 0.4.0, 0.5.0, 0.6.0, 0.7.0, 0.8.0 Online

B1, (Ed.): 2019.

Links

20.

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

Nemo.jl versions 0.12.0, 0.13.0, 0.14.0, 0.15.0, 0.16.0 Online

B1, (Ed.): 2019.

Links

21.

Kattler, Pascal; Thevis, Andrea

GAP Package Origami Online

2019.

Links

22.

Lübeck, Frank; Malle, Gunter

Decomposition matrices of unipotent blocks in GAP Online

2019.

Links

23.

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

24.

Zeid, Abou K; 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

25.

Zeid, Abou K; 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

26.

Gawrilow, Ewgenij; Joswig, Michael

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

2018.

Links

27.

Gruber, Jonathan

GAP package InduceReduce Online

2018.

Links

28.

Heinle, A; Levandovskyy, V

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

2018.

Links

29.

Jordan, Charles; Joswig, Michael; Kastner, Lars

textbfmptopcom, version 1.0 Journal Article

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

Links

30.

Junk, Luca

GAP Package ModularGroup Online

2018.

Links

31.

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

AbstractAlgebra.jl: an abstract algebra package for Julia Online

2017.

Links

32.

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

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

2017.

Links

33.

Gawrilow, Ewgenij; Joswig, Michael

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

2017.

Links

34.

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

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

2017.

Links

35.

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

36.

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

Singular.jl: a Singular wrapper for Julia Online

2015.

Links

37.

Hart, William; Johansson, Fredrik; Pancratz, S

Flint: Fast Library for Number Theory - 2.5.2 Online

2015.

Links

38.

Fieker, Claus; Hart, William; Hofmann, Tommy

ANTIC - Algebraic Number Theory In C Online

2013.

Links

All Software (ordered by years)

2020

1.

Barakat, Mohamed; Gutsche, Sebastian; Posur, Sebastian

MonoidalCategories - Monoidal and monoidal (co)closed categories Online

2020.

Links

2.

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

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

2020.

Links

3.

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

4.

Barakat, Mohamed; Kühne, Lukas

ArangoDBInterface - An interface to ArangoDB Online

2020.

Links

5.

Barakat, Mohamed; Kühne, Lukas

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

2020.

Links

6.

Geck, Meinolf

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

2020.

Links

7.

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

CAP project - Categories, Algorithms, Programming Online

2020.

Links

8.

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

Origami Database Online

2020.

Links

9.

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

10.

Posur, Sebastian

FreydCategories - Formal (co)kernels for additive categories Online

2020.

Links

11.

Saleh, Kamal

TriangulatedCategories - framework for triangulated categories Online

2020.

Links

12.

Saleh, Kamal

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

2020.

Links

13.

Saleh, Kamal

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

2020.

Links

14.

Saleh, Kamal

DerivedCategories - Gap package to create derived categories Online

2020.

Links

2019

15.

Zeid, Abou K; 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

16.

et. al., William Hart

Oscar.jl version 0.1.0 Online

B1, (Ed.): 2019.

Links

17.

Hart, William; Schoenemann, Hans; Epure, Raul; Gutsche, Sebastian

Singular.jl version 0.1.0 Online

B1, (Ed.): 2019.

Links

18.

Hoffmann, J; Schnur, R

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

B6, A15 (Ed.): 2019.

Links

19.

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

AbstractAlgebra.jl versions 0.4.0, 0.5.0, 0.6.0, 0.7.0, 0.8.0 Online

B1, (Ed.): 2019.

Links

20.

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

Nemo.jl versions 0.12.0, 0.13.0, 0.14.0, 0.15.0, 0.16.0 Online

B1, (Ed.): 2019.

Links

21.

Kattler, Pascal; Thevis, Andrea

GAP Package Origami Online

2019.

Links

22.

Lübeck, Frank; Malle, Gunter

Decomposition matrices of unipotent blocks in GAP Online

2019.

Links

23.

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

24.

Zeid, Abou K; 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

25.

Zeid, Abou K; 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

26.

Gawrilow, Ewgenij; Joswig, Michael

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

2018.

Links

27.

Gruber, Jonathan

GAP package InduceReduce Online

2018.

Links

28.

Heinle, A; Levandovskyy, V

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

2018.

Links

29.

Jordan, Charles; Joswig, Michael; Kastner, Lars

textbfmptopcom, version 1.0 Journal Article

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

Links

30.

Junk, Luca

GAP Package ModularGroup Online

2018.

Links

2017

31.

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

AbstractAlgebra.jl: an abstract algebra package for Julia Online

2017.

Links

32.

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

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

2017.

Links

33.

Gawrilow, Ewgenij; Joswig, Michael

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

2017.

Links

34.

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

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

2017.

Links

2016

35.

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

36.

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

Singular.jl: a Singular wrapper for Julia Online

2015.

Links

37.

Hart, William; Johansson, Fredrik; Pancratz, S

Flint: Fast Library for Number Theory - 2.5.2 Online

2015.

Links

2013

38.

Fieker, Claus; Hart, William; Hofmann, Tommy

ANTIC - Algebraic Number Theory In C Online

2013.

Links