مقدمة لأنظمة الجبر الحاسوبية؟[مغلق]

Question

هل يعرف أي شخص أي موارد (كتب أو دروس أو مذكرات محاضرات أو أي شيء) حول النظرية العامة لأنظمة الجبر الحاسوبية (على سبيل المثال؟ الرياضيات, سيمبي)?

يُفضل المواد "التمهيدية"، لكنني أدرك أنه مع مثل هذا الموضوع المتخصص، لا بد أن يكون أي شيء متقدمًا إلى حد ما.

Answer 1

و"النظرية العامة" من CAS هو نطاق ضخم جدا بالنسبة لمسألة. أن يقال، وسوف أبذل قصارى جهدي لتغطية أكبر قدر ما أستطيع على أمل أن شيئا يساعدك على العثور على ما تبحث عنه:)

ووقائع إسحاق والجماعات SIGSAM سيكون له بلا شك بعض الأشياء الجيدة حول تقنيات لبناء نظم CAS. قائمة من الموضوعات المختلفة في المنطقة العامة للبناء CAS متاحة هنا: HTTP: // www.cs.berkeley.edu/~fateman/algebra.html

إذا كنت أكثر تبحث عن معلومات عن كيفية رمز بعض الرياضيات المعنية، أنا من محبي مسلسل "العددية وصفات". أنه يوفر نموذج التعليمات البرمجية وشرحا لائق بشكل معقول الرياضيات في مجموعة واسعة من المواضيع. راجعت الماضي، وهي النسخة الإلكترونية من مراجعة قديمة من الكتاب هو متاح هنا: HTTP: // شبكة الاتصالات العالمية .nrbook.com / أ / bookcpdf.php (لاحظ أن هذا هو "العددية وصفات في C" شكل الكتاب، وهناك إصدارات بلغات أخرى أيضا)

.

لبناء CAS بشكل عام، مكان واحد لبدء قد يكون هنا: "بناء بيئة الجبر جهاز الكمبيوتر عن طريق تكوين الأدوات التعاونية" التي Kajler والسفير. مكان آخر قد تحقق هنا هو: http://www.math.wpi.edu /IQP/BVCalcHist/calc5.html حيث يتم سرد وصفا رفيع المستوى لكيفية تنفيذ عدد قليل من الناس على CAS.

والشيء الآخر قد حاول هو الغوص في التعليمات البرمجية لعدد قليل من المشاريع CAS مفتوحة المصدر التي موجودة: YACAS (ومع نظام الجبر كمبيوتر آخر: جافا)، اكسيوم، وما أنا أحب قائمة هنا: <أ href ل = "http://en.wikipedia.org/wiki/List_of_computer_algebra_systems" يختلط = "noreferrer"> http://en.wikipedia.org/wiki/List_of_computer_algebra_systems

كان

والأمل شيء هناك فائدة!

Answer 2

ووتغطي أساسيات لطيف في PAIP . شفرة المصدر هو href="http://norvig.com/paip/" - رؤية خاصة الملفات المصدر مع "macsyma" في الاسم. وتشمل المواضيع كتابة القاعدة النظم، وتبسيط باستخدام أشكال متعارف عليها، والتكامل والتفاضل، وتجميع وmemoizing قواعد إعادة الكتابة للسرعة.

Answer 3

الخوارزميات

ولقد وجدت لالجبر الكمبيوتر K.O. جيديز ... ليكون من المفيد جدا. أنا الجامعي صغار مع خلفية الرياضيات الخفيفة القيام بأعمال على OpenAxiom (أ CAS). الاستعداد لبعض الثقيلة الرياضيات، والثقيلة على الرغم من أفضل نصيحتي هي أن يكون لها الكتب الزوجين إلا إذا كان لديك وجهة نظر مختلفة إذا كنت تحصل على "عالقة".

ويمكن أن يساعد إذا كنت أقترح ما كنت تبحث في، ما هي المجالات التي تهتم بها، وما إلى ذلك.

Answer 4

وهنا وصلة واحدة من ويكيبيديا: الحاسوب الجبر أنظمة
وآخر هنا: http://www.math.wpi.edu/IQP/ BVCalcHist / calc5.html

Answer 5

وهنا نوعان من الكتب التي تصف الخوارزميات المستخدمة لتنفيذ أنظمة الجبر الكمبيوتر:

الحاسوب الجبر والحساب الرمزي: الابتدائية الخوارزميات

الحاسوب الجبر والحساب الرمزي: طرق الرياضية

ولقد استخدمت هذه الكتب لتنفيذ مكتبات الجبر الكمبيوتر في برنامج ( MPL ) وC # (<ل أ href = "https://github.com/dharmatech/Symbolism" يختلط = "نوفولو"> رمزية ).

Answer 6

ذكرت SymPy في سؤالك لذلك سأتحدث عن ذلك باختصار.

يعد مشروع ومجتمع SymPy في حد ذاته موارد جيدة جدًا.

1. هناك مجموعة متنوعة من الخبرات التي تقوم بالفحص والاستجابة بانتظام القائمة البريدية.
2. الرمز متاح بشكل علني على جيثب.
3. ال توثيق كامل إلى حد ما وغالباً ما يتضمن الاستشهادات الأكاديمية.

إذا كنت مهتمًا بـ CAS، تفضل بالزيارة.يحب المساهمون التحدث عما يعملون عليه.إذا كنت مهتما فهو من السهل البدء وأضف مساهماتك الخاصة.