Matches in SemOpenAlex for { <https://semopenalex.org/work/W1530465397> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W1530465397 abstract "Why bother with fully proofs when one can very quickly get semi-rigorous ones? Yes, yes, we know how to get a rigorous proof of the result stated in the title of this article. One way is the boring, human one, citing some heavy guns of theorems that already exist in the literature. We also know how to get a fully proof automatically, using the methods in this this http URL neat article (but it would be a little more complicated, since the probability generating polynomial is not closed form but satisfies a second-order recurrence gotten from the Zeilberger algorithm), otherwise the same method would work, alas, it is not yet implemented. Instead, we chose to use the great Maple package this http URL>HISTABRUT(in fact, a very tiny part of it, procedure AlphaSeq), explained in this other this http URL>neat article, and get a semi-rigorous proof. We also needed the nice little Maple package this http URL>GuessRat, to do the guessing of rational functions. Equipped with these two packages, Zeilberger wrote a short Maple program this http URL>SameSexMarriages that enabled the author to generate this paper." @default.
- W1530465397 created "2016-06-24" @default.
- W1530465397 creator A5015661806 @default.
- W1530465397 date "2011-06-28" @default.
- W1530465397 modified "2023-09-27" @default.
- W1530465397 title "The Number of Same-Sex Marriages in a Perfectly Bisexual Population is Asymptotically Normal" @default.
- W1530465397 cites W1613416082 @default.
- W1530465397 cites W1903385396 @default.
- W1530465397 cites W1969719825 @default.
- W1530465397 cites W2056111563 @default.
- W1530465397 hasPublicationYear "2011" @default.
- W1530465397 type Work @default.
- W1530465397 sameAs 1530465397 @default.
- W1530465397 citedByCount "0" @default.
- W1530465397 crossrefType "posted-content" @default.
- W1530465397 hasAuthorship W1530465397A5015661806 @default.
- W1530465397 hasConcept C10138342 @default.
- W1530465397 hasConcept C108710211 @default.
- W1530465397 hasConcept C136119220 @default.
- W1530465397 hasConcept C144024400 @default.
- W1530465397 hasConcept C144237770 @default.
- W1530465397 hasConcept C149923435 @default.
- W1530465397 hasConcept C154945302 @default.
- W1530465397 hasConcept C162324750 @default.
- W1530465397 hasConcept C182306322 @default.
- W1530465397 hasConcept C199343813 @default.
- W1530465397 hasConcept C202444582 @default.
- W1530465397 hasConcept C2524010 @default.
- W1530465397 hasConcept C2777212361 @default.
- W1530465397 hasConcept C2777686260 @default.
- W1530465397 hasConcept C2780414537 @default.
- W1530465397 hasConcept C2908647359 @default.
- W1530465397 hasConcept C33923547 @default.
- W1530465397 hasConcept C41008148 @default.
- W1530465397 hasConcept C59822182 @default.
- W1530465397 hasConcept C71924100 @default.
- W1530465397 hasConcept C86803240 @default.
- W1530465397 hasConceptScore W1530465397C10138342 @default.
- W1530465397 hasConceptScore W1530465397C108710211 @default.
- W1530465397 hasConceptScore W1530465397C136119220 @default.
- W1530465397 hasConceptScore W1530465397C144024400 @default.
- W1530465397 hasConceptScore W1530465397C144237770 @default.
- W1530465397 hasConceptScore W1530465397C149923435 @default.
- W1530465397 hasConceptScore W1530465397C154945302 @default.
- W1530465397 hasConceptScore W1530465397C162324750 @default.
- W1530465397 hasConceptScore W1530465397C182306322 @default.
- W1530465397 hasConceptScore W1530465397C199343813 @default.
- W1530465397 hasConceptScore W1530465397C202444582 @default.
- W1530465397 hasConceptScore W1530465397C2524010 @default.
- W1530465397 hasConceptScore W1530465397C2777212361 @default.
- W1530465397 hasConceptScore W1530465397C2777686260 @default.
- W1530465397 hasConceptScore W1530465397C2780414537 @default.
- W1530465397 hasConceptScore W1530465397C2908647359 @default.
- W1530465397 hasConceptScore W1530465397C33923547 @default.
- W1530465397 hasConceptScore W1530465397C41008148 @default.
- W1530465397 hasConceptScore W1530465397C59822182 @default.
- W1530465397 hasConceptScore W1530465397C71924100 @default.
- W1530465397 hasConceptScore W1530465397C86803240 @default.
- W1530465397 hasLocation W15304653971 @default.
- W1530465397 hasOpenAccess W1530465397 @default.
- W1530465397 hasPrimaryLocation W15304653971 @default.
- W1530465397 hasRelatedWork W1482089168 @default.
- W1530465397 hasRelatedWork W1553601514 @default.
- W1530465397 hasRelatedWork W1635329291 @default.
- W1530465397 hasRelatedWork W1885095005 @default.
- W1530465397 hasRelatedWork W1918661870 @default.
- W1530465397 hasRelatedWork W1975645098 @default.
- W1530465397 hasRelatedWork W1996733670 @default.
- W1530465397 hasRelatedWork W2045664183 @default.
- W1530465397 hasRelatedWork W2076736123 @default.
- W1530465397 hasRelatedWork W2077130435 @default.
- W1530465397 hasRelatedWork W2115572350 @default.
- W1530465397 hasRelatedWork W2147285772 @default.
- W1530465397 hasRelatedWork W2331554159 @default.
- W1530465397 hasRelatedWork W2334313228 @default.
- W1530465397 hasRelatedWork W2375476874 @default.
- W1530465397 hasRelatedWork W2621163249 @default.
- W1530465397 hasRelatedWork W2736598797 @default.
- W1530465397 hasRelatedWork W28036430 @default.
- W1530465397 hasRelatedWork W2949201267 @default.
- W1530465397 hasRelatedWork W3140862644 @default.
- W1530465397 isParatext "false" @default.
- W1530465397 isRetracted "false" @default.
- W1530465397 magId "1530465397" @default.
- W1530465397 workType "article" @default.