Maple V: Mathematics and its Applications