A div(n) Depth Bollean Circuit for Smooth Modular Inverse. - Michal Mnuk (Inf. Process. Lett., 1991)

CASA - A System for Computer Aided Constructive Algebraic Geometry. - Michal Mnuk; Franz Winkler 001 (DISCO, 1996)

An Algebraic Approach to Computing Adjoint Curves. - Michal Mnuk (J. Symb. Comput., 1997)

Representing Graph Properties by Polynomial Ideals. - Michal Mnuk (CASC, 2001)