symbolic_computation_system