Computer Science Department Technische Universitat Dresden Dresden, Germany;
knowledge representation; dynamic programming;
机译:并行约束编程的统一计算
机译:C ++编程语言中用于符号计算的GiNaC框架简介
机译:通过符号编程进行分子动力学模拟
机译:流利微积分内的符号动态规划
机译:自动测试用例生成具有用于编码接口和注释或使用本机代码编码的程序的动态符号执行
机译:动态规划和新的形式计算公式
机译:超几何符号演算。 II –融合方程组