Login / Signup
An extended GCD algorithm for parametric univariate polynomials and application to parametric smith normal form.
Dingkang Wang
Hesong Wang
Fanghui Xiao
Published in:
ISSAC (2020)
Keyphrases
</>
normal form
relational databases
np hard
computational complexity
classification algorithm
boolean expressions
case study
tree structure
nested relations