×
作者ID: 魏斯芬宁.volker“Weispfenning,Volker”最近发表的zbMATH文章
发布日期: 沃尔克·魏斯芬宁;维斯芬宁。
外部链接: MGP公司·维基数据·全球导航卫星系统·ID参考
已编制索引的文档: 67出版物自1973年以来,包括2本书
2作为编辑的贡献·1进一步贡献
合著者: 15位合著者具有21联合出版物
280位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

61出版物有被引用1189中的次901文件 引用人 年份
Gröbner基:交换代数的计算方法。与Heinz Kredel合作。 Zbl 0772.13010号
托马斯·贝克尔;沃尔克·魏斯芬宁
369
1993
可解型代数中的非交换Gröbner基。 Zbl 0715.16010号
坎德里·罗迪,A。;沃尔克·魏斯芬宁
114
1990
综合Gröbner基地。 Zbl 0784.13013号
沃尔克·魏斯芬宁
85
1992
领域中线性问题的复杂性。 Zbl 0646.03005号
沃尔克·魏斯芬宁
68
1988
实代数的量词消去——二次型情形及其以外。 Zbl 0867.03003号
维斯芬宁。
61
1997
应用线性量词消除。 Zbl 0787.03021号
卢斯·吕迪格;沃尔克·魏斯芬宁
60
1993
格序群。进步和技术。 Zbl 0705.06001号
43
1989
值字段的量词消除和决策程序。 Zbl 0584.03022号
沃尔克·魏斯芬宁
29
1984
计算机代数手册。基础、应用、系统。带有CD-ROM、演示版。 Zbl 1017.68162号
29
2003
在实践中消除真正的量词。 Zbl 0934.68130号
安德烈亚斯·多尔兹曼;托马斯·斯特姆;沃尔克·魏斯芬宁
29
1999
实代数量词消去的一种新方法。 Zbl 0900.03046号
维斯芬宁。
24
1998
容许阶数和线性形式。 兹比尔0655.13017
沃尔克·魏斯芬宁
23
1987
实代数的量词消去-立方情况。 Zbl 0919.03030号
沃尔克·魏斯芬宁
18
1994
一种新的实几何定理自动证明方法。 Zbl 0914.03013号
安德烈亚斯·多尔兹曼;托马斯·斯特姆;魏斯芬宁,沃尔克
17
1998
结构子直积的模型完整性和量词的消除。 Zbl 0318.02052号
沃尔克·魏斯芬宁
17
1975
消除某些有序和格有序阿贝尔群的量词。 Zbl 0499.03012号
沃尔克·魏斯芬宁
16
1981
计算多项式理想的维数和独立集。 Zbl 0665.68024号
亨氏克雷德尔;沃尔克·魏斯芬宁
15
1988
通过量词消除进行模拟和优化。 Zbl 0883.68075号
沃尔克·魏斯芬宁
15
1997
使用实量词消除进行到达集计算。 Zbl 0991.93008号
阿奈、平子;沃尔克·魏斯芬宁
15
2002
典型的综合Gröbner基地。 Zbl 1054.13015号
沃尔克·魏斯芬宁
15
2003
多项式指数问题的判定。 Zbl 1236.68301号
梅兰妮·阿查兹;斯科特·麦卡勒姆;沃尔克·魏斯芬宁
14
2008
非Noetherian斜多项式环中的有限Gröbner基。 Zbl 0925.16018号
维斯芬宁。
12
1992
判定多项式传递问题。 Zbl 1243.03015号
斯科特·麦卡勒姆;沃尔克·魏斯芬宁
12
2012
构建通用Gröbner基。 Zbl 0695.13002号
沃尔克·魏斯芬宁
12
1989
关于\(\aleph_0\)-分类模型公司的注释。 Zbl 0408.03024号
魏斯芬宁,沃尔克
12
1978
中国余数问题、多元插值和Gröbner基。 Zbl 0925.13013号
托马斯·贝克尔;沃尔克·魏斯芬宁
11
1991
关于亨塞尔场的基本理论。 Zbl 0347.02033号
沃尔克·魏斯芬宁
11
1976
交换正则环上多项式理想的Gröbner基。 Zbl 1209.13036号
沃尔克·魏斯芬宁
10
1989
普雷斯伯格算法中消除的复杂性和一致性。 Zbl 0915.03032号
沃尔克·魏斯芬宁
10
1997
求解数值约束。 Zbl 1011.68127号
亚历山大·博克迈尔;沃尔克·魏斯芬宁
8
2001
几乎线性丢番图问题的复杂性。 Zbl 0716.68050号
沃尔克·魏斯芬宁
8
1990
带参数的有序阿贝尔群的存在等价性。 Zbl 0702.03013号
沃尔克·魏斯芬宁
7
1990
典型的综合Gröbner基地。 Zbl 1072.68702号
沃尔克·魏斯芬宁
7
2002
量词可消除的有序阿贝尔群。 Zbl 0631.06010号
沃尔克·魏斯芬宁
6
1986
Gröbner基地建设的一些界限。 Zbl 0655.13018号
沃尔克·魏斯芬宁
6
1988
REDLOG中的计算几何问题。 Zbl 0904.65151号
托马斯·斯特姆;沃尔克·魏斯芬宁
5
1998
格积模型理论。 Zbl 0718.03029号
沃尔克·魏斯芬宁
5
1978
综合Gröbner基底和规则环。 兹比尔1121.13036
魏斯芬宁,沃尔克
4
2006
使用实量词消除进行到达集计算。 Zbl 0985.68755号
阿奈、平子;沃尔克·魏斯芬宁
4
2001
没有素模型扩展的交换正则环。 Zbl 0308.02057号
萨拉西诺,D。;沃尔克·魏斯芬宁
4
1975
否定存在的完整结构和自由扩展中的可定义性。 Zbl 0335.02035号
沃尔克·魏斯芬宁
4
1976
不同的术语顺序。 Zbl 0925.13015号
沃尔克·魏斯芬宁
1993
交换l-群的单词问题的复杂性。 Zbl 0633.03036号
沃尔克·魏斯芬宁
1986
REDLOG中的半线性运动规划。 Zbl 1003.65015号
沃尔克·魏斯芬宁
2001
判定线性超越问题。 Zbl 0974.03010号
沃尔克·魏斯芬宁
2000
关于交换正则环上的代数曲线。 Zbl 0318.13032号
萨拉西诺,D。;沃尔克·魏斯芬宁
1975
Nullstellensätze-模型理论框架。 Zbl 0384.03018号
魏斯芬宁,沃尔克
1977
判定线性三角问题。 Zbl 1326.68341号
阿奈、平子;沃尔克·魏斯芬宁
2
2000
模型理论和公式格。 Zbl 0519.03032号
魏斯芬宁,沃尔克
2
1982
代数中量词消去的几个方面。 Zbl 0575.03019号
沃尔克·魏斯芬宁
1
1984
阿基米德序群中初等问题的复杂性。 Zbl 0576.06017号
沃尔克·魏斯芬宁
1
1985
存在闭半格。 Zbl 0604.06004号
沃尔克·魏斯芬宁
1
1985
分配格和测度代数的量词消去。 Zbl 0547.03026号
沃尔克·魏斯芬宁
1
1985
局部有限理论的有效决策算法。 Zbl 0622.03010号
沃尔克·魏斯芬宁
1
1986
局部量词消除。 Zbl 1326.68350号
安德烈亚斯·多尔兹曼;沃尔克·魏斯芬宁
1
2000
REDLOG中运动对象之间的半线性运动规划。 Zbl 1021.68110号
沃尔克·魏斯芬宁
1
2001
补充存在公式的模型理论意义。 Zbl 0502.03017号
沃尔克·魏斯芬宁
1
1981
(kappa)饱和结构的无限模型理论性质。 Zbl 0301.02048号
沃尔克·魏斯芬宁
1
1973
吕克特的Nullstellensatz的两个模型理论证明。 Zbl 0293.02043号
魏斯芬宁,沃尔克
1
1975
格子产品。 Zbl 0461.03004号
沃尔克·魏斯芬宁
1
1979
关于定期订单的数量。 Zbl 0739.06008号
冈特·里特;魏斯芬宁,沃尔克
1
1991
决定多项式超越问题。 Zbl 1243.03015号
斯科特·麦卡勒姆;沃尔克·魏斯芬宁
12
2012
多项式指数问题的判定。 Zbl 1236.68301号
梅兰妮·阿查兹;斯科特·麦卡勒姆;沃尔克·魏斯芬宁
14
2008
综合Gröbner基底和规则环。 Zbl 1121.13036号
沃尔克·魏斯芬宁
4
2006
计算机代数手册。基础、应用、系统。带有CD-ROM、演示版。 Zbl 1017.68162号
29
2003
典型的综合Gröbner基地。 Zbl 1054.13015号
沃尔克·魏斯芬宁
15
2003
使用实量词消除进行到达集计算。 Zbl 0991.93008号
阿奈、平子;沃尔克·魏斯芬宁
15
2002
典型的综合Gröbner基地。 Zbl 1072.68702号
沃尔克·魏斯芬宁
7
2002
求解数值约束。 Zbl 1011.68127号
亚历山大·博克迈尔;沃尔克·魏斯芬宁
8
2001
使用实量词消除进行到达集计算。 兹伯利0985.68755
阿奈、平子;沃尔克·魏斯芬宁
4
2001
REDLOG中的半线性运动规划。 Zbl 1003.65015号
沃尔克·魏斯芬宁
2001
REDLOG中运动对象之间的半线性运动规划。 兹比尔1021.68110
魏斯芬宁,沃尔克
1
2001
判定线性超越问题。 Zbl 0974.03010号
沃尔克·魏斯芬宁
2000
判定线性三角问题。 Zbl 1326.68341号
阿奈、平子;沃尔克·魏斯芬宁
2
2000
局部量词消除。 Zbl 1326.68350号
安德烈亚斯·多尔兹曼;沃尔克·魏斯芬宁
1
2000
在实践中消除真正的量词。 Zbl 0934.68130号
安德烈亚斯·多尔兹曼;托马斯·斯特姆;沃尔克·魏斯芬宁
29
1999
实代数量词消去的一种新方法。 Zbl 0900.03046号
维斯芬宁。
24
1998
一种新的实几何定理自动证明方法。 Zbl 0914.03013号
安德烈亚斯·多尔兹曼;托马斯·斯特姆;沃尔克·魏斯芬宁
17
1998
REDLOG中的计算几何问题。 Zbl 0904.65151号
托马斯·斯特姆;沃尔克·魏斯芬宁
5
1998
实代数的量词消去——二次型情形及其以外。 Zbl 0867.03003号
维斯芬宁。
61
1997
通过量词消除进行模拟和优化。 兹伯利0883.68075
沃尔克·魏斯芬宁
15
1997
普雷斯伯格算法中消除的复杂性和一致性。 Zbl 0915.03032号
沃尔克·魏斯芬宁
10
1997
实代数的量词消去-立方情况。 Zbl 0919.03030号
沃尔克·魏斯芬宁
18
1994
Gröbner基:交换代数的一种计算方法。与Heinz Kredel合作。 Zbl 0772.13010号
托马斯·贝克尔;沃尔克·魏斯芬宁
369
1993
应用线性量词消除。 Zbl 0787.03021号
卢斯·吕迪格;沃尔克·魏斯芬宁
60
1993
不同的术语顺序。 Zbl 0925.13015号
沃尔克·魏斯芬宁
1993
综合Gröbner基地。 Zbl 0784.13013号
沃尔克·魏斯芬宁
85
1992
非Noetherian斜多项式环中的有限Gröbner基。 Zbl 0925.16018号
维斯芬宁。
12
1992
中国剩余问题、多元插值和Gröbner基。 Zbl 0925.13013号
托马斯·贝克尔;沃尔克·魏斯芬宁
11
1991
关于定期订单的数量。 Zbl 0739.06008号
冈特·里特;沃尔克·魏斯芬宁
1
1991
可解型代数中的非交换Gröbner基。 Zbl 0715.16010号
Kandri Rody,A。;沃尔克·魏斯芬宁
114
1990
几乎线性丢番图问题的复杂性。 Zbl 0716.68050号
沃尔克·魏斯芬宁
8
1990
带参数的有序阿贝尔群的存在等价性。 Zbl 0702.03013号
魏斯芬宁,沃尔克
7
1990
格序群。进步和技术。 Zbl 0705.06001号
43
1989
构建通用Gröbner基。 Zbl 0695.13002号
沃尔克·魏斯芬宁
12
1989
交换正则环上多项式理想的Gröbner基。 兹伯利1209.13036
沃尔克·魏斯芬宁
10
1989
领域中线性问题的复杂性。 Zbl 0646.03005号
沃尔克·魏斯芬宁
68
1988
计算多项式理想的维数和独立集。 Zbl 0665.68024号
亨氏克雷德尔;沃尔克·魏斯芬宁
15
1988
Gröbner基地建设的一些界限。 Zbl 0655.13018号
沃尔克·魏斯芬宁
6
1988
容许阶数和线性形式。 Zbl 0655.13017号
沃尔克·魏斯芬宁
23
1987
量词可消除的有序阿贝尔群。 Zbl 0631.06010号
沃尔克·魏斯芬宁
6
1986
交换l-群的单词问题的复杂性。 Zbl 0633.03036号
沃尔克·魏斯芬宁
1986
局部有限理论的有效决策算法。 Zbl 0622.03010号
沃尔克·魏斯芬宁
1
1986
阿基米德序群中初等问题的复杂性。 Zbl 0576.06017号
沃尔克·魏斯芬宁
1
1985
存在闭半格。 Zbl 0604.06004号
沃尔克·魏斯芬宁
1
1985
分配格和测度代数的量词消去。 兹伯利0547.03026
沃尔克·魏斯芬宁
1
1985
值字段的量词消除和决策程序。 Zbl 0584.03022号
沃尔克·魏斯芬宁
29
1984
代数中量词消除的几个方面。 Zbl 0575.03019号
魏斯芬宁,沃尔克
1
1984
模型理论和公式格。 Zbl 0519.03032号
沃尔克·魏斯芬宁
2
1982
消除某些有序和格有序阿贝尔群的量词。 Zbl 0499.03012号
沃尔克·魏斯芬宁
16
1981
补充存在公式的模型理论意义。 Zbl 0502.03017号
沃尔克·魏斯芬宁
1
1981
格子产品。 Zbl 0461.03004号
沃尔克·魏斯芬宁
1
1979
关于\(\aleph_0\)-分类模型公司的注释。 Zbl 0408.03024号
沃尔克·魏斯芬宁
12
1978
格积模型理论。 Zbl 0718.03029号
沃尔克·魏斯芬宁
5
1978
Nullstellensätze-模型理论框架。 Zbl 0384.03018号
沃尔克·魏斯芬宁
1977
关于亨塞尔场的基本理论。 Zbl 0347.02033号
沃尔克·魏斯芬宁
11
1976
否定存在的完整结构和自由扩展中的可定义性。 Zbl 0335.02035号
沃尔克·魏斯芬宁
4
1976
结构子直积的模型完整性和量词的消除。 Zbl 0318.02052号
沃尔克·魏斯芬宁
17
1975
没有素模型扩展的交换正则环。 Zbl 0308.02057号
萨拉西诺,D。;沃尔克·魏斯芬宁
4
1975
关于交换正则环上的代数曲线。 Zbl 0318.13032号
萨拉西诺,D。;魏斯芬宁,沃尔克
1975
Rückert的Nullstellenz的两个模型理论证明。 Zbl 0293.02043号
沃尔克·魏斯芬宁
1
1975
(kappa)饱和结构的无限模型理论性质。 Zbl 0301.02048号
沃尔克·魏斯芬宁
1
1973
全部的 前5名

1209位作者引用

20 托马斯·斯特姆
18 阿米尔·哈希米
13 Werner M.塞勒。
13 沃尔克·魏斯芬宁
12 特奥·莫拉
12 菲利普·斯考克罗夫特
11 刘金旺
11 安德烈亚斯·古恩特·韦伯
10 弗拉基米尔·彼得罗维奇·格特
9 艾丽卡·阿尔布拉汉姆
9 Faugère、Jean-Charles
9 迪帕克·卡普尔
9 M.-Alizadeh,本亚明
9 Katsusuke Nabeshima
9 阿曼多·雷耶斯
8 李冬梅
8 李慧诗
8 安格斯·约翰·麦金太尔
8 夏碧灿
7 米歇拉·塞里亚
7 亚历山德罗·西马蒂
7 詹姆斯·哈罗德·达文波特
7 维克托·列万多夫斯基
7 克里希纳·苏布拉马尼
7 孙尧
7 新一田岛
7 王定康
7 王东明
7 曾广兴
6 阿奈、平子
6 克里斯蒂安·埃德尔
6 英格兰,马修
6 曼弗雷德·哥贝尔
6 德米特里·格里戈列夫
6 Hoon Hong
6 伊芙琳·休伯特
6 基里恩·克莱默
6 安东尼奥·蒙特斯
6 安德烈·普拉泽
6 托马斯·雷西奥
5 马提亚斯·阿斯琴布伦纳
5 克里斯托弗·布朗(Christopher W.Brown)。
5 帕夫洛斯·艾里纳基斯
5 何塞·戈梅斯·托雷西拉斯
5 Ioakimidis、Nikolaos Ioakim
5 亨氏克雷德尔
5 牟晨琪
5 胡安·萨比亚
5 穆罕默德·萨弗里·埃尔丁
5 佐藤、优介
5 约瑟夫·希乔
5 Wojciechowski,Piotr J。
5 横山和弘
5 于志恒
5 张伟年
4 约阿希姆·阿佩尔
4 巴萨拉布,塞族人A。
4 莱昂尼德·博库特(Leonid A.Bokut)。
4 马丁·布罗姆伯格
4 克拉克(Edmund Melson jun Clarke)。
4 德赫尼·达尔米安,马赫迪
4 B.柯蒂斯·埃夫斯
4 El Kahoui,穆罕默德
4 帕特里克·菲茨帕特里克
4 格特·马丁·格雷尔
4 阿尔贝托·格里乔
4 拉尔夫·亨梅克
4 井上,Shutaro
4 伊藤、高沼
4 加布里埃拉·杰罗尼莫
4 乌拉科彭哈根
4 克里斯托夫·库彻恩
4 李志斌
4 Daniel A.Lichtblau。
4 刘伟军
4 弗朗西斯科·哈维尔
4 恩斯特·梅尔(Ernst W.Mayr)。
4 劳伦斯·查尔斯·保尔森
4 法国波因特
4 奥尔本Quadrat
4 奥维迪乌·拉杜列斯库
4 哈米德·拉科伊
4 安德鲁·雷诺兹
4 乌列尔·乔治·罗斯布卢姆
4 马可·罗维里
4 Naoyuki Shinohara
4 尤尔根·Stückrad
4 伯恩德·斯图尔姆费尔斯
4 Héctor Suárez
4 塞萨尔·蒂内利
4 Shigenori内山
4 王明生
4 克里斯托夫·韦登巴赫
4 徐明
4 伊娃·泽兹
4 张树功
盖尔·阿格纳森
贝扎德·阿克巴普尔
莫鲁阿米杜
玛丽亚·劳拉·巴巴加略
…还有1109名作者
全部的 前5名

208篇连载文章中引用

168 符号计算杂志
31 纯粹与应用代数杂志
30 工程、通信和计算中的应用代数
27 代数杂志
27 理论计算机科学
22 纯逻辑与应用逻辑年鉴
21 计算机科学中的数学
18 代数通讯
18 美国数学学会会刊
18 系统科学与复杂性杂志
14 系统设计中的形式化方法
13 符号逻辑杂志
11 模拟中的数学和计算机
10 计算数学
10 自动推理杂志
8 代数普遍性
8 设计、代码和密码
8 线性代数及应用
7 信息与计算
7 数学逻辑档案
7 数学科学杂志(纽约)
6 离散应用数学
6 编程和计算机软件
6 复杂性杂志
6 数学与人工智能年鉴
5 离散和计算几何
5 科学中国。数学
4 计算机与数学及其应用
4 计算机物理通信
4 以色列数学杂志
4 美国数学学会会刊
4 系统和控制信件
4 代数组合数学杂志
4 数学逻辑季刊(MLQ)
信息处理信件
应用数学与计算
计算与应用数学杂志
数学手稿
数学期刊
欧洲组合数学杂志
订单
中国科学。系列A
日本工业与应用数学杂志
国际代数与计算杂志
控制论与系统分析
应用Clifford代数的进展
高能物理杂志
动力系统定性理论
计算数学基础
代数杂志及其应用
计算机科学中的逻辑方法
计算机代数中的ACM通信
JSIAM信函
2 人工智能
2 计算物理杂志
2 数学生物学通报
2 数学进展
2 Automatica公司
2 比特币
2 捷克斯洛伐克数学杂志
2 国际工程数值方法杂志
2 数学年刊
2 圣母院形式逻辑杂志
2 爱丁堡数学学会会刊。系列II
2 数学成绩
2 Studia Logica公司
2 日本数学杂志。第二系列
2 应用数学进展
2 计算机辅助几何设计
2 计算机科学与技术杂志
2 伊比利亚美洲马提卡修道院
2 美国数学学会杂志
2 数学和计算机建模
2 MCSS公司。控制、信号和系统数学
2 多维系统及信号处理
2 全球优化杂志
2 数学说明
2 数学编程。A系列B系列
2 圣彼得堡数学杂志
2 有限域及其应用
2 数学科学公报
2 约束条件
2 欧洲控制杂志
2 相对论生活评论
2 应用数学杂志
2 SIAM应用动力系统杂志
2 代数与离散数学
2 国际代数电子杂志(IEJA)
2 非线性分析。混合动力系统
2 程序设计中的逻辑和代数方法杂志
2 代数、组合学、离散结构与应用杂志
1 信息学报
1 机械学报
1 Archive für Mathematische Logik und Grundlagenforschung公司
1 数学物理中的通信
1 离散数学
1 国际控制杂志
1 国际系统科学杂志
1 数学分析杂志
1 数学生物学杂志
…还有108部连续剧
全部的 前5名

56个领域被引用

416 计算机科学(68至XX)
355 交换代数(13-XX)
174 数学逻辑和基础(03-XX)
114 代数几何(14-XX)
96 场论和多项式(12-XX)
92 结合环与代数(16-XX)
72 数值分析(65-XX)
47 数论(11-XX)
44 阶、格、有序代数结构(06-XX)
44 信息与通信理论、电路(94-XX)
43 系统论;控制(93至XX)
39 运筹学、数学规划(90-XX)
37 常微分方程(34-XX)
25 组合数学(05-XX)
25 生物学和其他自然科学(92-XX)
23 群论与推广(20-XX)
20 非结合环和代数(17-XX)
19 线性代数和多线性代数;矩阵理论(15-XX)
16 几个复变量和分析空间(32-XX)
16 动力系统和遍历理论(37至XX)
15 偏微分方程(35-XX)
13 量子理论(81-XX)
12 实际功能(26年X月X日)
12 凸和离散几何(52至XX)
9 差分方程和函数方程(39至XX)
8 特殊功能(33至XX)
8 近似值和展开值(41至XX)
7 一般代数系统(08-XX)
7 几何图形(51至XX)
6 范畴理论;同调代数(18-XX)
6 流形和细胞复合体(57-XX)
5 复变量的函数(30年XX月)
5 粒子和系统力学(70-XX)
4 总体主题;集合(00-XX)
4 功能分析(46-XX)
4 一般拓扑结构(54至XX)
4 代数拓扑(55-XX)
4 统计学(62-XX)
4 流体力学(76-XX)
欧几里得空间的调和分析(42至XX)
算子理论(47-XX)
整体分析,流形分析(58至XX)
可变形固体力学(74-XX)
相对论与引力理论(83-XX)
博弈论、经济学、金融和其他社会和行为科学(91-XX)
2 拓扑群,李群(22日至XX日)
2 差速器几何结构(53-XX)
2 统计力学,物质结构(82-XX)
1 历史和传记(01-XX)
1 \(K\)-理论(19-XX)
1 序列、级数、可和性(40-XX)
1 积分方程(45-XX)
1 概率论与随机过程(60-XX)
1 光学、电磁理论(78-XX)
1 经典热力学,传热(80-XX)
1 数学教育(97-XX)

按年份列出的引文

数据显示为存储在Wikidata中的Creative Commons CC0许可证。应进行更新和更正在Wikidata中.