固定点 swMATH ID: 33274 软件作者： 伯特兰·珍妮特 描述： Fixpoint是实现通用Fixpoint引擎的OCaml库。接口由执行定点计算的抽象域参数化。 主页： http://pop-art.inrialpes.fr/people/bjeannet/bjeanet-forge/fixpoint/ 相关软件： UMDES公司;SMACS系统;停机坪 引用于： 2文件 4位作者引用 2 加布里埃尔·卡里恩 2 特里斯坦勒加尔 2 埃尔文·马尔坎德 2 蒂埃里·雅克·马萨特 连载1篇 2 离散事件动态系统 在1个字段中引用 2 系统论；控制（93至XX） 按年份列出的引文