Citing Articles--Summary
AN ELIMINATION METHOD FOR POLYNOMIAL SYSTEMS
WANG DM
JOURNAL OF SYMBOLIC COMPUTATION
16 (2): 83-114 AUG 1993
These documents in the database cite the above article:
Schiele K, Hemmecke R
Migration effects in driven multiple pendula
Z ANGEW MATH MECH 81 (5): 291-303 2001
Hoffman CM, Lomonosov A, Sitharam M
Decomposition plans for geometric constraint systems, part I: Performance measures for CAD
J SYMB COMPUT 31 (4): 367-408 APR 2001
Wang DM
Decomposing algebraic varieties
LECT NOTES ARTIF INT 1669: 180-206 1999
Wang DM
Computing triangular systems and regular systems
J SYMB COMPUT 30 (2): 221-236 AUG 2000
Aubry P, Lazard D, Maza MM
On the theories of triangular sets
J SYMB COMPUT 28 (1-2): 105-124 JUL-AUG 1999
Aubry P, Maza MM
Triangular sets for solving polynomial systems: a comparative implementation of four methods
J SYMB COMPUT 28 (1-2): 125-154 JUL-AUG 1999
Wang DM
Polynomial systems from certain differential equations
J SYMB COMPUT 28 (1-2): 303-315 JUL-AUG 1999
Dolzmann A, Sturm T, Weispfenning V
A new approach for automatic theorem proving in real geometry
J AUTOM REASONING 21 (3): 357-380 DEC 1998
Kalkbrener M
Algorithmic properties of polynomial rings
J SYMB COMPUT 26 (5): 525-581 NOV 1998
Wang DM
Decomposing polynomial systems into simple systems
J SYMB COMPUT 25 (3): 295-314 MAR 1998
Wang DM
Solving polynomial equations: Characteristic sets and triangular systems
MATH COMPUT SIMULAT 42 (4-6): 339-351 NOV 1996
Timochouk LA
Wagram: Yet another Grobner system
Z ANGEW MATH MECH 76: 311-313 Suppl. 1 1996
Grabe HG
Triangular systems and factorized Grobner bases
LECT NOTES COMPUT SC 948: 248-261 1995
WANG DM
ELIMINATION PROCEDURES FOR MECHANICAL THEOREM-PROVING IN GEOMETRY
ANN MATH ARTIF INTEL 13 (1-2): 1-24 1995
KALKBRENER M
PRIME DECOMPOSITIONS OF RADICALS IN POLYNOMIAL-RINGS
J SYMB COMPUT 18 (4): 365-372 OCT 1994
GAO XS, CHOU SC
A ZERO STRUCTURE THEOREM FOR DIFFERENTIAL PARAMETRIC SYSTEMS
J SYMB COMPUT 16 (6): 585-595 DEC 1993
16 of 29954921 documents in the database cite the above article.
Acceptable Use Policy
Copyright © 2001
Institute for Scientific Information