SMP(컴퓨터 대수 체계
SMP (computer algebra system)보통 SMP라고 불리는 Symbolic Manipulation Program은 Chris A에 의해 설계된 컴퓨터 대수 체계였다. 1979년경 Caltech에서 Cole과 Stephen Wolfram을 만났죠.처음에는 Geoffrey C의 기고로 Caltech 물리학부에서 개발되었습니다. 폭스, 제프리 M. 그리프, 에릭 DMjolsness, Larry J. Romans, Timothy Show, andthony E.테라노.
SMP는 1981년 로스앤젤레스의 Computer Mathematics Corporation에 의해 상업적으로 처음 판매되었으며, 후에 Inference Corporation의 일부가 되었다.Inference는 프로그램을 더욱 발전시켜 1983년부터 1988년까지 상업적으로 판매하였으나 상업적 성공을 거두지 못하였고, Inference는 상징적 수학 프로그램 시장을 비관하게 되었고, SMP를 버리고 전문가 [1]시스템에 집중하였다.
SMP는 초기 컴퓨터 대수 시스템인 맥시마(Wolfram이 사용)와 스쿤칩(Woonschip, Wolfram이 [2][3]연구한 코드)의 영향을 받았다.
SMP는 규칙 기반의 접근방식을 따르며 "일관적이고 패턴 지향적인 언어"를 제공합니다.Macsyma와 Reduce와는 달리 [4]C로 작성되었습니다.
1980년대에는 Reduce, Macsyma, Scratchpad,[5] muMATH 및 Maple과 함께 일반적으로 이용 가능한 범용 컴퓨터 대수 시스템 중 하나였다.그것은 종종 대학 [6]미적분을 가르치기 위해 사용되었다.
SMP의 인터랙티브 언어 설계와 "맵" 명령어는 1984년 [7]Scratchpad 버전에 영향을 미쳤다.
비판
SMP는 다양한 특성, 특히 정확한 유리수 대신 부동소수점 숫자를 사용하는 것으로 인해 비판을 받아왔으며,[8] 이는 잘못된 결과를 초래할 수 있으며 다항식의 최대 공약수 계산에 [9]문제를 일으킨다.시스템의 초기 버전에서 발생한 다른 많은 문제는 이후 [10]버전에서 해결되었다고 합니다.
레퍼런스
- ^ "컴퓨터 수학: 더 잘할 수 있다", 이코노미스트 1989년 11월 4일 페이지 103
- ^ 마이클 스와인, "사이버 스페이스는 죽었는가?", 돕스 박사, 2005년 7월 1일
- ^ Wolfram, Stephen (21 January 2021). "Tini Veltman (1931–2021): From Assembly Language to a Nobel Prize". Wolfram Writings.
- ^ K.O. Geddes, S.R. Czapor, G. Labahn, 컴퓨터 대수 알고리즘, 1992, ISBN 0792392590, 페이지 8-9
- ^ C. Woff, D.Hodgkinson, muMATH: 마이크로컴퓨터 대수체계, 1987, ISBN 0127630708, 페이지 3
- ^ 도날드작아요, 존 M.호삭, "컴퓨터 대수 체계, 미적분 교육을 개혁하는 도구", 희박하고 활기찬 미적분을 향해, MAA 주석 6(1986) 페이지 143
- ^ 리처드 D.Jenks, "프라이머: 새로운 Scratchpad의 11가지 키", EUROSAM 84, 컴퓨터 사이언스 강의 노트 174 ISBN 354013350X 페이지 123-142
- ^ J.H. 데이븐포트, Y. 시렛, E.Tournier, 컴퓨터 대수학: 대수 계산을 위한 시스템 및 알고리즘, 1988, ISBN 0122042301, 페이지 61, 각주
- ^ 조엘 모세, "맥시마:개인 이력", Journal of Symbolic Computation 47:123-130 (2012년 2월) doi:10.1016/jsc.2010.08.018, 페이지 129
- ^ Richard J. Fateman, "SMP에 관한 코멘트", ACM SIGSAM Bulletin 19:3:5-7(1985년 8월) doi:10.1145/1089412
기타 소스
- 크리스 A. Cole, Stephen Wolfram, "SMP: A Symbolic Manipulation Program", 기호 및 대수 계산에 관한 제4회 ACM 심포지엄 진행(SIGSAM), 유타주 Snowbird, 1981. 전문.
- 스티븐 울프람과 크리스 A. Cole, SMP: A Symbolic Manipulation Program, Reference Manual, California Institute of Technology, 1981; Inference Corporation, 1983. 전문
- Stephen Wolfram, "기호 수학 계산", ACM 통신, 1985년 4월 (제28권, 제4호).일반적으로 들리는 제목에도 불구하고 SMP에 대한 소개에 초점을 맞추고 있습니다.이 기사의 온라인 버전
- J.M. 그리프, 지하에 있는 "SMP 패턴 매처"Caviness(편집자), EUROCAL 1985, 제2, pgs. 303-314, Springer-Verlag 컴퓨터 과학 강의 노트, No. 204, ISBN 3-540-15984-3 패턴 매처의 역량, 과제 및 설계 철학을 예로 들어 논의한다.
- SMP 매뉴얼 "SMP 핸드북"
- SMP 창설 역사에 관한 Stephen Wolfram의 블로그 투고
