Demo: check DE solution without CAS

– Michael Borcherds

Information: Demo: check DE solution without CAS