L'a. n. è una branca della matematica che si occupa di individuare, analizzare e implementare algoritmi per la risoluzione approssimata di problemi matematici in genere, che possono scaturire da pure speculazioni, [...] difattorizzazione, sfruttano la struttura di M, non solo per ridurre i tempi di calcolo, ma anche per economizzare memoria. Per matrici teorico di tutte le suddette tecniche di calcolo, ha il concetto di condizionamento diunamatrice. Le matrici che ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] esso afferma che la fattorizzazionedi un intero è di numeri. L'interpretazione diuna parola su 0 e 1 come sviluppo di un intero in base 2 è un esempio di funzione di questo tipo. Essa si può calcolare come l'elemento in alto a destra della matrice ...
Leggi Tutto
Computazionali, metodi
Alfio Quarteroni
I metodi computazionali permettono di risolvere con i computer, nell'ambito delle scienze applicate, problemi complessi formulabili tramite il linguaggio della [...] di effettuare diverse centinaia di miliardi di operazioni al secondo. Algoritmi numerici efficienti, quali l'algoritmo difattorizzazionedi Gauss, o algoritmi iterativi in sottospazi di numero di condizionamento della matrice (se A è unamatrice ...
Leggi Tutto