Formalization of mathematics; Constructive algebra; Coq; SSReflect;
机译:次双相干环的偏多项式扩展的有效Buchberger-Zacharias-Weispfenning理论
机译:k-相干戒指的理论
机译:F相干环及其在紧闭理论中的应用
机译:型理论中的相干和强烈离散环
机译:有限Cohen-Macaulay型一维局部环的表示理论。
机译:某些类型环上的特征及其在有限域方程理论中的应用
机译:数字控制系统的实施技术,控制和动态系统的第70卷:理论和应用的进步,C.丝丝(ED),学术出版社,圣地亚哥,1995,390 PP,ISBN 0-12-0127702,99.00美元离散时间控制系统分析和设计,控制和动态系统的第71卷:理论和应用的进步,C.丝丝(ED),学术出版社,圣地亚哥,1995,410 PP,ISBN 0-12-0127715,99.00美元离散时间控制系统实现技术,控制和动态系统的第72卷:理论和应用的进步,C.丝丝(ED),学术出版社,圣地亚哥,1995,388 pp,ISBN 0-12-0127725,99.00美元的离散 - 时间随机控制系统,控制和动态系统的VOLUME 73:前进,理论与应用,C Leondes(ED),学术出版社,圣地亚哥,1995年,380页,ISBN 0-12-0127734,在离散和$ 99.00技术。连续稳健的系统,控制和动态系统的第74卷:理论和应用的进步,C. leondes(ed),学术出版社,圣地亚哥,1995,412 pp。,ISBN 0-12-0127741,99.00美元
机译:电子存储环中微波不稳定性和相干同步辐射理论。