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.

Posur, Sebastian

FreydCategories - Formal (co)kernels for additive categories Online

2020.

Links

9.

Saleh, Kamal

TriangulatedCategories - framework for triangulated categories Online

2020.

Links

10.

Saleh, Kamal

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

2020.

Links

11.

Saleh, Kamal

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

2020.

Links

12.

Saleh, Kamal

DerivedCategories - Gap package to create derived categories Online

2020.

Links

13.

et. al., William Hart

Oscar.jl version 0.1.0 Online

B1, (Ed.): 2019.

Links

14.

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

Singular.jl version 0.1.0 Online

B1, (Ed.): 2019.

Links

15.

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

16.

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

17.

Gawrilow, Ewgenij; Joswig, Michael

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

2018.

Links

18.

Jordan, Charles; Joswig, Michael; Kastner, Lars

textbfmptopcom, version 1.0 Journal Article

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

Links

19.

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

AbstractAlgebra.jl: an abstract algebra package for Julia Online

2017.

Links

20.

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

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

2017.

Links

21.

Gawrilow, Ewgenij; Joswig, Michael

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

2017.

Links

22.

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

23.

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

24.

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

Singular.jl: a Singular wrapper for Julia Online

2015.

Links

25.

Hart, William; Johansson, Fredrik; Pancratz, S

Flint: Fast Library for Number Theory - 2.5.2 Online

2015.

Links

26.

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.

Posur, Sebastian

FreydCategories - Formal (co)kernels for additive categories Online

2020.

Links

9.

Saleh, Kamal

TriangulatedCategories - framework for triangulated categories Online

2020.

Links

10.

Saleh, Kamal

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

2020.

Links

11.

Saleh, Kamal

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

2020.

Links

12.

Saleh, Kamal

DerivedCategories - Gap package to create derived categories Online

2020.

Links

2019

13.

et. al., William Hart

Oscar.jl version 0.1.0 Online

B1, (Ed.): 2019.

Links

14.

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

Singular.jl version 0.1.0 Online

B1, (Ed.): 2019.

Links

15.

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

16.

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

2018

17.

Gawrilow, Ewgenij; Joswig, Michael

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

2018.

Links

18.

Jordan, Charles; Joswig, Michael; Kastner, Lars

textbfmptopcom, version 1.0 Journal Article

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

Links

2017

19.

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

AbstractAlgebra.jl: an abstract algebra package for Julia Online

2017.

Links

20.

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

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

2017.

Links

21.

Gawrilow, Ewgenij; Joswig, Michael

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

2017.

Links

22.

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

23.

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

24.

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

Singular.jl: a Singular wrapper for Julia Online

2015.

Links

25.

Hart, William; Johansson, Fredrik; Pancratz, S

Flint: Fast Library for Number Theory - 2.5.2 Online

2015.

Links

2013

26.

Fieker, Claus; Hart, William; Hofmann, Tommy

ANTIC - Algebraic Number Theory In C Online

2013.

Links