×

JAS中可解多项式的公约数。 (英语) Zbl 1434.68709号

Greuel,Gert-Martin(编辑)等人,《数学软件——ICMS 2016》。第五届国际会议,德国柏林,2016年7月11-14日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9725, 173-180 (2016).
摘要:我们提出了可解多项式软件的通用、类型安全(非唯一)公约数。可解多项式环是用非交换变量定义的,此外,在参数(可解)系数的情况下,主要变量可能不会与系数交换。在Java代数系统(JAS)的面向对象编程环境中描述了接口、类组织。所实现的算法可以应用于可解扩张域和根构造。我们展示了在上述应用程序中实现的设计和可行性。
关于整个系列,请参见[Zbl 1342.68017号].

MSC公司:

68瓦30 符号计算和代数计算
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Apel,J.,Klaus,U.:FELIX——代数学家助理。摘自:1991年符号和代数计算国际研讨会论文集,ISSAC 1991,德国波恩,1991年7月15-17日,第382-389页(1991)·Zbl 0925.68238号 ·数字对象标识代码:10.1145/120694.120753
[2] Apel,J.,Lassner,W.:李场中的计算和简化。摘自:EUROCAL 1987,第468–478页(1987)·Zbl 1209.68663号
[3] Apel,J.,Melenk,H.:NCPOLY:非交换多项式理想中的计算。技术报告(2004年)。http://www.reduce-algebra.com/docs/ncpoly.pdf
[4] Bueso,J.L.,Gómez-Terrecillas,J.,Verschoren,A.:非交换代数中的算法方法:量子群的应用。Kluwer学术出版社,多德雷赫特(2003)·Zbl 1063.16054号 ·doi:10.1007/978-94-017-0285-0
[5] Kandri-Rody,A.,Weispfenning,V.:可解型代数中的非交换Gröbner基。J.符号计算。9(1), 1–26 (1990) ·兹比尔0715.16010 ·doi:10.1016/S0747-7171(08)80003-X
[6] Kredel,H.:可解多项式环。帕索大学论文(1992年)·Zbl 0790.16027号
[7] Kredel,H.:在Java计算机代数系统上,它的性能和应用。科学。计算。程序。70(2–3), 185–207 (2008) ·Zbl 1140.68351号 ·doi:10.1016/j.scico.2007.07.010
[8] Kredel,H.:Java计算机代数系统中的唯一因子分解域。收录:Sturm,T.,Zengler,C.(编辑)ADG 2008。LNCS,第6301卷,第86–115页。斯普林格,海德堡(2011)·Zbl 1302.13020号 ·doi:10.1007/978-3642-21046-45
[9] Kredel,H.:参数可解多项式环及其应用。收录人:Gerdt,V.P.,Koepf,W.,Seiler,W.M.,Vorozhtsov,E.V.(编辑)CASC 2015。LNCS,第9301卷,第275-291页。斯普林格,海德堡(2015)·Zbl 1434.16021号 ·doi:10.1007/978-3-319-24021-3_21
[10] Kredel,H.:Java代数系统(JAS)。技术报告,自2000年以来。http://krum.rz.unimannheim.de/jas/
[11] Levandovskyy,V.:复数,单数的非交换扩展:过去、现在和未来。收录:Iglesias,A.,Takayama,N.(编辑)ICMS 2006。LNCS,第4151卷,第144-157页。斯普林格,海德堡(2006)·Zbl 1229.16001号 ·doi:10.1007/11832225_13
[12] Levandovskyy,V.,Schönemann,H.:复数:非交换多项式代数的计算机代数系统。摘自:《符号和代数计算学报》,ISSAC 2003国际研讨会,美国费城,第176-183页(2003)·Zbl 1072.68681号 ·doi:10.1145/860854.860895
[13] Mora,T.:交换和非交换Gröbner基简介。西奥。计算。科学。134(1), 131–173 (1994) ·兹伯利0824.68056 ·doi:10.1016/0304-3975(94)90283-6
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。