Technische Universitaet Darmstadt Darmstadt Germany;
University of Verona Verona Italy;
University of Trento Trento Italy;
Proof theory; Program extraction; Commutative algebra; No-counterexample interpretation;
机译:交换半群代数的算法,这些代数是主要的理想环
机译:BCI-代数中的Uni-Soft交换理想和封闭Uni-Soft理想
机译:交换Banach代数中具有逼近身份的封闭理想的刻画,冯纽曼代数的补子空间及其应用。
机译:换向代数中理想对象存在的一种算法方法
机译:特征零中的局部和de Rham同调的算法计算:D-模理论在代数几何和交换代数中的应用。
机译:使用变形技术和遗传算法来演化有吸引力的面孔:确定理想面部美学的新方法
机译:关于可交换Banach代数的稠密理想(可交换Banach代数的交换和数学的几个领域)
机译:交换C * - 代数上随机映射的存在性和密度定理