Unfortunately, there is an error in the fund number, so we correct it as follows.

The original version of the article has unfortunately missed revised affiliations for following authors.

The original version of this article unfortunately missed to include the funding information.

The original publication of the article unfortunately contained a mistake in Figure 2c.

Unfortunately, the reference 19 is updated incorrectly in original article and should be.

The original version of this article unfortunately contained a mistake. 2nd affiliation Sonia Kefi was missing

The original version of this article unfortunately contained a formatting mistake in tables and figures placement.

The original version of this article unfortunately contained incorrect data for the SOFA score in table.

The original version of this article unfortunately contained a mistake. author’s affiliation in is incorrect.

Unfortunately the computation is time-and memory intensive. Mathematical knowledge is used to optimize the algorithms. Computer science provides another possibility to increase the computations: parallelization 2 / 24 Motivation Gröbner bases are used, to solve polynomial equation systems, move robotics, verify programs,. .. Unfortunately the computation is time-and memory intensive. Mathematic...