The DenefLipshitz Algorithm: (Software Demonstration Support)

This software demonstration presents an implementation of the DenefLipshitz algorithm which investigates the existence and uniqueness of formal power series solutions of polynomial differential systems. This algorithm can be viewed as the first implementation of a celebrated theorem due to J. Denef and L. Lipshitz.