JOURNAL OF SYMBOLIC COMPUTATION

Research outputs

  1. 2019
  2. E-pub ahead of print

    An adaptive prefix-assignment technique for symmetry reduction

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

    Research output: Contribution to journalArticleScientificpeer-review

  3. 2016
  4. Published

    Deciding positivity of multisymmetric polynomials

    Görlach, P., Riener, C. & Weißer, T., 1 May 2016, In : JOURNAL OF SYMBOLIC COMPUTATION. 74, p. 603-616 14 p.

    Research output: Contribution to journalArticleScientificpeer-review

ID: 317925