Differences

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

Link to this comparison view

Both sides previous revision Previous revision
external_software [2019/04/25 09:19]
mradons
external_software [2019/04/25 09:36] (current)
mradons
Line 42: Line 42:
   .. Visualizes 3D- and 4D-polytopes (and much more).   .. 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:​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)]]   ** <​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.   .. SCIP is a solver for Mixed Integer Linear and Nonlinear Problems that allows for an easy integration of arbitrary constraints.
  • external_software.txt
  • Last modified: 2019/04/25 09:36
  • by mradons