Matches in SemOpenAlex for { <https://semopenalex.org/work/W2354880212> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2354880212 abstract "We describe the formalization of some of the basics of complex analysis in the HOL Light theorem prover. Besides being a beautiful area of mathematics, this has many potential applications, e.g. in analytic num- ber theory. We have endeavoured to set up the kind of general analytic machinery that would make such applications feasible." @default.
- W2354880212 created "2016-06-24" @default.
- W2354880212 creator A5010440892 @default.
- W2354880212 date "2007-01-01" @default.
- W2354880212 modified "2023-09-27" @default.
- W2354880212 title "Formalizing Basic Complex Analysis Dedicated to Andrzej Trybulec on the occasion of his 65th birthday" @default.
- W2354880212 cites W1488189293 @default.
- W2354880212 cites W1490130417 @default.
- W2354880212 cites W1521083034 @default.
- W2354880212 cites W1527970981 @default.
- W2354880212 cites W1601195943 @default.
- W2354880212 cites W2000062667 @default.
- W2354880212 cites W2106192381 @default.
- W2354880212 cites W2324070114 @default.
- W2354880212 cites W2603117602 @default.
- W2354880212 cites W2913795799 @default.
- W2354880212 cites W2955491277 @default.
- W2354880212 cites W2786940281 @default.
- W2354880212 hasPublicationYear "2007" @default.
- W2354880212 type Work @default.
- W2354880212 sameAs 2354880212 @default.
- W2354880212 citedByCount "0" @default.
- W2354880212 crossrefType "journal-article" @default.
- W2354880212 hasAuthorship W2354880212A5010440892 @default.
- W2354880212 hasConcept C118615104 @default.
- W2354880212 hasConcept C136119220 @default.
- W2354880212 hasConcept C17435882 @default.
- W2354880212 hasConcept C177264268 @default.
- W2354880212 hasConcept C1911482 @default.
- W2354880212 hasConcept C199343813 @default.
- W2354880212 hasConcept C199360897 @default.
- W2354880212 hasConcept C202444582 @default.
- W2354880212 hasConcept C206880738 @default.
- W2354880212 hasConcept C2777686260 @default.
- W2354880212 hasConcept C33923547 @default.
- W2354880212 hasConcept C41008148 @default.
- W2354880212 hasConcept C71924100 @default.
- W2354880212 hasConceptScore W2354880212C118615104 @default.
- W2354880212 hasConceptScore W2354880212C136119220 @default.
- W2354880212 hasConceptScore W2354880212C17435882 @default.
- W2354880212 hasConceptScore W2354880212C177264268 @default.
- W2354880212 hasConceptScore W2354880212C1911482 @default.
- W2354880212 hasConceptScore W2354880212C199343813 @default.
- W2354880212 hasConceptScore W2354880212C199360897 @default.
- W2354880212 hasConceptScore W2354880212C202444582 @default.
- W2354880212 hasConceptScore W2354880212C206880738 @default.
- W2354880212 hasConceptScore W2354880212C2777686260 @default.
- W2354880212 hasConceptScore W2354880212C33923547 @default.
- W2354880212 hasConceptScore W2354880212C41008148 @default.
- W2354880212 hasConceptScore W2354880212C71924100 @default.
- W2354880212 hasLocation W23548802121 @default.
- W2354880212 hasOpenAccess W2354880212 @default.
- W2354880212 hasPrimaryLocation W23548802121 @default.
- W2354880212 hasRelatedWork W1566028218 @default.
- W2354880212 hasRelatedWork W1578523569 @default.
- W2354880212 hasRelatedWork W1603355887 @default.
- W2354880212 hasRelatedWork W1875211736 @default.
- W2354880212 hasRelatedWork W1987665989 @default.
- W2354880212 hasRelatedWork W1988004808 @default.
- W2354880212 hasRelatedWork W2003149186 @default.
- W2354880212 hasRelatedWork W2054944661 @default.
- W2354880212 hasRelatedWork W2112250621 @default.
- W2354880212 hasRelatedWork W2134673041 @default.
- W2354880212 hasRelatedWork W2163734666 @default.
- W2354880212 hasRelatedWork W2168004337 @default.
- W2354880212 hasRelatedWork W2329596566 @default.
- W2354880212 hasRelatedWork W2502661841 @default.
- W2354880212 hasRelatedWork W2574174920 @default.
- W2354880212 hasRelatedWork W2795444139 @default.
- W2354880212 hasRelatedWork W2963991919 @default.
- W2354880212 hasRelatedWork W3157697481 @default.
- W2354880212 hasRelatedWork W351441453 @default.
- W2354880212 hasRelatedWork W641573107 @default.
- W2354880212 isParatext "false" @default.
- W2354880212 isRetracted "false" @default.
- W2354880212 magId "2354880212" @default.
- W2354880212 workType "article" @default.