Algorithm for estimating error of symbolic simplificationZdenek Kolka, Viera Biolkova, Josef Dobes and Martin HorakMATEC Web Conf., 336 (2021) 06023DOI: https://doi.org/10.1051/matecconf/202133606023
