An algorithmic approach to resolutions

From MaRDI portal
Publication:2466869

DOI10.1016/j.jsc.2007.05.002zbMath1133.13013arXivmath/0509020OpenAlexW1979779048MaRDI QIDQ2466869

Øyvind Solberg, Edward Lee Green

Publication date: 16 January 2008

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/0509020




Related Items


Uses Software


Cites Work