包括的グレブナ一基底系を利用した実数領域における限量子消去

深作　亮也; 井上　秀太郎; 佐藤　洋祐

首页> 外文期刊>数式处理 >包括的グレブナ一基底系を利用した実数領域における限量子消去

【24h】

包括的グレブナ一基底系を利用した実数領域における限量子消去

机译：使用全面的Grebna一垒系统在真实区域进行有限的量子消除

获取原文

获取原文并翻译 | 示例

获取外文期刊封面封底 >>

开具论文收录证明 >>

文献代查 >>

团队文献服务 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

Methods of comprehensive Gr?bner svstem is very powerful tool for solving parametric equation systems. In 1998，Weispfenning introduced a method to quantifier elimination based on comprehensive Groebner bases. We show the QE method based on comprehensive Groebner system by using his QE algorithm.

机译：全面的Gr？bner系统的方法是求解参数方程组的非常强大的工具。 1998年，魏斯芬宁（Weispfenning）提出了一种基于全面Groebner基的量词消除方法。我们利用他的QE算法展示了基于全面Groebner系统的QE方法。

著录项

来源
《数式处理》 |2015年第2期| 共4页
作者
深作　亮也; 井上　秀太郎; 佐藤　洋祐;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 jpn
中图分类无线电电子学、电信技术 ;
关键词

相似文献

外文文献
中文文献
专利

1. 包括的グレブナ一基底系を利用した実数領域における限量子消去 [J] . 深作　亮也, 井上　秀太郎, 佐藤　洋祐数式处理 . 2015 ,第2期

机译：使用全面的Grebna一垒系统在真实区域进行有限的量子消除
2. 包括的グレブナ一基底系を利用した実数領域における限量子消去 [J] . 深作　亮也, 井上　秀太郎, 佐藤　洋祐数式处理 . 2015 ,第2期

机译：使用全面的Grebna第1基础系统限制实际区域中的木材擦除
3. 包括的グレブナ一基底系を利用した限量子消去における包括的グレブナ一基底系計算 [J] . 深作亮也, 岩根秀直, 佐藤洋祐数式处理 . 2017 ,第2期

机译：使用全面的Grebna第1基本系统，综合Gleven 1基本计算有限的胶擦擦除
4. イソブチレン系粘弾性体の温度?振動数?振幅依存性を考慮した非線形力学モデルの構築その2 ：非線形領域におけるモデル化 [C] . 大木　洋司, 笠井　和彦, 雨宮　健吾, 日本建築学会2002年度大会（北陸） . 2002

机译：考虑异丁烯粘弹性体的温度，频率和幅度依赖性的非线性动力学模型的构建第2部分：非线性区域中的建模
5. スマートフォンにおけるタッチストロークを利用した耐模倣性を実現するパッシブ認証 [D] . 工藤雅士 2020

机译：通过智能手机上的触摸笔触实现模仿抵抗的被动身份验证
6. SQUID系における決定論的拡散現象 : 超伝導接合系を利用した量子カオスの研究((2)メゾスコピック系における量子カオスと量子輸送,京大基研短期研究会「量子カオス : 理論と実験の現状」,研究会報告) [O] . 加藤岳生, 谷本健一, 中村勝弘 2003

机译：SQUID系统中的确定性扩散现象：使用超导结系统的量子混沌研究，研究组报告）

包括的グレブナ一基底系を利用した実数領域における限量子消去

摘要

著录项

相似文献

相关主题

期刊订阅