Login / Signup
New efficient algorithms for computing Gröbner bases of saturation ideals (F4SAT) and colon ideals (Sparse-FGLM-colon).
Jérémy Berthomieu
Christian Eder
Mohab Safey El Din
Published in:
CoRR (2022)
Keyphrases
</>
efficient algorithms for computing
partial order
ct colonography
virtual colonoscopy
numerically stable
polyp detection
satisfiability problem
search strategies
potential functions
basis functions
uniform distribution
sat problem