13320

12139

كارشناسي ارشد

رياضي محض

اصفهان: دانشگاه صنعتي اصفهان، دانشكده علوم رياضي

۱۳۹۶

نه، [۱۱۰]ص.:‌ مصور

انگليسي به فارسي; فارسي به انگليسي

1396/12/13

كتابنامه

علوم رياضي

رياضي

ID12139

مراجع Aubry P Lazard D and Maza M On the theories of triangular sets Journal of Symbolic Computation 28 1 2 105 124 1999 ۴ Buchberger B Grobner bases An algorithmic method in polynomial ideal theory Multidimensional systems theory pp 184 232 1985 Buchberger B Bruno buchberger s phd thesis 1965 An algorithm for nding the basis elements of the residue class ring of a zero dimensional polynomial ideal Journal of Symbolic Computation 41 3 475 511 2006 ۴ ۴ Chou S and Gao X Ritt wu s decomposition algorithm and geometry theorem proving In 10th International Conference on Automated Deduction pp 207 220 Springer 1990 ۵ Chou Sh and Gao X Ritt wu s decomposition algorithm and geometry theorem proving University of Texas at Austin Department of Computer Sciences 1989 ۶ Cox D Little J and O shea D Ideals varieties and algorithms Vol 3 Springer 1992 ۶ Gallo G and Mishra B E cient algorithms and bounds for wu ritt characteristic sets In E ective methods in algebraic geometry pp 119 142 Springer 1991 Kandri Rody and Kapur D Computing a gr bner basis of a polynomial ideal over a euclidean domain Journal of Symbolic Computation 6 1 37 57 1988 Malik DS Mordeson JN and Sen MK Fundamentals of abstract algebra McGraw Hill 1997 Mishra B Algorithmic algebra spriger New York 1993 ۴۵ M ller HM On the construction of gr bner bases using syzygies Journal of Symbolic Computation 6 2 3 345 359 1988 Ritt JF Di erential algebra number 33 in ams colloquium publications American Mathematical Society New York 1950 Trinks W Gr bner b buchbergers verfahren systeme algebraischer gleichungen zu l sen Journal of Number Theory 10 4 475 488 1978 ۴ Wang D Elimination methods wien 2001 ۴۵ ۴ ۴ ۵ Wang D On the connection between ritt characteristic sets and buchberger gr bner bases Mathematics in Computer Science 10 4 479 492 2016 ۶ Wu W Basic principles of mechanical theorem proving in elementary geometries Journal of Automated Reasoning 2 3 221 252 1986 ۶ Wu W On the decision problem and the mechanization of theorem proving in ele mentary geometry In Selected Works Of Wen Tsun Wu pp 117 138 World Scienti c 2008 ۶ ۵

امير هاشمي

مجيد گازر، رضا رضاييان