Algorithmic Detection of Conserved Quantities for Finite-Difference Schemes. - Gomes, Diogo A.; Krannich, Friedemann; Majrashi, Bashayer; Ribeiro, Ricardo de Lima (Mathematics in Computer Science, 2024)