An application of computer algebra to algebraic topology. - Nikolaos Glinos; George Nakos (Int. J. Comput. Math., 1990)

Computer algebra and desuspensions of stunted real projective spaces. - George Nakos; Nikolaos Glinos (Int. J. Comput. Math., 1992)

Fraction-free algorithms for linear and polynomial equations. - George Nakos; Peter R. Turner; Robert M. Williams (SIGSAM Bull., 1997)

Quantifier Elimination and the Ellipticity of Systems of Partial Differential Equations. - Christopher W. Brown 001; Sjaak de Vlaming; George Nakos (Algorithmic Algebra and Logic, 2005)