Algebraic Tools for Computing Polynomial Loop Invariants.

Erdenebayar Bayarmagnai Fatemeh Mohammadi Rémi Prébet

Published in: CoRR (2024)

Keyphrases

software tools
algebraic geometry
real world
building blocks
real time
information systems
affine invariant
moment invariants
visualization tools