• 减少

  • 引用739篇文章[sw00789]
  • 用户控制的表达式简化;计算象征的矩阵;任意精度整数和实数运算。。。用于定义新功能和扩展的设施程序句法;解析微分与积分;因式分解。。。格式.生成优化数值的设备程序象征的输入;各种各样的计算。。。
  • 麦克西马

  • 引用714篇文章[sw01209]
  • Macsyma是通用的象征的-数值图形数学软件产品。计算机代数系统。。。大麦克西马的手段程序. Syma提供:象征的以及数字操作和解决方案功能。。。高质量图形交互式科学笔记本用户编程环境。。。
  • 对称玻璃钢

  • 参考文献118篇[sw01066]
  • SYMMGRP.MAX和其他象征的 程序用于偏微分方程的李对称性分析。。。
  • 水獭

  • 在310篇文章中引用[sw02904]
  • 用作象征的计算器和一个嵌入的等式编程系统。水獭。。。
  • 贝博普

  • 引用74篇文章[sw08928号]
  • 贝博普:A象征的布尔模型检验器程序. 我们给出了设计、实现和实验结果。。。Bebop-a评估象征的布尔模型检验器程序. Bebop显式地表示控制流。。。
  • 克莱

  • 引用了40篇文章[sw04894]
  • 复杂系统的高覆盖测试程序.象征的执行工具,KLEE,能够自动生成。。。各种复杂和环境密集型程序. 我们用克莱彻底检查。。。
  • 数学

  • 在39篇文章中引用[sw00553]
  • 数学:走向大尺度编程对于象征的以及经认证的由Joris协调的数值计算。。。科学的设计编程语言象征的以及经过认证的数字算法。这种语言。。。
  • 奥德赛

  • 引用32篇文章[sw12533]
  • 区别。奥德赛系统操作fortran程序作为象征的物体。这是一个开放的系统。。。工具箱,用高级语言编写编程与此目的相适应的语言。。。
  • 爪哇凡

  • 引用了30篇文章[sw01934]
  • 程序分析框架,可以象征性地执行多线程程序,检测安全违规搜索。。。
  • 发现者

  • 引用了40篇文章[sw07719]
  • 克服程序用一个象征的方法,一个人必须结合特殊。。。部分实现为真实的象征的Maple中的计算工具名为DISCOVERER。在这个。。。在SAS解决和程序与发现者核实,然后讨论未来的工作。。。
  • 棱镜

  • 参考33篇文章[sw23359]
  • 概述象征的-统计建模语言PRISM-which程序不仅仅是。。。逻辑的概率扩张程序但也能在帮助下从例子中学习。。。推理,它可以描述各种类型的象征的-统计建模形式已知但无关。。。贝叶斯网络用PRISM描述程序...
  • 射击类游戏

  • 引用21篇文章[sw07274]
  • 生成工具象征的测试程序以及操作规范中的预言。我们报告。。。工具实现一致性测试技术象征的测试包括他们自己的预言。。。
  • 多重口齿

  • 参考33篇文章[sw09420]
  • 面向Multilisp象征的计算。不像一些平行的编程语言,Multilisp整合了构造。。。
  • 撒谎

  • 引用80篇文章[sw09264]
  • 方程。谎言是一台独立的电脑程序对于普通人的谎言分析。。。同时设置。它写在象征的数学语言MUMATH和will。。。作为一个完整的程序它包含了MUMATH的必要部分并且准备好了。。。
  • SCIL公司

  • 在10篇文章中引用[sw01099]
  • SCIL公司--象征的整数线性约束编程我们描述了一个新的SCIL系统。。。整数线性的价格算法程序.象征的约束是已知的编程贡献。。。
  • Pex公司

  • 引用32篇文章[sw07263]
  • 执行系统的程序分析(使用动态象征的执行,类似于路径边界模型检查。。。参数化单元测试。Pex学会了程序通过监视执行跟踪的行为。Pex使用。。。
  • 阿特根

  • 参考第11条[sw07275]
  • 基于约束逻辑的测试数据生成编程象征的执行验证和验证。。。尽管承诺很高象征的执行技术最初提出时就产生了。。。基于约束逻辑的数据生成器编程象征的执行。在回顾了象征的执行。。。发电机,基于象征的执行,并使用约束逻辑编程,然后讨论。。。
  • 玫瑰

  • 参考22篇文章[sw07851]
  • 优化问题。在数学上编程然而,相当数量的象征的转变是必不可少的。。。表演用发动机(ROSE)(自动)象征的数学计算编程配方。。。
  • DLV-EX公司

  • 在14篇文章中引用[sw04642]
  • 很多场景,比如逻辑编程有功能的符号面向对象逻辑语言,互操作性。。。一般情况。班级程序有一个合适的(但一般来说,不可判定的)`有限的。。。逻辑专题文献编程有功能的符号). 最后讨论了与现有形式主义的关系。。。支持这样的类的系统程序描述。。。
  • 重构

  • 引用42篇文章[sw27634]
  • 编程一种语言,其中计算是由文本和象征的信息。。。