On Implementing the Symbolic Preprocessing Function over Boolean Polynomial Rings in Gr(o)bner Basis Algorithms Using Linear Algebra

著录项

• 来源
  《系统科学与复杂性：英文版》 |2016年第3期|789-804|共16页
• 作者

  SUN Yao; HUANG Zhenyu; LIN Dongdai; WANG Dingkang;

  展开▼
• 作者单位

  SKLOIS, Institute of Information Engineering, Chinese Academy of Sciences, Beijing 100093, China;

  SKLOIS, Institute of Information Engineering, Chinese Academy of Sciences, Beijing 100093, China;

  SKLOIS, Institute of Information Engineering, Chinese Academy of Sciences, Beijing 100093, China;

  KLMM, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100090, China;

  展开▼
• 原文格式 PDF
• 正文语种 eng
• 中图分类
• 关键词