Linear polynomial algebra migration system for program equivalence and approximate optimisation

Weiwen Ge, Weidong Tang, Meiling Liu. Linear polynomial algebra migration system for program equivalence and approximate optimisation. IJCSM, 22(2):140-153, 2025. [doi]

@article{GeTL25,
  title = {Linear polynomial algebra migration system for program equivalence and approximate optimisation},
  author = {Weiwen Ge and Weidong Tang and Meiling Liu},
  year = {2025},
  doi = {10.1504/IJCSM.2025.149893},
  url = {https://doi.org/10.1504/IJCSM.2025.149893},
  researchr = {https://researchr.org/publication/GeTL25},
  cites = {0},
  citedby = {0},
  journal = {IJCSM},
  volume = {22},
  number = {2},
  pages = {140-153},
}