Algorithms in the Classical Néron Desingularization | AMiner