adud / computer-algebra