沃尔克·魏斯芬宁
人员信息
附属: 德国帕绍大学
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2012 [公元25年] 斯科特·麦卡勒姆 , 沃尔克·魏斯芬宁 :
判定多项式传递问题。 J.塞姆。 计算。 47 ( 1 ) : 16-31 ( 2012 )
2000 – 2009
2008 [公元25年] 梅兰妮·阿查茨 , 斯科特·麦卡勒姆 , 沃尔克·魏斯芬宁 :
多项式指数问题的判定。 伊萨克 2008 : 215-222 2007 [公元24年] 安德烈亚斯·多尔兹曼 , 沃尔克·魏斯芬宁 :
多目标半线性运动规划。 J.塞姆。 计算。 42 ( 三 ) : 324-337 ( 2007 ) [c24] 沃尔克·魏斯芬宁 :
参数线性常微分方程的鲁棒稳定性。 中国科学院 2007 : 402-422 2006 [公元23年] 沃尔克·魏斯芬宁 :
综合Gröbner基底和规则环。 J.塞姆。 计算。 41 ( 3-4 ) : 285-296 ( 2006 ) 2005 【c23】 沃尔克·魏斯芬宁 :
格积模型理论。 算法代数与逻辑 2005 : 315-554 [公元22年] 沃尔克·魏斯芬宁 :
用参数求解线性微分问题。 中国科学院 2005 : 469-488 2004 【c21】 沃尔克·魏斯芬宁 :
用消除法求解约束。 IJCAR公司 2004 : 336-341 2003 [公元22年] 沃尔克·魏斯芬宁 :
典型的综合Gröbner基地。 J.塞姆。 计算。 36 ( 3-4 ) : 669-683 ( 2003 ) 2002 [公元20年] 沃尔克·魏斯芬宁 :
典型的综合Gröbner基地。 ISSAC公司 2002 : 270-276 2001 [公元21年] 沃尔克·魏斯芬宁 :
REDLOG中的半线性运动规划。 申请。 代数工程通讯。 计算。 12 ( 6 ) : 455-475 ( 2001 ) [第19条] 沃尔克·魏斯芬宁 :
REDLOG中运动对象之间的半线性运动规划。 中国科学院 2001 : 541-553 [第18条] 阿奈Hirokazu , 沃尔克·魏斯芬宁 :
使用实量词消除的到达集计算。 高速列车控制中心 2001 : 63-76 [第1页] 亚历山大·博克梅尔 , 沃尔克·魏斯芬宁 :
求解数值约束。 自动推理手册 2001 : 751-842 2000 [公元20年] 沃尔克·魏斯芬宁 :
判定线性指数问题。 SIGSAM牛市。 34 ( 1 ) : 30-31 ( 2000 ) [第17条] 阿奈Hirokazu , 沃尔克·魏斯芬宁 :
判定线性三角问题。 ISSAC公司 2000 : 14-22 [第16条] 安德烈亚斯·多尔兹曼 , 沃尔克·魏斯芬宁 :
局部量词消除。 ISSAC公司 2000 : 86-94
1990 – 1999
1999 [第15条] 沃尔克·魏斯芬宁 :
混合实整数线性量词消除。 伊萨克 1999 : 129-136 1998 [公元19年] 安德烈亚斯·多尔兹曼 , 托马斯·斯特姆 , 沃尔克·魏斯芬宁 :
实几何中定理自动证明的一种新方法。 J.汽车。 原因。 21 ( 三 ) : 357-380 ( 1998 ) [电子1] 沃尔克·魏斯芬宁 , 巴里·M·特拉格 :
1998年符号和代数计算国际研讨会论文集,ISSAC’98,德国罗斯托克,1998年8月13日至15日。 ACM公司 1998 ,国际标准图书编号 1-58113-002-3 [目录] 1997 [公元18年] 沃尔克·魏斯芬宁 :
实代数的量词消去——二次型情形及以后。 申请。 代数工程通讯。 计算。 8 ( 2 ) : 85-101 ( 1997 ) [公元17年] 沃尔克·魏斯芬宁 :
通过量化消除进行模拟和优化。 J.塞姆。 计算。 24 ( 2 ) : 189-208 ( 1997 ) [第14条] 安德烈亚斯·多尔兹曼 , 托马斯·斯特姆 , 沃尔克·魏斯芬宁 :
实际中的实际量词消除。 算法代数与数论 1997 : 221-247 [第13条] 沃尔克·魏斯芬宁 :
普雷斯伯格算法中消除的复杂性和一致性。 ISSAC公司 1997 : 48-53 1996 [第12条] 托马斯·斯特姆 , 沃尔克·魏斯芬宁 :
REDLOG中的计算几何问题。 几何中的自动演绎 1996 : 58-86 1994 [第11条] 沃尔克·魏斯芬宁 :
实代数的量词消去——立方情形。 ISSAC公司 1994 : 258-263 1993 【b1】 托马斯·贝克 , 沃尔克·魏斯芬宁 , 海因茨·克雷德尔 :
Gröbner基-交换代数的计算方法。 数学研究生课程 141, 施普林格 1993 ,国际标准图书编号 978-3-540-97971-5 第I-XXII页,1-574页 [公元16年] 吕迪格·卢斯 , 沃尔克·魏斯芬宁 :
应用线性量词消除。 计算。 J。 36 ( 5 ) : 450-462 ( 1993 ) [第10条] 沃尔克·魏斯芬宁 :
差异定期订单。 ISSAC公司 1993 : 245-253 1992 [公元15年] 沃尔克·魏斯芬宁 :
综合Gröbner基地。 J.塞姆。 计算。 14 ( 1 ) : 1-30 ( 1992 ) 【c9】 沃尔克·魏斯芬宁 :
非诺瑟斜多项式环中的有限Gröbner基。 ISSAC公司 1992 : 329-334 1991 [公元14年] 冈特·里特 , 沃尔克·魏斯芬宁 :
关于定期订单数量。 申请。 代数工程通讯。 计算。 2 : 55-79 ( 1991 ) 【c8】 托马斯·贝克 , 沃尔克·魏斯芬宁 :
中国剩余问题、多元插值和Gröbner基。 ISSAC公司 1991 : 64-69 1990 [j13] 沃尔克·魏斯芬宁 :
带参数的有序阿贝尔群的存在等价性。 架构(architecture)。 数学。 日志。 29 ( 4 ) : 237-248 ( 1990 ) [公元12年] 阿卜杜利拉·坎德里·罗迪 , 沃尔克·魏斯芬宁 :
可解型代数中的非交换Gröbner基。 J.塞姆。 计算。 9 ( 1 ) : 1-26 ( 1990 ) [公元11年] 沃尔克·魏斯芬宁 :
几乎线性丢番图问题的复杂性。 J.塞姆。 计算。 10 ( 5 ) : 395-404 ( 1990 )
1980 – 1989
1988 [公元10年] 沃尔克·魏斯芬宁 :
领域中线性问题的复杂性。 J.塞姆。 计算。 5 ( 1/2 ) : 3-27 ( 1988 ) [公元9年] 海因茨·克雷德尔 , 沃尔克·魏斯芬宁 :
计算多项式理想的维数和独立集。 J.塞姆。 计算。 6 ( 2/3 ) : 231-247 ( 1988 ) 【c7】 沃尔克·魏斯芬宁 :
局部有限理论的有效决策程序2。 ISSAC公司 1988 : 390-401 1987 [j8] 沃尔克·魏斯芬宁 :
容许阶数和线性形式。 SIGSAM牛市。 21 ( 2 ) : 16-18 ( 1987 ) 【c6】 沃尔克·魏斯芬宁 :
建造通用Groebner基地。 AAECC公司 1987 : 408-417 【c5】 沃尔克·魏斯芬宁 :
交换正则环上多项式理想的Gröbner基。 欧洲的 1987 : 336-347 1986 [j7] 沃尔克·魏斯芬宁 :
Abelian l-群单词问题的复杂性。 西奥。 计算。 科学。 48 ( 三 ) : 127-132 ( 1986 ) 【c4】 沃尔克·魏斯芬宁 :
Gröbner基地建设的一些界限。 AAECC公司 1986 : 195-201 【c3】 沃尔克·魏斯芬宁 :
递归可枚举程序动态逻辑中的菱形公式。 CADE公司 1986 : 564-571 1985 [j6] 沃尔克·魏斯芬宁 :
模块的量化消除。 架构(architecture)。 数学。 日志。 25 ( 1 ) : 1-11 ( 1985 ) [j5] 沃尔克·魏斯芬宁 :
分配格和测度代数的量词消去。 数学。 日志。 问:。 31 ( 14-18 ) : 249-261 ( 1985 ) [c2] 沃尔克·魏斯芬宁 :
局部有限理论的有效决策算法。 AAECC公司 1985 : 262-273 【c1】 沃尔克·魏斯芬宁 :
阿基米德有序群中初等问题的复杂性。 欧洲计算机代数会议(2) 1985 : 87-88 1981 【j4】 沃尔克·魏斯芬宁 :
互补存在公式的模型理论意义。 J.塞姆。 日志。 46 ( 4 ) : 843-850 ( 1981 )
1970 – 1979
1978 [j3] 沃尔克·魏斯芬宁 :
关于ℵ的注释 0 -分类模型公司。 架构(architecture)。 数学。 日志。 19 ( 1 ) : 23-29 ( 1978 ) 1977 [注2] 沃尔克·魏斯芬宁 :
Nullstellensätze——模型理论框架。 数学。 日志。 问:。 23 ( 36 ) : 539-545 ( 1977 ) 1976 [j1] 沃尔克·魏斯芬宁 :
自由扩展中的负存在完备结构和可定义性。 J.塞姆。 日志。 41 ( 1 ) : 95-108 ( 1976 )
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)