Constructive Algebraic Methods for Some Problems in Non-Linear Analysis