阿奎尔
场地平面图
Bloc备注
Jeux公司
葡萄
组合电器
算术题
阿尔盖布雷
分析
概率
自动化
编程
潜水员
留置权
主页

大学冲浪.net文件
投票门户电子学习

文化数学
ENSup公司。et最小值。ZH

运行经验
I S公司

套房百科全书

Séminaire公司MaMuX公司
数学、音乐与关系与艺术学科

国际卫生组织

高等科学研究院

L'INVERSEUR公司
德普劳夫

约束-约束编程

| 索姆迈尔 | 网页Web | 示例 | 物流 | 纸张 | 库尔斯 | 会议 |
| 常见问题解答 | 公司 | 留置权 |

网页

莫扎特

莫扎特系统在两个领域提供了最先进的支持：开放分布式计算和基于约束的推理。Mozart实现了Oz，一种具有数据流同步的并发面向对象语言。

<http://www.mozart-oz.org/>

生活-逻辑、继承、函数和方程

是一种实验性编程语言，建议集成三种被证明对符号计算有用的正交编程范式。从程序员的角度来看，它可能被视为继逻辑编程、函数编程和面向对象编程之后的一种语言。从形式上看，它可能被视为约束逻辑编程方案的一个实例（或者更确切地说，是三个实例的组合），这是因为霍菲尔德和斯莫尔卡对雅法尔和拉塞兹的方案进行了改进。

<http://www.isg.sfu.ca/life网站/>

优化软件的决策树

<http://plato.la.asu.edu/guide.html>

PaLM系统（（移动传播与学习））

是一个基于解释的约束编程系统。它是用claire和Java编写的，并使用了choco约束库

手动.来源

<http://www.e-constraints.net/palm/palm.html>

示例-示例

UniCalc示例

<http://www.rrai.org.ru/UniCalc/calculate.html？filename=UniCalc/examples/common/integers.uni>

UniCalc示例

<http://txt.rriai.org.ru/UniCalc/examples.html>

物流-软件

循环频率

/INRIA/Projects/ChLoE/LOGIC_PROGRAMMING/clp_fd

<ftp://ftp.inia.fr/inria/Projects/ChLoE/LOGIC_PROGRAMMING/clp_fd/>

lp_解决

autre站点

<ftp://ftp.ics.ele.tue.nl/pub/lp_solve公司/ >

嘉宝：tslin

<ftp://garbo.uwasa.fi:/pc/ts/>

Unicalc解算器

<http://www.rrai.org.ru/UniCalc/download.html>

NLP项目、DONLP2和一些相关项目

<http://plato.la.asu.edu/donlp2.html>

csplib公司

滑铁卢大学计算机科学学院

用于解决二进制约束满足问题的“C”例程库

<http://ai.uwaterloo.ca/~vanbeek/software/software.html>

文件-纸张

符号计算杂志，第13卷，1992年

<http://ftp.informatik.rwth-aachen.de/dblp/db/journals/jsc/jsc13.html>

球场-球场

编程语言（PDF）

Jean-Philippe贾维-Gymnase de Morges（瑞士）

<http://www.gymnase-morges.info/math/javmath/polycopie/prog_lin.pdf>

CSPLib：约束问题库

<http://www.cse.unsw.edu.au/~tw/csplib/links.html>

会议

CP 2005年

第十一届约束规划原理与实践国际会议

2005年10月1日至5日Sitges（巴塞罗那）西班牙与ICLP 2005年

<http://www.iiia.csic.es/cp2005/>

问题-常见问题

非线性规划常见问题

<http://www-unix.mcs.anl.gov/otc/Guide/faq/nonlinear-programming-faq.html>

火灾-公司

科西泰克

<网址：http://www.cosytec.com/>

Ilog公司

<网址：http://www.ilog.com/>

施乐公司

<http://www.parc.xerox.com/spl/projects/mbc/>

留置权-链接

CSP公司

<http://www.cert.fr/francais/deri/lobjois/Index-CPS.html>

MATHPROG公司

解决各种数学规划问题的代码集

<ftp://ftp.zib.de/pub/Packages/mathprog/index.html>

全局优化

<http://solon.cma.univie.ac.at/%7Eneum/glopt.html>

| 索姆迈尔 | 网页Web | 示例 | 物流 | 纸张 | 库尔斯 | 会议 |
| 常见问题解答 | 公司 | 留置权 |

| 阿奎尔 | 场地平面图 | Bloc备注 | Jeux公司 | 葡萄 | 组合电器 | 算术题 | 阿尔盖布雷 |
| 分析 | 概率 | 自动化 | 信息学 | 潜水员 | 莱塞 |

广告宣传： 如果您在其中一个未链接的文件中看到引用，并且您知道相应文档的链接地址，请给我发邮件，我会在文档中包含链接。提前非常感谢。
资产评估：分类标准最接近。留置权证书追溯到不同的准则等在plusieurs页面上。Les commentaires sont généralement des courts extraits des pages référenceées《法庭意见》。最有可能的是，一定会有必要在某一天。
Tous评论道，ou remarques sont les bienvenus，vous pouvez les adresserá：
埃克里尔