Kodamballi, ShashiShashiKodamballiBruynooghe, M.M.BruynoogheCatthoor, FranckyFranckyCatthoorJanssens, G.G.Janssens2021-10-152021-10-152004https://imec-publications.be/handle/20.500.12860/9139Automatic verification of algebraic transformationsProceedings paper