research
∙
06/16/2023
Existence and Construction of a Gröbner Basis for a Polynomial Ideal
This extended abstract gives a construction for lifting a Gröbner basis ...
share
research
∙
09/21/2022
CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms
Recently, interest has been emerging in the application of symbolic tech...
research
∙
02/28/2021
On Problems Dual to Unification: The String-Rewriting Case
In this paper, we investigate problems which are dual to the unification...
research
∙
06/29/2019