按照惯例,ISSAC 2007举办特邀报告,投稿,海报,教程和软件演示。这些程序包含论文的贡献和教程的摘要。海报摘要将出现在SIGSAM公告的下一期中,该标题现在为《计算机代数中的ACM通信》。与会议相关的还有一些卫星事件。特别要提到的是在ISSAC 2007之前的西安大略大学举行的2007年符号数字计算(SNC)和2007年并行符号计算(PASCO)。年。程序委员会经过仔细评估后,选择了这些程序中出现的50篇论文,每篇论文包括两份或以上的裁判报告(平均近3.5篇)。我们非常感谢程序委员会成员和裁判的彻底和重要的工作,他们的名字出现在下面的页面中,并感谢所有作者和讲师的贡献。
机译:非缔合的Groebner基,有限表示的Lie环和Engel条件,II
机译:左侧理想的广义推导的engel条件和谎言圆环的理想
机译:小组戒指的忠诚情况
机译:非关联Grobner基地,有限呈现的谎言戒指和恩格尔条件
机译:广义李代数中的恩格尔定理。
机译:关于简单环的谎言环
机译:非缔合的Gröbner基,有限表示的李环和恩格尔条件,II
机译:利用GROBNER设计的LIE序列方法研究非线性边值问题