×

找到14个文档（结果1-14）

最新的 引文 关联
伊瓦内、希德诺;阿奈、平子

使用几何不变性消除实量词的公式简化。 （英语） 兹比尔1457.68326

Michael Burr（编辑），《第42届符号和代数计算国际研讨会论文集》，ISSAC 2017，德国凯泽斯劳滕，2017年7月25-28日。纽约州纽约市：计算机协会（ACM）。213-220 (2017).
MSC公司：68瓦30 03C10号机组
PDF格式BibTeX公司 XML格式引用
\textit{H.Iwane}和\textit{H.Anai}，in：第42届符号和代数计算国际研讨会论文集，ISSAC 2017，德国凯泽斯劳滕，2017年7月25-28日。纽约州纽约市：计算机协会（ACM）。213--220（2017；Zbl 1457.68326）
全文： 内政部
藤崎隆彦;伊瓦内、希德诺;佐藤、优介

关于CGS实际QE的实施。 （英语） Zbl 1434.68705号

Greuel，Gert-Martin（编辑）等人，《数学软件——ICMS 2016》。第五届国际会议，德国柏林，2016年7月11-14日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9725, 165-172 (2016).
MSC公司：68瓦30 03C10号机组 13页第10页
PDF格式BibTeX公司 XML格式引用
\textit{R.Fukasaku}等人，Lect。注释计算。科学。9725、165--172（2016年；Zbl 1434.68705）
全文： 内政部
Munehiro小林;伊瓦内、希德诺;松崎隆彦;阿奈、平子

非Renex公式的实量词消除的有效子公式顺序。 （英语） Zbl 1460.68086号

Kotsireas，Ilias S.（编辑）等人，《计算机和信息科学的数学方面》。第六届国际会议，MACIS 2015，德国柏林，2015年11月11日至13日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9582, 236-251 (2016).
MSC公司：68T05型 03C10号机组
PDF格式BibTeX公司 XML格式引用
\textit{M.Kobayashi}等人，Lect。注释计算。科学。9582236--251（2016；Zbl 1460.68086）
全文： 内政部
藤崎隆彦;伊瓦内、希德诺;佐藤、优介

改进CGS-QE算法。 （英语） Zbl 1460.13051号

Kotsireas，Ilias S.（编辑）等人，《计算机和信息科学的数学方面》。2015年11月11日至13日在德国柏林举行的2015年MACIS第六届国际会议。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9582, 231-235 (2016).
MSC公司：13页第10页 03C10号机组 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{R.Fukasaku}等人，Lect。注释计算。科学。9582、231--235（2016；Zbl 1460.13051）
全文： 内政部
藤崎隆彦;伊瓦内、希德诺;佐藤、优介

通过计算综合Gröbner系统消除实量词。 （英语） Zbl 1345.68282号

第40届符号和代数计算国际研讨会论文集，ISSAC 2015，英国巴斯，2015年7月6日至9日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3435-8）。173-180 (2015).
MSC公司：68瓦30 03C10号机组
PDF格式BibTeX公司 XML格式引用
\textit{R.Fukasaku}et al.，in：第40届符号和代数计算国际研讨会论文集，ISSAC 2015，英国巴斯，2015年7月6-9日。纽约州纽约市：计算机协会（ACM）。173-180（2015年；Zbl 1345.68282）
全文： 内政部
Arai，Noriko H。;松崎，Takuya;伊瓦内、希德诺;阿奈、平子

机器数学。 （英语） Zbl 1325.68212号

Nabeshima，Katsusuke（编辑），第39届符号和代数计算国际研讨会论文集，ISSAC 2014，日本神户，2014年7月23日至25日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2501-1）。1-8 (2014).
MSC公司：68吨15 03B35型 03C10号机组 68T50型
PDF格式BibTeX公司 XML格式引用
\textit{N.H.Arai}等人，in：第39届符号和代数计算国际研讨会论文集，ISSAC 2014，日本神户，2014年7月23日至25日。纽约州纽约市：计算机协会（ACM）。1-8（2014年；Zbl 1325.68212）
全文： 内政部
伊瓦内、希德诺;仁亚那米;阿奈、平子

SyNRAC：用于求解实代数约束的工具箱。 （英语） Zbl 1437.13005号

Hong，Hoon（编辑）等人，《数学软件——ICMS 2014》。第四届国际会议，韩国首尔，2014年8月5日至9日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。8592, 518-522 (2014).
MSC公司：13-04 2014年第30季度 13页第10页 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{H.Iwane}等人，Lect。注释计算。科学。8592、518--522（2014年；Zbl 1437.13005）
全文： 内政部
伊瓦内、希德诺;Hiroyuki Higuchi;阿奈、平子

通过逻辑公式简化，有效地实现了符号确定条件的特殊量词消除。 （英语） Zbl 1411.68209号

Gerdt，Vladimir P.（编辑）等人，《科学计算中的计算机代数》。2013年9月9日至13日在德国柏林举行的2013年中国社会科学院第15届国际研讨会。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。8136, 194-208 (2013).
MSC公司：68瓦30 03C10号机组
PDF格式BibTeX公司 XML格式引用
\textit{H.Iwane}等人，Lect。注释计算。科学。8136，194--208（2013；Zbl 1411.68209）
全文： 内政部 链接
伊瓦内、希德诺;仁亚那米;阿奈、平子

优化问题的符号-数字柱面代数分解的有效实现。 （英语） Zbl 1346.68289号

Moreno Maza，Marc（编辑），《2011年符号数字计算国际研讨会论文集》，SNC 2011，美国加利福尼亚州圣何塞，2011年6月7-11日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0515-0）。168-177 (2011).
MSC公司：68瓦30 65千5 90C26型
PDF格式BibTeX公司 XML格式引用
\textit{H.Iwane}等人，in：2011年符号数字计算国际研讨会论文集，SNC 2011，美国加利福尼亚州圣何塞，2011年6月7-11日。纽约州纽约市：计算机协会（ACM）。168-177（2011年；Zbl 1346.68289）
全文： 内政部
伊瓦内、希德诺;仁亚那米;阿奈、平子;横山和弘

一种用于量词消除的符号-数字柱面代数分解的有效实现。 （英语） Zbl 1356.68282号

Kai，Hiroshi（编辑）等人，《2009年符号数字计算研讨会论文集》，SNC 2009，日本京都，2009年8月3-5日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-664-9）。55-64 (2009).
MSC公司：68瓦30 03C10号机组
PDF格式BibTeX公司 XML格式引用
\textit{H.Iwane}等人，in：2009年符号数字计算研讨会论文集，SNC 2009，日本京都，2009年8月3-5日。纽约州纽约市：计算机协会（ACM）。55-64（2009年；Zbl 1356.68282）
全文： 内政部
伊瓦内、希德诺;仁亚那米;阿奈、平子

制造设计中某些类参数优化问题的符号-数字方法。 （英语） Zbl 1186.68582号

铃木、Masakazu（编辑）等，《2009年ASCM和MACIS联合会议》。第九届亚洲计算机数学研讨会国际会议和第三届计算机和信息科学数学方面国际会议，日本福冈，2009年12月14-17日。精选论文。福冈：九州大学数学系。COE演讲笔记22，63-66（2009）。
MSC公司：68瓦30
PDF格式BibTeX公司 XML格式引用
\textit｛H.Iwane｝等人，COE Lect。附注22，63-66（2009年；兹bl 1186.68582）

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件