# A Maple package for verifying ultradiscrete soliton solutions

## Description

Abstract We present a computer algebra program for verifying soliton solutions of ultradiscrete equations in which both dependent and independent variables take discrete values. The package is applicable to equations and solutions that include the max function. The program is implemented using Maple software. Title of program: Ultde Catalogue Id: AEDB_v1_0 Nature of problem The existence of multi-soliton solutions strongly suggest the integrability of nonlinear evolution equations. However enormous calculation is required to verify multi-soliton solutions of ultradiscrete equations. The use of computer algebra can be helpful in such calculations. Versions of this program held in the CPC repository in Mendeley Data AEDB_v1_0; Ultde; 10.1016/j.cpc.2009.01.009 This program has been imported from the CPC Program Library held at Queen's University Belfast (1969-2019)