Gröbner Basis Construction Algorithms Based on Theorem Proving Saturation Loops

MLA

Grant Olney Passmore and Leonardo de Moura and Paul B. Jackson, et al. Gröbner Basis Construction Algorithms Based on Theorem Proving Saturation Loops. 2010. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsoai&AN=edsoai.ocn883643437&authtype=sso&custid=ns315887.

APA

Grant Olney Passmore and Leonardo de Moura and Paul B. Jackson, Passmore, G. O., de Moura, L., & Jackson, P. B. (2010). Gröbner Basis Construction Algorithms Based on Theorem Proving Saturation Loops.

Chicago

Grant Olney Passmore and Leonardo de Moura and Paul B. Jackson, Grant Olney Passmore, Leonardo de Moura, and Paul B. Jackson. 2010. “Gröbner Basis Construction Algorithms Based on Theorem Proving Saturation Loops.” http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsoai&AN=edsoai.ocn883643437&authtype=sso&custid=ns315887.