JOURNAL OF SYMBOLIC COMPUTATION

Tutkimustuotokset

  1. 2019
  2. Sähköinen julkaisu (e-pub) ennen painettua julkistusta

    An adaptive prefix-assignment technique for symmetry reduction

    Junttila, T., Karppa, M., Kaski, P. & Kohonen, J., 8 maaliskuuta 2019, julkaisussa : JOURNAL OF SYMBOLIC COMPUTATION.

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  3. 2016
  4. Julkaistu

    Deciding positivity of multisymmetric polynomials

    Görlach, P., Riener, C. & Weißer, T., 1 toukokuuta 2016, julkaisussa : JOURNAL OF SYMBOLIC COMPUTATION. 74, s. 603-616 14 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

ID: 317925