3 ms·
What's q.v? Also, Buchberger is a special case of Knuth-Bendix completion :D
by bollu 6y ago
What's q.v?
Also, Buchberger is a special case of Knuth-Bendix completion :D
- JadeNB 6y ago> What's q.v? "quod vide" = "which see": https://en.wiktionary.org/wiki/quod_vide https://en.wiktionary.org/wiki/quod_vide .
- m12k 6y agoSo basically "see also" in Latin?
- jjtheblunt 6y agogood point: "see" even by itself works, but i had lots of Latin so didn't think of it.
- jjtheblunt 6y agoyep...fun stuff. https://www.amazon.com/Ideals-Varieties-Algorithms-Computational-Undergraduate/dp/3319167200/ https://www.amazon.com/Ideals-Varieties-Algorithms-Computati... covers much of this topic