Differences

This shows you the differences between two versions of the page.

--- external_software [2019/04/25 09:19] – mradons
+++ external_software [2019/04/25 09:36] – mradons
@@ Line 42: / Line 42: @@
   .. Visualizes 3D- and 4D-polytopes (and much more).
   ** <BOOKMARK:PPL> ''ppl'': a modern C++ library for the manipulation of numerical information that can be represented by points in some n-dimensional vector space\\ Provides an interface to the [[http://bugseng.com/products/ppl|Parma Polyhedra Library]] (by [[http://www.cs.unipr.it/~bagnara/|Roberto Bagnara]] et al)
-  ** <BOOKMARK:Singular> ''singular'': Working with Gröbner bases\\ Provides an interface to [[http://www.singular.uni-kl.de/|Singular]] (by [[http://www.mathematik.uni-kl.de/~decker/de/index.html|Wolfram Decker]], [[http://www.mathematik.uni-kl.de/~greuel/en/|Gert-Martin Greuel]], [[http://www.mathematik.uni-kl.de/~pfister/en/|Gerhard Pfister]], and [[http://www.mathematik.uni-kl.de/~hannes/en/|Hans Schönemann]]).\\ Please check the [[install:installsingular|installation details]] for the bundled extension ''singular''.
+  ** <BOOKMARK:Singular> ''singular'': Working with Gröbner bases\\ Provides an interface to [[http://www.singular.uni-kl.de/|Singular]] (by [[https://www.mathematik.uni-kl.de/en/agag/people/head/prof-dr-wolfram-decker/|Wolfram Decker]], [[https://www.mathematik.uni-kl.de/en/greuel/|Gert-Martin Greuel]], [[https://www.mathematik.uni-kl.de/en/pfister/|Gerhard Pfister]], and Hans Schönemann).\\ Please check the [[install:installsingular|installation details]] for the bundled extension ''singular''.
   ** <BOOKMARK:scip> ''scip'': Provides an interface to [[https://scip.zib.de/|SCIP]] by the [[https://scip.zib.de/index.php#developers|developers from the Zuse Institute Berlin (ZIB)]]
   .. SCIP is a solver for Mixed Integer Linear and Nonlinear Problems that allows for an easy integration of arbitrary constraints.