컴퓨터 대수 시스템 소개? [닫은

Question

컴퓨터 대수 시스템의 일반적인 이론에 대한 자원 (서적, 수업, 강의 노트 등)에 대해 아는 사람이 있습니까? 수학, 심피)?

"입문"자료가 선호되지만, 그러한 전문 주제를 사용하면 상당히 발전해야한다는 것을 알고 있습니다.

Answer 1

CAS의 "일반 이론"은 질문의 상당한 범위입니다. 즉, 나는 당신이 찾고있는 것을 찾는 데 도움이되기를 희망하면서 가능한 한 최선을 다하겠습니다 :)

ISSAC 및 SIGSAM 그룹의 절차는 CAS 시스템을 구축하는 기술에 대한 좋은 것들을 가질 것입니다. CAS 빌딩의 일반 영역에있는 다양한 주제 목록은 다음과 같습니다. http://www.cs.berkeley.edu/~fateman/algebra.html

관련된 수학의 일부를 코딩하는 방법에 대한 정보를 더 찾고 있다면 "수치 레시피"시리즈의 팬입니다. 광범위한 주제에서 샘플 코드와 수학에 대한 합리적으로 괜찮은 설명을 제공합니다. 마지막으로, 책의 오래된 개정판의 온라인 버전이 여기에서 제공되었습니다. http://www.nrbook.com/a/bookcpdf.php (이것은 책의 "C"형태의 "수치 레시피"이며 다른 언어로 된 버전도 있습니다).

Kajler와 Safir의 일반적으로 CAS를 구축하려면 "공동 작업 도구를 구성하여 컴퓨터 대수 환경을 구축"할 수 있습니다. 확인할 수있는 또 다른 장소는 여기에 있습니다. http://www.math.wpi.edu/iqp/bvcalchist/calc5.html 몇몇 사람들이 CAS를 구현 한 방법에 대한 높은 수준의 설명이 나열되어 있습니다.

당신이 시도 할 수있는 또 다른 것은 존재하는 몇 가지 오픈 소스 CAS 프로젝트에 대한 코드를 다이빙하는 것입니다 : Yacas (또 다른 컴퓨터 대수 시스템 : Java), Axiom 등. 나는 여기서 목록을 좋아합니다. http://en.wikipedia.org/wiki/list_of_computer_algebra_systems

거기에 무언가가 유용하기를 바랍니다!

Answer 2

기본 사항은 멋지게 덮여 있습니다 PAIP; 소스 코드는입니다 무료 온라인 - 특히 'macsyma'가있는 소스 파일을 참조하십시오. 주제에는 재 작성 규칙 시스템, 표준 형태를 사용한 단순화, 통합 및 차별화, 속도에 대한 재 작성 규칙을 컴파일하고 메모하는 것이 포함됩니다.

Answer 3

Ko Geddes의 컴퓨터 대수에 대한 알고리즘을 발견했습니다. 나는 OpenAxiom (CAS)에서 일하는 가벼운 수학 배경을 가진 주니어 학부입니다. 그래도 무겁고 무거운 수학을 준비하십시오. 내 최선의 조언은 "고착 된"경우 다른 관점을 갖는 경우 몇 권의 책을 갖는 것입니다.

보고있는 내용, 관심있는 영역 등을 제안하면 도움이 될 수 있습니다.

Answer 4

Wikipedia의 링크는 다음과 같습니다. 컴퓨터 대수 시스템
그리고 또 다른 것 : http://www.math.wpi.edu/iqp/bvcalchist/calc5.html

Answer 5

다음은 컴퓨터 대수 시스템 구현에 사용되는 알고리즘을 설명하는 두 권의 책입니다.

컴퓨터 대수 및 기호 계산 : 기본 알고리즘

컴퓨터 대수 및 기호 계산 : 수학적 방법

이 책을 사용하여 컴퓨터 대수를위한 라이브러리를 구현했습니다.MPL) 및 C# (상징주의).

Answer 6

당신은 언급합니다 심피 당신의 질문에서 나는 그것을 간단히 말할 것입니다.

Sympy의 프로젝트와 커뮤니티는 실제로 매우 좋은 자원입니다.

1. 정기적으로 확인하고 응답하는 다양한 전문 지식이 있습니다. 메일 링리스트.
2. 코드를 공개적으로 사용할 수 있습니다 Github에서.
3. 그만큼 선적 서류 비치 상당히 완전하고 종종 학업 인용이 포함됩니다.

Cass에 관심이 있으시면 기고자들은 자신이 작업하는 것에 대해 이야기하는 것을 좋아합니다. 관심이 있으시면 시작하기 쉽습니다 자신의 기여를 추가하십시오.