CONSTRUCTING UNIVERSAL UNFOLDINGS USING GROBNER BASES

被引：5
|
作者：
ARMBRUSTER, D [1 ]
KREDEL, H [1 ]
机构：
[1] GESELL SCHWERIONENFORSCH,D-6100 DARMSTADT,FED REP GER
来源：
JOURNAL OF SYMBOLIC COMPUTATION | 1986年 / 2卷 / 04期
关键词：
D O I：
10.1016/S0747-7171(86)80005-0
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：383 / 388
页数：6
相关论文
共 50 条
  • [21] ON THE CONSTRUCTION OF GROBNER BASES USING SYZYGIES
    MOLLER, HM
    JOURNAL OF SYMBOLIC COMPUTATION, 1988, 6 (2-3) : 345 - 359
  • [22] Equivalence Checking using Grobner Bases
    Sayed-Ahmed, Amr
    Grosse, Daniel
    Soeken, Mathias
    Drechsler, Rolf
    PROCEEDINGS OF THE 2016 16TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD 2016), 2016, : 169 - 176
  • [23] Rationalizing Denominators Using Grobner Bases
    Li, Dongmei
    Wu, Man
    Liu, Jinwang
    Gao, Yiman
    COMPLEXITY, 2022, 2022
  • [24] Understanding aliasing using Grobner bases
    Pistone, G
    Riccomagno, E
    Wynn, HP
    MODA6 ADVANCES IN MODEL-ORIENTED DESIGN AND ANALYSIS, 2001, : 211 - 216
  • [25] Grobner-Shirshov bases for Lie superalgebras and their universal enveloping algebras
    Bokut, LA
    Kang, SJ
    Lee, KH
    Malcolmson, P
    JOURNAL OF ALGEBRA, 1999, 217 (02) : 461 - 495
  • [26] Grobner bases and involutive bases
    Astrelin, AV
    Golubitsky, OD
    Pankratiev, EV
    ALGEBRA, 2000, : 49 - 55
  • [27] AN ALGORITHM FOR CONSTRUCTING GROBNER BASES FROM CHARACTERISTIC SETS AND ITS APPLICATION TO GEOMETRY
    CHOU, SC
    SCHELTER, WF
    YANG, JG
    ALGORITHMICA, 1990, 5 (02) : 147 - 154
  • [28] AN ALGORITHM FOR CONSTRUCTING GROBNER AND FREE SCHREIER BASES IN FREE GROUP-ALGEBRAS
    ROSENMANN, A
    JOURNAL OF SYMBOLIC COMPUTATION, 1993, 16 (06) : 523 - 549
  • [29] Computing homology using generalized Grobner bases
    Hall, Becky Eide
    JOURNAL OF SYMBOLIC COMPUTATION, 2013, 54 : 59 - 71
  • [30] Constraint based reasoning using Grobner bases
    Lakmazaheri, S
    COMPUTING IN CIVIL ENGINEERING, 1996, : 559 - 564
12345