2
Published 2018
Springer International Publishing
Table of Contents: ... Associators -- On a Polytime Factorization Algorithm for Multilinear Polynomials over F2 -- Tropical Newton...

3
Published 2016
Springer International Publishing
Table of Contents: ... -- Sparse Gaussian Elimination Modulo p: an Update -- MathCheck2: A SAT+CAS Verifier for Combinatorial...

4
Published 2012
Springer Berlin Heidelberg
Table of Contents: ... Polynomials -- The Resonant Center Problem for a 2:-3 Resonant Cubic Lotka–Volterra System -- Complexity...