Yun-Ju Huang, Wei-Chih Hong, Chen-Mou Cheng, Jiun-Ming Chen, Bo-Yin Yang. A Memory Efficient Variant of an Implementation of the F _4 Algorithm for Computing Gröbner Bases. In Moti Yung, Liehuang Zhu, Yanjiang Yang, editors, Trusted Systems - 6th International Conference, INTRUST 2014, Beijing, China, December 16-17, 2014, Revised Selected Papers. Volume 9473 of Lecture Notes in Computer Science, pages 374-393, Springer, 2014. [doi]
Abstract is missing.