首页> 外文OA文献 >SyNRAC : A Maple package for solving real algebraic constraints (Computer Algebra : Design of Algorithms, Implementations and Applications)

【2h】

SyNRAC : A Maple package for solving real algebraic constraints (Computer Algebra : Design of Algorithms, Implementations and Applications)

机译：SyNRAC：用于解决实际代数约束的Maple程序包（计算机代数：算法，实现和应用程序的设计）

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Yanami Hitoshi;
展开▼
作者单位

展开▼
年度 2004
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. SyNRAC : A maple-package for solving real algebraic constraints [J] . Hitoshi YANAMI, Hirokazu ANAI 数式处理 . 2003,第2期

机译：SyNRAC：用于解决实际代数约束的枫木程序包
2. SyNRAC : A maple-package for solving real algebraic constraints [J] . Hitoshi YANAMI, Hirokazu ANAI 数式处理 . 2003,第2期

机译：SyNRAC：用于解决实际代数约束的枫木程序包
3. SyNRAC : A maple-package for solving real algebraic constraints [J] . Hitoshi YANAMI, Hirokazu ANAI 数式处理 . 2003,第2期

机译：SYNRAC：用于解决真实代数约束的枫树包
4. SyNRAC: A Maple-Package for Solving Real Algebraic Constraints [C] . Hirokazu Anai, Hitoshi Yanami International Conference on Computational Science - ICCA 2003 Pt.1 Jun 2-4, 2003 Melbourne, Australia and St. Petersburg, Russia . 2003

机译：SyNRAC：解决实际代数约束的枫木包装
5. A dynamic system simulation software package implemented with a computer algebra system [D] . Howe, Troy Edward 2000

机译：用计算机代数系统实现的动态系统仿真软件包
6. Intelligently deciphering unintelligible designs: algorithmic algebraic model checking in systems biology [O] . Bud Mishra 2009

机译：智能破译难以理解的设计：系统生物学中的算法代数模型检查
7. A Quantifier Elimination Procedure Based on Cylindrical Algebraic Decomposition in SyNRAC(Computer Algebra : Design of Algorithms, Implementations and Applications) [O] . YANAMI HITOSHI, ANAI. HIROKAZU 2006

机译：SyNRAC中基于圆柱代数分解的量词消除程序（计算机代数：算法，实现和应用设计）
8. Efficient computer algebra algorithms for polynomial matrices in control design [R] . Baras, J. S., Macenany, D. C., Munach, R. 1989

机译：控制设计中多项式矩阵的高效计算机代数算法

SyNRAC : A Maple package for solving real algebraic constraints (Computer Algebra : Design of Algorithms, Implementations and Applications)

著录项

引文网络

相似文献

相关主题

期刊订阅