CFLP公司 swMATH ID: 18674 软件作者: Marin,M.,Ida,T.,Schreiner,W。 描述: CFLP:分布式约束求解系统的数学实现。人们广泛认识到,需要组合各种约束求解器并使其协同工作。这样一个集成系统可以解决单个求解器无法解决的问题。约束函数逻辑编程系统(CFLP)是一个分布式软件系统,由运行在一台机器上的函数逻辑编程解释器和运行在其他机器上的多个约束求解引擎组成。CFLP系统完全用Mathematica编写,并使用MathLink协议进行进程间通信。当前的实现可以解决函数逻辑中可表达的问题,并且涉及到诸如线性系统、多项式系统、微分方程组和具有可逆函数的方程组等约束。 主页: http://library.wolfram.com/infocenter/Articles/3888/ 依赖项: 数学软件 相关软件: SIC斯图斯;数学软件;立方厘米(FD);玩具;欧兹;吞咽;毫升 引用于: 5文件 全部的 前5名13位作者引用 三 拉斐尔·德尔瓦多·维塞达 三 马里奥·罗德里格斯-阿塔莱霍 2 索尼娅·埃斯特韦兹·马汀 2 安东尼奥·J·费尔南德斯。 1 安德烈·特凡 1 魏恩根·钦 1 霍塔拉·冈萨雷斯,玛丽亚·特蕾莎 1 Hortalá-González,特蕾莎 1 艾达、铁雄 1 洛佩斯·弗拉瓜斯,弗朗西斯科·哈维尔 1 马林·米尔恰 1 费尔南多·Sáenz-Pérez 1 铃木、芋头 引用于2个系列 1 符号计算杂志 1 高阶和符号计算 在3个字段中引用 5 计算机科学(68至XX) 1 复变量的函数(30年XX月) 1 差分方程和函数方程(39至XX) 按年份列出的引文