Vikipedio:Projekto matematiko/Komputila algebra sistemo
El Vikipedio
 |
Ĉi tiu artikolo montras stilajn aŭ/kaj gramatikajn aŭ/kaj strukturajn problemojn kaj bezonas poluradon por konformi al pli bona nivelo de kvalito. Post plibonigo movu la artikolon al Komputila algebra sistemo (eble la nomo mem bezonas korekton) Se la ligo estas ruĝa, vi povas movi la artikolon. Se la ligo estas blua, la alia artikolo pri la temo jam ekzistas kaj tiun kaj ĉi tiun artikolon necasas kunigi. |
komputila algebra sistemo (_CAS_) estas programara programo (tiu, ke, kiu) faciligas signa matematiko. La kerna funkciaro de _CAS_ estas rego de matematikaj esprimoj en signa (formo, formi).
Enhavo |
[redaktu] (Klavas, Tipoj) de esprimoj
La esprimoj manipulis per la _CAS_ tipe inkluzivi (polinomoj, polinomas) en multaj (variabloj, variablas); prafunkcioj de esprimoj (sinuso, eksponenta funkcio, kaj tiel plu); diversaj specialaj funkcioj (γ, ζ, _erf_, Bessel-a, kaj tiel plu); ajnaj funkcioj de esprimoj; derivaĵoj, integraloj, (sumoj, sumas), kaj (produktoj, produktas, produktaĵoj, produktaĵas, produtoj, produtas) de esprimoj; senpintigis serio kun esprimoj kiel koeficientoj, matricoj de esprimoj, kaj tiel plu. (Ĉi tiu estas rekursia difino.)
[redaktu] Signa (regoj, regas)
La signa (regoj, regas) subtanata tipe inkluzivi
- plisimpligo, inkluzivanta aŭtomata plisimpligo kaj plisimpligo kun (premisoj, supozoj, supozas)
- anstataŭo de signa aŭ (nombra (klavaro), nombra) (valoroj, valoras) por esprimoj
- ŝanĝi de (formo, formi) de esprimoj: elvolvanta (produktoj, produktas, produktaĵoj, produktaĵas, produtoj, produtas) kaj (potencoj, potencas, kardinaloj, kardinalas, povoj, povas), reverkado kiel partaj frakcioj, reverkadaj trigonometriaj funkcioj kiel (eksponentoj, eksponentas, eksponentaj funkcioj), kaj tiel plu
- diferencialado kun respekto al unu aŭ ĉiuj (variabloj, variablas)
- signa limigis kaj _unconstrained_ malloka optimumigo
- parta kaj plena faktorigo
- solvaĵo de lineara kaj iuj ne-linearaj ekvacioj super diversaj domajnoj
- solvaĵo de iu diferencialo kaj diferencaj ekvacioj
- prenante iuj limigoj
- iu nedefinita kaj definitiva integralado, inkluzivantaj multdimensiaj integraloj
- integralaj konvertoj
- elvolvaĵo kiel senpintigis Taylor, _Laurent_ kaj _Puiseux_ serio
- iu malfinia seria elvolvaĵo
- iu seria sumado
- matrico (operacioj, operacias) inkluzivanta (produktoj, produktas, produktaĵoj, produktaĵas, produtoj, produtas), (inversoj, inversas), kaj tiel plu
- elmontri de matematikaj esprimoj en du-dimensia matematika (formo, formi), ofte uzantaj kompostantaj sistemoj simila al TeX (vidi ankaŭ _Prettyprint_)
(En la pli supre, la vorto iu indikas (tiu, ke, kiu) la operacio ne povas ĉiam esti (aperita, plenumita).)
[redaktu] Alia (esprimiloj, esprimas)
Aldone, plej _CASs_ inkluzivi (nombra (klavaro), nombra) (operacioj, operacias):
- (komputanta, pritaksanta) por aparta (nombra (klavaro), nombra) (valoroj, valoras)
- (komputanta, pritaksanta) al alta precizeco (_bignum_ aritmetiko), permesanta ekzemple la pritakso de 21/3 al 10,000 (ciferoj, ciferas)
- (nombra (klavaro), nombra) lineara algebro
- grafike prezentanta (grafikaĵoj, grafeoj) kaj parametraj grafikaj prezentoj de funkcioj en du kaj tri (dimensioj, dimensias)
Multaj ankaŭ inkluzivi alta nivela programlingvo, permesanta (uzantoj, uzantas) al realigi ilia posedi (algoritmoj, algoritmas).
La studi de (algoritmoj, algoritmas) utila por komputilaj algebraj sistemoj estas sciata kiel komputila algebro.
La rultempa de cifereca programoj realigis en komputilaj algebraj sistemoj estas normale pli longa ol (tiu, ke, kiu) de ekvivalentaj programoj realigis en sistemoj kiel _MATLAB_, GNU _Octave_, aŭ rekte en C, ekde ili estas programita por plena signa universaleco kaj tial ne povas uzi maŝino cifereca (operacioj, operacias) rekte por la plejparto de iliaj funkcioj.
[redaktu] Historio
Komputilaj algebraj sistemoj komencita al aperi en la frua 1970-aj jaroj, kaj evoluis el esplori enen (artefarita inteligenteco, artefarita intelekto), kvankam la kampoj estas nun estimis kiel grande apartigi. La unuaj popularaj sistemoj estis Redukti, Derivi, kaj _Macsyma_ kiu estas ankoraŭ komerce havebla; _copyleft_ versio de _Macsyma_ (nomita, vokis) _Maxima_ estas aktive estante flegita. La aktuala merkato (korifeoj, korifeas, estroj, estras) estas Acero kaj Mathematica; ambaŭ estas kutime uzita per esplori (matematikistoj, matematikistas), (sciencistoj, sciencistas), kaj (inĝenieroj, inĝenieras). _MuPAD_ estas komerca sistemo ankaŭ. Iu komputila algebra sistema fokuso sur specifa areo de apliko; ĉi tiuj estas tipe ellaborita en _academia_ kaj libera.
[redaktu] Matematiko uzita en komputilaj algebraj sistemoj
- Signa integralado
- _Gröbner_ bazo
- Plej granda komuna divizoro
- Polinoma faktorigo
[redaktu] Vidi ankaŭ
- Listo de komputilaj algebraj sistemoj
- Komparo de komputilaj algebraj sistemoj
[redaktu] Referencoj
- _Richard_ J. _Fateman_. "(Eseoj, Eseas) en algebra plisimpligo". Teknika raporto _MIT_-_LCS_-Tr-095, 1972. (De historia (interezo, interesi) en montranta la direkto de esplori en komputila algebro. Je la _MIT_ _LCS_ (tTT-paĝaro, tTT-ejo): [1])
