General physics problem solving with CAS Derive / - Magiera, Leon. (Nova Science Publishers,, 2001)