On a computer algebra technology
Sergei A. Abramov, Anna A. Ryabenko · Programming and Computer Software · 2008
Modern computer algebra systems provide means for exact experimental calculations (including manipulations of formulas) that enable one to obtain a solution of a problem under examination for certain not very large initial data. The results can provide a basis for a conjecture concerning the general solution of the problem. A computer algebra system can also be helpful in verifying the conjecture.