Обычно про такие описания говорят: - Доктор. у меня в подвале стук.. что это?
Безграмотно составленное описание процесса. Правильно писать так: Анализируя 36-52 мы упрощаем выражение 13 , получили 0=0, поэтому ...
И только в заключении внизу- пишется что для анализа использовалась wofram mathematica.
Соответственно тот человек который будет воспроизводить- будет пользоваться вероятно вообще другими средствами, и либо получит аналогичный результат, либо возникнут вопросы...
Но вопросы не из-за ахинеи про запрет CAS в научных журналах, а про обоснованность ваших выводов.