共 24 条
[1]
Becker T., 1993, Groebner Bases
[2]
BELLIDO AM, 1992, THESIS P SABATIER TO
[3]
DIDRIT O, 1997, THESIS U PARIS SUD O
[5]
Hansen Eldon R., 1992, Global optimization using interval analysis
[7]
KEARFOOT RB, 1992, INTERVAL COMPUT, V3, P96
[8]
KEARFOTT RB, 1989, IMPACT RECENT COMPUT, P533
[9]
KLATE R, 1993, C XSC A C PLUS PLUS
[10]
Lazard D., 1993, Proceedings SC 93. International IMACS Symposium on Symbolic Computation. New Trends and Developments, P85