Min Gao Masaaki Ito A Maple package for verifying ultradiscrete soliton solutions. 1196-1205 2009 180 Computer Physics Communications 7 http://dx.doi.org/10.1016/j.cpc.2009.01.009 db/journals/cphysics/cphysics180.html#GaoI09