机译：用于奇点理论，代数几何和交换代数的计算机代数系统
机译：量子可观代数与抽象微分几何：交换代数局域图的Topos理论动力学。
机译：量子可观代数与抽象微分几何：交换代数局部图的拓扑理论动力学。
机译：数值代数几何和数值线性代数在PDE中的应用
机译：特征零中的局部和de Rham同调的算法计算：D-模理论在代数几何和交换代数中的应用。
机译：用于模型选择的数值代数几何及其在生命科学中的应用
机译：通过交换代数对算子组合的邀请（组合理论和相关主题：交换代数，代数几何，李代数表示理论和偏序集之间的相互关系）
