Scientific computing with automatic result verification / edited by E. Adams, U. Kulisch |
Autore | Kulisch, U. |
Pubbl/distr/stampa | San Diego : Academic Press, c1993 |
Descrizione fisica | X, 612 p. ; 24 cm |
Disciplina | 519.40285 |
Altri autori (Persone) | Adams, Ernst |
Collana | Mathematics in science and engineering |
Soggetto non controllato |
Algoritmi numerici
Calcolo parallelo Linguaggi di programmazione Enclosure methods World problems - Simulazione numerica Computabilita - Programmi |
ISBN | 0-12-044210-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001335010403321 |
Kulisch, U.
![]() |
||
San Diego : Academic Press, c1993 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
The restricted Burnside problem / Michael Vaughan-Lee |
Autore | Vaughan-Lee, Michael |
Edizione | [2nd ed.] |
Pubbl/distr/stampa | Oxford : Clarendon Press, 1993 |
Descrizione fisica | xiii, 256 p. ; 24 cm |
Disciplina | 512.2 |
Collana | London Mathematical Society monographs, New series |
Soggetto non controllato |
Teoria dei gruppi
Gruppi periodici Strutture associate di lie Presentazioni dei gruppi Anelli di lie associati con altre strutture Proprieta locali dei gruppi Gruppi nilpotenti finiti Gruppi non abeliani liberi Computabilita - Programmi Condizioni di engel |
ISBN | 0-19-853786-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001150560403321 |
Vaughan-Lee, Michael
![]() |
||
Oxford : Clarendon Press, 1993 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|