SFU计算机代数小组会议和研讨会
2019年会谈
11 CECM迈克尔·莫纳根。 线性Hensel提升 ℤ [ x个 ]和 𝔽 q个[ x、 年 ]以立方成本计算。 23 CECM迈克尔·莫纳根。 如何从Maple内部调用C例程。
三 滑铁卢大学柯蒂斯·布莱特,下午1:30,K9509。 用计算机代数求解SAT:一种强大的组合搜索方法。
三 Joris van der Hoeven,巴黎理工大学信息实验室,上午9:30,AQ5004。 朝向更快速实用的稀疏多项式插值。 幻灯片 10 Michael Monagan,CECM,SFU,上午10:30,AQ 5004。 编写高效的Maple程序