Prefer a chat interface with context about you and your work?
New developments in the theory of Gröbner bases and applications to formal verification