Dynamic construction of aglebraic closure and a coinductive proof of Hensel's lemma

Publicerad

Författare

Typ

Examensarbete för masterexamen
Master Thesis

Modellbyggare

Tidskriftstitel

ISSN

Volymtitel

Utgivare

Sammanfattning

In this thesis we present a dynamic construction of the algebraic closure of a zero characteristic field implemented in the functional programming language Haskell based on Duval’s dynamic evaluation method. We also present a complete formalization of the ring of formal power series. Based on that we present a coinductive proof Hensel’s lemma. As an application we present an implementation of Newton algorithm for factorization of polynomials with power series coefficients.

Beskrivning

Ämne/nyckelord

Datavetenskap (datalogi), Beräkningsmatematik, Computer Science, Computational Mathematics

Citation

Arkitekt (konstruktör)

Geografisk plats

Byggnad (typ)

Byggår

Modelltyp

Skala

Teknik / material

Index

item.page.endorsement

item.page.review

item.page.supplemented

item.page.referenced