JOURNAL OF SYMBOLIC COMPUTATION
Research outputs
1 - 2 out of 2Page size: 50
- 2019
- 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 journal › Article › Scientific › peer-review
- 2016
- 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 journal › Article › Scientific › peer-review
ID: 317925