Algebraic Tools for Computing Polynomial Loop Invariants.

Erdenebayar Bayarmagnai Fatemeh Mohammadi Rémi Prébet

Published in: ISSAC (2024)

Keyphrases

decision support
algebraic curves
user friendly
learning systems
algebraic geometry
real time
d objects
invariant representations
software tools
software engineering
database systems
decision making
information systems
artificial intelligence
information retrieval
machine learning
real world
databases