FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W92973823> ?p ?o ?g. }

• W92973823 abstract "In this thesis we present a dynamic construction of the algebraic closure of azero characteristic field implemented in the functional programming language Haskellbased on Duval’s dynamic evaluation method. We also present a complete formalizationof the ring of formal power series. Based on that we present a coinductiveproof Hensel’s lemma. As an application we present an implementation of Newtonalgorithm for factorization of polynomials with power series coefficients." @default.
• W92973823 created "2016-06-24" @default.
• W92973823 creator A5020650323 @default.
• W92973823 date "2010-01-01" @default.
• W92973823 modified "2023-09-23" @default.
• W92973823 title "Dynamic construction of aglebraic closure and a coinductive proof of Hensel's lemma" @default.
• W92973823 hasPublicationYear "2010" @default.
• W92973823 type Work @default.
• W92973823 sameAs 92973823 @default.
• W92973823 citedByCount "0" @default.
• W92973823 crossrefType "dissertation" @default.
• W92973823 hasAuthorship W92973823A5020650323 @default.
• W92973823 hasConcept C108710211 @default.
• W92973823 hasConcept C134306372 @default.
• W92973823 hasConcept C136119220 @default.
• W92973823 hasConcept C143724316 @default.
• W92973823 hasConcept C146834321 @default.
• W92973823 hasConcept C151730666 @default.
• W92973823 hasConcept C151746172 @default.
• W92973823 hasConcept C162324750 @default.
• W92973823 hasConcept C178790620 @default.
• W92973823 hasConcept C182327082 @default.
• W92973823 hasConcept C185592680 @default.
• W92973823 hasConcept C186219872 @default.
• W92973823 hasConcept C18903297 @default.
• W92973823 hasConcept C199360897 @default.
• W92973823 hasConcept C202444582 @default.
• W92973823 hasConcept C2524010 @default.
• W92973823 hasConcept C2777759810 @default.
• W92973823 hasConcept C2780378348 @default.
• W92973823 hasConcept C2780624054 @default.
• W92973823 hasConcept C33923547 @default.
• W92973823 hasConcept C34447519 @default.
• W92973823 hasConcept C40220748 @default.
• W92973823 hasConcept C41008148 @default.
• W92973823 hasConcept C42383842 @default.
• W92973823 hasConcept C46757340 @default.
• W92973823 hasConcept C51544822 @default.
• W92973823 hasConcept C73905626 @default.
• W92973823 hasConcept C78045399 @default.
• W92973823 hasConcept C86803240 @default.
• W92973823 hasConcept C9376300 @default.
• W92973823 hasConcept C9652623 @default.
• W92973823 hasConceptScore W92973823C108710211 @default.
• W92973823 hasConceptScore W92973823C134306372 @default.
• W92973823 hasConceptScore W92973823C136119220 @default.
• W92973823 hasConceptScore W92973823C143724316 @default.
• W92973823 hasConceptScore W92973823C146834321 @default.
• W92973823 hasConceptScore W92973823C151730666 @default.
• W92973823 hasConceptScore W92973823C151746172 @default.
• W92973823 hasConceptScore W92973823C162324750 @default.
• W92973823 hasConceptScore W92973823C178790620 @default.
• W92973823 hasConceptScore W92973823C182327082 @default.
• W92973823 hasConceptScore W92973823C185592680 @default.
• W92973823 hasConceptScore W92973823C186219872 @default.
• W92973823 hasConceptScore W92973823C18903297 @default.
• W92973823 hasConceptScore W92973823C199360897 @default.
• W92973823 hasConceptScore W92973823C202444582 @default.
• W92973823 hasConceptScore W92973823C2524010 @default.
• W92973823 hasConceptScore W92973823C2777759810 @default.
• W92973823 hasConceptScore W92973823C2780378348 @default.
• W92973823 hasConceptScore W92973823C2780624054 @default.
• W92973823 hasConceptScore W92973823C33923547 @default.
• W92973823 hasConceptScore W92973823C34447519 @default.
• W92973823 hasConceptScore W92973823C40220748 @default.
• W92973823 hasConceptScore W92973823C41008148 @default.
• W92973823 hasConceptScore W92973823C42383842 @default.
• W92973823 hasConceptScore W92973823C46757340 @default.
• W92973823 hasConceptScore W92973823C51544822 @default.
• W92973823 hasConceptScore W92973823C73905626 @default.
• W92973823 hasConceptScore W92973823C78045399 @default.
• W92973823 hasConceptScore W92973823C86803240 @default.
• W92973823 hasConceptScore W92973823C9376300 @default.
• W92973823 hasConceptScore W92973823C9652623 @default.
• W92973823 hasLocation W929738231 @default.
• W92973823 hasOpenAccess W92973823 @default.
• W92973823 hasPrimaryLocation W929738231 @default.
• W92973823 hasRelatedWork W1483266313 @default.
• W92973823 hasRelatedWork W1501841307 @default.
• W92973823 hasRelatedWork W1503466517 @default.
• W92973823 hasRelatedWork W1519256419 @default.
• W92973823 hasRelatedWork W1527309160 @default.
• W92973823 hasRelatedWork W1536822759 @default.
• W92973823 hasRelatedWork W1553762530 @default.
• W92973823 hasRelatedWork W1585536033 @default.
• W92973823 hasRelatedWork W2010171977 @default.
• W92973823 hasRelatedWork W2027737519 @default.
• W92973823 hasRelatedWork W202861734 @default.
• W92973823 hasRelatedWork W2048291423 @default.
• W92973823 hasRelatedWork W2059353311 @default.
• W92973823 hasRelatedWork W2102502651 @default.
• W92973823 hasRelatedWork W2121484930 @default.
• W92973823 hasRelatedWork W2168281995 @default.
• W92973823 hasRelatedWork W2325034100 @default.
• W92973823 hasRelatedWork W2618311217 @default.
• W92973823 hasRelatedWork W2763423918 @default.
• W92973823 hasRelatedWork W294101617 @default.
• W92973823 isParatext "false" @default.
• W92973823 isRetracted "false" @default.
• W92973823 magId "92973823" @default.

• next