Software

@online{Bendle2022_Böhm_Heymann_Ma_Rahn_Ristau_Wittmann_Wu_Zhang,

title = {pfd-parallel, a Singular/GPI-Space package for massively parallel multivariate partial fractioning},

author = {Dominik Bendle and Janko Boehm and Murray Heymann and Rourou Ma and Mirko Rahn and Lukas Ristau and Marcel Wittmann and Zihao Wu and Yang Zhang},

url = {https://github.com/singular-gpispace/pfd-parallel},

year  = {2022},

date = {2022-01-01},

urldate = {2022-01-01},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Barakat2020_Gutsche_Posur,

title = {MonoidalCategories - Monoidal and monoidal (co)closed categories},

author = {Mohamed Barakat and Sebastian Gutsche and Sebastian Posur},

url = {https://homalg-project.github.io/CAP_project/MonoidalCategories/},

year  = {2020},

date = {2020-01-02},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Barakat2020_Kuhmichel_Lange-Hegermann,

title = {Locales - Locales, frames, coframes, lattices of locally closed subsets, and lattices of constructible sets},

author = {Mohamed Barakat and Tom Kuhmichel and Markus Lange-Hegermann},

url = {https://github.com/homalg-project/Locales},

year  = {2020},

date = {2020-01-01},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Barakat2020_Kuhmichel_Lange-Hegermann,

title = {ZariskiFrames- (Co)frames/Locales of Zariski closed/open subsets of affine, projective, or toric varieties},

author = {Mohamed Barakat and Tom Kuhmichel and Markus Lange-Hegermann},

url = {https://github.com/homalg-project/ZariskiFrames},

year  = {2020},

date = {2020-01-02},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Barakat2020_Kühne,

title = {ArangoDBInterface - An interface to ArangoDB},

author = {Mohamed Barakat and Lukas Kühne},

url = {https://github.com/homalg-project/ArangoDBInterface},

year  = {2020},

date = {2020-01-02},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Barakat2020_Kühne,

title = {matroids_split_public - a database collection for rank 3 integrally split simple matroids},

author = {Mohamed Barakat and Lukas Kühne},

url = {https://github.com/homalg-project/MatroidGeneration/blob/master/README.md},

year  = {2020},

date = {2020-01-02},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Böhm2020_Decker_Frühbis-Krüger_Heymann_Pfreundt_Rahn_Ristau,

title = {The Singular/GPI-Space framework - massively parallel computer algebra},

author = {Janko Böhm and Wolfram Decker and Anne Frühbis-Krüger and Murray Heymann and Franz-Josef Pfreundt and Mirko Rahn and Lukas Ristau},

url = {https://github.com/singular-gpispace/framework},

year  = {2020},

date = {2020-01-01},

urldate = {2020-01-01},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Geck2020,

title = {ChevLie - A Julia package for constructing Lie algebras and Chevalley groups},

author = {Meinolf Geck},

url = {https://pnp.mathematik.uni-stuttgart.de/iaz/iaz2/geckmf/chevlie1r1.jl},

year  = {2020},

date = {2020-02-02},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Gutsche2020_Posur_Barakat_Skartsæterhagen,

title = {CAP project - Categories, Algorithms, Programming},

author = {Sebastian Gutsche and Sebastian Posur and Mohamed Barakat and Øystein Skartsæterhagen},

url = {https://homalg-project.github.io/CAP_project/},

year  = {2020},

date = {2020-01-02},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Junk2020_Thevis_WeitzeSchmithüsen,

title = {Origami Database},

author = {Luca Junk and Andrea Thevis and Gabriela Weitze-Schmithüsen},

url = {https://www.math.uni-sb.de/ag/weitze/CMS/index.php/en/research},

year  = {2020},

date = {2020-01-01},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Levandovskyy202_Zeid_Schönemann,

title = {Singular:Letterplace - A Singular 4-1 Subsystem for Non-commutative Finitely Presented Algebras},

author = {Viktor Levandovskyy and Karim Abou Zeid and Hans Schönemann},

editor = {B6},

url = {http://www.singular.uni-kl.de},

year  = {2020},

date = {2020-01-01},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Posur2020,

title = {FreydCategories - Formal (co)kernels for additive categories},

author = {Sebastian Posur},

url = {https://github.com/homalg-project/CAP_project/tree/master/FreydCategoriesForCAP},

year  = {2020},

date = {2020-01-02},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Saleh2020,

title = {TriangulatedCategories - framework for triangulated categories},

author = {Kamal Saleh},

url = {https://github.com/homalg-project/TriangulatedCategories},

year  = {2020},

date = {2020-01-02},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Saleh2020,

title = {StableCategories - Gap package for constructing stable category of a given Cap category},

author = {Kamal Saleh},

url = {https://github.com/homalg-project/StableCategories},

year  = {2020},

date = {2020-01-02},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Saleh2020,

title = {HomotopyCategories - Package to create homotopy categories of an additive category},

author = {Kamal Saleh},

url = {https://github.com/homalg-project/HomotopyCategories},

year  = {2020},

date = {2020-01-02},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Saleh2020,

title = {DerivedCategories - Gap package to create derived categories},

author = {Kamal Saleh},

url = {https://github.com/homalg-project/DerivedCategories},

year  = {2020},

date = {2020-01-02},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{AbouZeid2019_Levandovskyy_Studzinsky,

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

author = {K Abou Zeid and V Levandovskyy and G Studzinski},

editor = {B6},

url = {http://www.singular.uni-kl.de},

year  = {2019},

date = {2019-01-01},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Hart2019,

title = {Oscar.jl version 0.1.0},

author = {William Hart et. al.},

editor = {B1},

url = {https://oscar-system.github.io/Oscar.jl/latest/index.html},

year  = {2019},

date = {2019-12-20},

school = {TU Kaiserslautern},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Hart2019_Schoenemann_Epure_Gutsche,

title = {Singular.jl version 0.1.0},

author = {William Hart and Hans Schoenemann and Raul Epure and Sebastian Gutsche},

editor = {B1},

url = {https://oscar-system.github.io/Singular.jl/latest/index.html },

year  = {2019},

date = {2019-12-20},

school = {TU Kaiserslautern},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Hoffmann2019_Schnur,

title = {ncrat.lib, a Singular 4-1 framework for working with non-commutative rational functions},

author = {J Hoffmann and R Schnur},

editor = {A15 B6},

url = {http://www.singular.uni-kl.de},

year  = {2019},

date = {2019-01-01},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Johansson2019_Hofmann_Fieker_Hart,

title = {AbstractAlgebra.jl versions 0.4.0, 0.5.0, 0.6.0, 0.7.0, 0.8.0},

author = {Fredrik Johansson and Tommy Hofmann and Claus Fieker and William Hart},

editor = {B1},

url = {https://nemocas.github.io/AbstractAlgebra.jl/latest/index.html  },

year  = {2019},

date = {2019-01-01},

school = {TU Kaiserslautern},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Johansson2019_Hofmann_Fieker_Hart,

title = {Nemo.jl versions 0.12.0, 0.13.0, 0.14.0, 0.15.0, 0.16.0},

author = {Fredrik Johansson and Tommy Hofmann and Claus Fieker and William Hart},

editor = {B1},

url = {http://nemocas.github.io/Nemo.jl/latest/ },

year  = {2019},

date = {2019-01-01},

school = {TU Kaiserslautern},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Kattler2019_Thevis,

title = {GAP Package Origami},

author = {Pascal Kattler and Andrea Thevis},

url = {https://pascalkattler.github.io/Origami/},

year  = {2019},

date = {2019-01-01},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Lübeck2019_Malle,

title = {Decomposition matrices of unipotent blocks in GAP},

author = {Frank Lübeck and Gunter Malle},

url = {http://www.math.rwth-aachen.de/~CHEVIE/contrib.html},

year  = {2019},

date = {2019-01-01},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Zeid2019,

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

author = {Karim Abou Zeid},

editor = {B6},

url = {http://www.singular.uni-kl.de},

year  = {2019},

date = {2019-01-01},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Zeid2019_Levandovskyy_Studzinski,

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

author = {K Abou Zeid and V Levandovskyy and G Studzinski},

editor = {B6},

url = {http://www.singular.uni-kl.de},

year  = {2019},

date = {2019-01-01},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Zeid2019_Levandovskyy_Studzinski,

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

author = {K Abou Zeid and V Levandovskyy and G Studzinski},

editor = {B6},

url = {http://www.singular.uni-kl.de},

year  = {2019},

date = {2019-01-01},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Gawrilow2019_Joswig,

title = {polymake: a Software Package for Analyzing Convex Polytopes, version 3.2},

author = {Ewgenij Gawrilow and Michael Joswig},

url = {https://polymake.org/doku.php},

year  = {2018},

date = {2018-01-01},

journal = {Open source software for the parallel enumeration of triangulations},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Gruber2018,

title = {GAP package InduceReduce},

author = {Jonathan Gruber},

url = {https://github.com/jonathan-144/InduceReduce},

year  = {2018},

date = {2018-01-01},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Heinle2018_Levandovskyy,

title = {ncfactor.lib, a Singular 4-1 library for factorizing noncommutative polynomials},

author = {A Heinle and V Levandovskyy},

url = {http://www.singular.uni-kl.de},

year  = {2018},

date = {2018-01-01},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Junk2018,

title = {GAP Package ModularGroup},

author = {Luca Junk},

url = {https://le-on.github.io/ModularGroup/},

year  = {2018},

date = {2018-01-01},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Fieker2017_Hart_Hofmann_Johansson,

title = {AbstractAlgebra.jl: an abstract algebra package for Julia},

author = {Claus Fieker and William Hart and Tommy Hofmann and Fredrik Johansson },

url = {https://github.com/oscar-system/AbstractAlgebra.jl},

year  = {2017},

date = {2017-01-01},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Fieker2017_Hart_Hofmann_Johansson_altre,

title = {Nemo: a computer algebra package for Julia - Nemo-0.7.3},

author = {Claus Fieker and William Hart and Tommy Hofmann and Fredrik Johansson},

url = {http://nemocas.org/},

year  = {2017},

date = {2017-12-31},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Gawrilow2017_Joswig,

title = {polymake: a Software Package for Analyzing Convex Polytopes, Version 3.1},

author = {Ewgenij Gawrilow and Michael Joswig},

url = {https://polymake.org/doku.php},

year  = {2017},

date = {2017-01-01},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Gladman2017_Hart_Moxham,

title = {MPIR: Multiple Precision Integers and Rationals, a fork of the GNU Multiprecision library, 3.0.0},

author = {Brian Gladman and William Hart and Jason Moxham and the GMP & MPIR development teams},

url = {http://mpir.org/},

year  = {2017},

date = {2017-03-01},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Decker2016_Greuel_Pfister_Schoenemann,

title = {Singular: A Computer Algebra System for Polynomial Computations, Version 4.1.0},

author = {Wolfram Decker and Gert-Martin Greuel and Gerhard Pfister and Hans Schönemann},

url = {https://www.singular.uni-kl.de},

year  = {2016},

date = {2016-11-21},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Fieker2015_Hart_Motsak_Steenpaß,

title = {Singular.jl: a Singular wrapper for Julia},

author = {Claus Fieker and William Hart and Olexander Motsak and Andreas Steenpaß},

url = {https://github.com/oscar-system/Singular.jl/},

year  = {2015},

date = {2015-01-01},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Hart2015_Johansson_Pancratz,

title = {Flint: Fast Library for Number Theory - 2.5.2},

author = {William Hart and Fredrik Johansson and S. Pancratz},

url = {http://flintlib.org/},

year  = {2015},

date = {2015-08-07},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Fieker2013_Hart_Hofmann,

title = {ANTIC - Algebraic Number Theory In C},

author = {Claus Fieker and William Hart and Tommy Hofmann},

url = {https://github.com/wbhart/antic},

year  = {2013},

date = {2013-01-01},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Bendle2022_Böhm_Heymann_Ma_Rahn_Ristau_Wittmann_Wu_Zhang,

title = {pfd-parallel, a Singular/GPI-Space package for massively parallel multivariate partial fractioning},

author = {Dominik Bendle and Janko Boehm and Murray Heymann and Rourou Ma and Mirko Rahn and Lukas Ristau and Marcel Wittmann and Zihao Wu and Yang Zhang},

url = {https://github.com/singular-gpispace/pfd-parallel},

year  = {2022},

date = {2022-01-01},

urldate = {2022-01-01},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Barakat2020_Gutsche_Posur,

title = {MonoidalCategories - Monoidal and monoidal (co)closed categories},

author = {Mohamed Barakat and Sebastian Gutsche and Sebastian Posur},

url = {https://homalg-project.github.io/CAP_project/MonoidalCategories/},

year  = {2020},

date = {2020-01-02},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Barakat2020_Kuhmichel_Lange-Hegermann,

title = {Locales - Locales, frames, coframes, lattices of locally closed subsets, and lattices of constructible sets},

author = {Mohamed Barakat and Tom Kuhmichel and Markus Lange-Hegermann},

url = {https://github.com/homalg-project/Locales},

year  = {2020},

date = {2020-01-01},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Barakat2020_Kuhmichel_Lange-Hegermann,

title = {ZariskiFrames- (Co)frames/Locales of Zariski closed/open subsets of affine, projective, or toric varieties},

author = {Mohamed Barakat and Tom Kuhmichel and Markus Lange-Hegermann},

url = {https://github.com/homalg-project/ZariskiFrames},

year  = {2020},

date = {2020-01-02},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Barakat2020_Kühne,

title = {ArangoDBInterface - An interface to ArangoDB},

author = {Mohamed Barakat and Lukas Kühne},

url = {https://github.com/homalg-project/ArangoDBInterface},

year  = {2020},

date = {2020-01-02},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Barakat2020_Kühne,

title = {matroids_split_public - a database collection for rank 3 integrally split simple matroids},

author = {Mohamed Barakat and Lukas Kühne},

url = {https://github.com/homalg-project/MatroidGeneration/blob/master/README.md},

year  = {2020},

date = {2020-01-02},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Böhm2020_Decker_Frühbis-Krüger_Heymann_Pfreundt_Rahn_Ristau,

title = {The Singular/GPI-Space framework - massively parallel computer algebra},

author = {Janko Böhm and Wolfram Decker and Anne Frühbis-Krüger and Murray Heymann and Franz-Josef Pfreundt and Mirko Rahn and Lukas Ristau},

url = {https://github.com/singular-gpispace/framework},

year  = {2020},

date = {2020-01-01},

urldate = {2020-01-01},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Geck2020,

title = {ChevLie - A Julia package for constructing Lie algebras and Chevalley groups},

author = {Meinolf Geck},

url = {https://pnp.mathematik.uni-stuttgart.de/iaz/iaz2/geckmf/chevlie1r1.jl},

year  = {2020},

date = {2020-02-02},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Gutsche2020_Posur_Barakat_Skartsæterhagen,

title = {CAP project - Categories, Algorithms, Programming},

author = {Sebastian Gutsche and Sebastian Posur and Mohamed Barakat and Øystein Skartsæterhagen},

url = {https://homalg-project.github.io/CAP_project/},

year  = {2020},

date = {2020-01-02},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Junk2020_Thevis_WeitzeSchmithüsen,

title = {Origami Database},

author = {Luca Junk and Andrea Thevis and Gabriela Weitze-Schmithüsen},

url = {https://www.math.uni-sb.de/ag/weitze/CMS/index.php/en/research},

year  = {2020},

date = {2020-01-01},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Levandovskyy202_Zeid_Schönemann,

title = {Singular:Letterplace - A Singular 4-1 Subsystem for Non-commutative Finitely Presented Algebras},

author = {Viktor Levandovskyy and Karim Abou Zeid and Hans Schönemann},

editor = {B6},

url = {http://www.singular.uni-kl.de},

year  = {2020},

date = {2020-01-01},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Posur2020,

title = {FreydCategories - Formal (co)kernels for additive categories},

author = {Sebastian Posur},

url = {https://github.com/homalg-project/CAP_project/tree/master/FreydCategoriesForCAP},

year  = {2020},

date = {2020-01-02},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Saleh2020,

title = {TriangulatedCategories - framework for triangulated categories},

author = {Kamal Saleh},

url = {https://github.com/homalg-project/TriangulatedCategories},

year  = {2020},

date = {2020-01-02},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Saleh2020,

title = {StableCategories - Gap package for constructing stable category of a given Cap category},

author = {Kamal Saleh},

url = {https://github.com/homalg-project/StableCategories},

year  = {2020},

date = {2020-01-02},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Saleh2020,

title = {HomotopyCategories - Package to create homotopy categories of an additive category},

author = {Kamal Saleh},

url = {https://github.com/homalg-project/HomotopyCategories},

year  = {2020},

date = {2020-01-02},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Saleh2020,

title = {DerivedCategories - Gap package to create derived categories},

author = {Kamal Saleh},

url = {https://github.com/homalg-project/DerivedCategories},

year  = {2020},

date = {2020-01-02},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{AbouZeid2019_Levandovskyy_Studzinsky,

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

author = {K Abou Zeid and V Levandovskyy and G Studzinski},

editor = {B6},

url = {http://www.singular.uni-kl.de},

year  = {2019},

date = {2019-01-01},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Hart2019,

title = {Oscar.jl version 0.1.0},

author = {William Hart et. al.},

editor = {B1},

url = {https://oscar-system.github.io/Oscar.jl/latest/index.html},

year  = {2019},

date = {2019-12-20},

school = {TU Kaiserslautern},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Hart2019_Schoenemann_Epure_Gutsche,

title = {Singular.jl version 0.1.0},

author = {William Hart and Hans Schoenemann and Raul Epure and Sebastian Gutsche},

editor = {B1},

url = {https://oscar-system.github.io/Singular.jl/latest/index.html },

year  = {2019},

date = {2019-12-20},

school = {TU Kaiserslautern},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Hoffmann2019_Schnur,

title = {ncrat.lib, a Singular 4-1 framework for working with non-commutative rational functions},

author = {J Hoffmann and R Schnur},

editor = {A15 B6},

url = {http://www.singular.uni-kl.de},

year  = {2019},

date = {2019-01-01},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Johansson2019_Hofmann_Fieker_Hart,

title = {AbstractAlgebra.jl versions 0.4.0, 0.5.0, 0.6.0, 0.7.0, 0.8.0},

author = {Fredrik Johansson and Tommy Hofmann and Claus Fieker and William Hart},

editor = {B1},

url = {https://nemocas.github.io/AbstractAlgebra.jl/latest/index.html  },

year  = {2019},

date = {2019-01-01},

school = {TU Kaiserslautern},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Johansson2019_Hofmann_Fieker_Hart,

title = {Nemo.jl versions 0.12.0, 0.13.0, 0.14.0, 0.15.0, 0.16.0},

author = {Fredrik Johansson and Tommy Hofmann and Claus Fieker and William Hart},

editor = {B1},

url = {http://nemocas.github.io/Nemo.jl/latest/ },

year  = {2019},

date = {2019-01-01},

school = {TU Kaiserslautern},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Kattler2019_Thevis,

title = {GAP Package Origami},

author = {Pascal Kattler and Andrea Thevis},

url = {https://pascalkattler.github.io/Origami/},

year  = {2019},

date = {2019-01-01},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Lübeck2019_Malle,

title = {Decomposition matrices of unipotent blocks in GAP},

author = {Frank Lübeck and Gunter Malle},

url = {http://www.math.rwth-aachen.de/~CHEVIE/contrib.html},

year  = {2019},

date = {2019-01-01},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Zeid2019,

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

author = {Karim Abou Zeid},

editor = {B6},

url = {http://www.singular.uni-kl.de},

year  = {2019},

date = {2019-01-01},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Zeid2019_Levandovskyy_Studzinski,

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

author = {K Abou Zeid and V Levandovskyy and G Studzinski},

editor = {B6},

url = {http://www.singular.uni-kl.de},

year  = {2019},

date = {2019-01-01},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Zeid2019_Levandovskyy_Studzinski,

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

author = {K Abou Zeid and V Levandovskyy and G Studzinski},

editor = {B6},

url = {http://www.singular.uni-kl.de},

year  = {2019},

date = {2019-01-01},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Gawrilow2019_Joswig,

title = {polymake: a Software Package for Analyzing Convex Polytopes, version 3.2},

author = {Ewgenij Gawrilow and Michael Joswig},

url = {https://polymake.org/doku.php},

year  = {2018},

date = {2018-01-01},

journal = {Open source software for the parallel enumeration of triangulations},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Gruber2018,

title = {GAP package InduceReduce},

author = {Jonathan Gruber},

url = {https://github.com/jonathan-144/InduceReduce},

year  = {2018},

date = {2018-01-01},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Heinle2018_Levandovskyy,

title = {ncfactor.lib, a Singular 4-1 library for factorizing noncommutative polynomials},

author = {A Heinle and V Levandovskyy},

url = {http://www.singular.uni-kl.de},

year  = {2018},

date = {2018-01-01},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Junk2018,

title = {GAP Package ModularGroup},

author = {Luca Junk},

url = {https://le-on.github.io/ModularGroup/},

year  = {2018},

date = {2018-01-01},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Fieker2017_Hart_Hofmann_Johansson,

title = {AbstractAlgebra.jl: an abstract algebra package for Julia},

author = {Claus Fieker and William Hart and Tommy Hofmann and Fredrik Johansson },

url = {https://github.com/oscar-system/AbstractAlgebra.jl},

year  = {2017},

date = {2017-01-01},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Fieker2017_Hart_Hofmann_Johansson_altre,

title = {Nemo: a computer algebra package for Julia - Nemo-0.7.3},

author = {Claus Fieker and William Hart and Tommy Hofmann and Fredrik Johansson},

url = {http://nemocas.org/},

year  = {2017},

date = {2017-12-31},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Gawrilow2017_Joswig,

title = {polymake: a Software Package for Analyzing Convex Polytopes, Version 3.1},

author = {Ewgenij Gawrilow and Michael Joswig},

url = {https://polymake.org/doku.php},

year  = {2017},

date = {2017-01-01},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Gladman2017_Hart_Moxham,

title = {MPIR: Multiple Precision Integers and Rationals, a fork of the GNU Multiprecision library, 3.0.0},

author = {Brian Gladman and William Hart and Jason Moxham and the GMP & MPIR development teams},

url = {http://mpir.org/},

year  = {2017},

date = {2017-03-01},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Decker2016_Greuel_Pfister_Schoenemann,

title = {Singular: A Computer Algebra System for Polynomial Computations, Version 4.1.0},

author = {Wolfram Decker and Gert-Martin Greuel and Gerhard Pfister and Hans Schönemann},

url = {https://www.singular.uni-kl.de},

year  = {2016},

date = {2016-11-21},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Fieker2015_Hart_Motsak_Steenpaß,

title = {Singular.jl: a Singular wrapper for Julia},

author = {Claus Fieker and William Hart and Olexander Motsak and Andreas Steenpaß},

url = {https://github.com/oscar-system/Singular.jl/},

year  = {2015},

date = {2015-01-01},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Hart2015_Johansson_Pancratz,

title = {Flint: Fast Library for Number Theory - 2.5.2},

author = {William Hart and Fredrik Johansson and S. Pancratz},

url = {http://flintlib.org/},

year  = {2015},

date = {2015-08-07},

keywords = {},

pubstate = {published},

tppubtype = {online}

}

@online{Fieker2013_Hart_Hofmann,

title = {ANTIC - Algebraic Number Theory In C},

author = {Claus Fieker and William Hart and Tommy Hofmann},

url = {https://github.com/wbhart/antic},

year  = {2013},

date = {2013-01-01},

keywords = {},

pubstate = {published},

tppubtype = {online}

}