home.social

#quantifier — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #quantifier, aggregated by home.social.

  1. Hacker News @[email protected] ·

    Slaughtering Competition Problems with Quantifier Elimination

    grossack.site/2021/12/22/qe-co

    #HackerNews #Slaughtering #Competition #Problems #with #Quantifier #Elimination #competition #problems #quantifier #elimination #HackerNews #tech #blog #mathematics

    #hackernews #slaughtering #competition #problems #with #quantifier
  2. Hacker News @[email protected] ·

    Slaughtering Competition Problems with Quantifier Elimination

    grossack.site/2021/12/22/qe-co

    #HackerNews #Slaughtering #Competition #Problems #with #Quantifier #Elimination #competition #problems #quantifier #elimination #HackerNews #tech #blog #mathematics

    #hackernews #slaughtering #competition #problems #with #quantifier
  3. Hacker News @[email protected] ·

    Slaughtering Competition Problems with Quantifier Elimination

    grossack.site/2021/12/22/qe-co

    #HackerNews #Slaughtering #Competition #Problems #with #Quantifier #Elimination #competition #problems #quantifier #elimination #HackerNews #tech #blog #mathematics

    #hackernews #slaughtering #competition #problems #with #quantifier
  4. Hacker News @[email protected] ·

    Slaughtering Competition Problems with Quantifier Elimination

    grossack.site/2021/12/22/qe-co

    #HackerNews #Slaughtering #Competition #Problems #with #Quantifier #Elimination #competition #problems #quantifier #elimination #HackerNews #tech #blog #mathematics

    #mathematics #blog #tech #elimination #quantifier #with
  5. Hacker News @[email protected] ·

    Slaughtering Competition Problems with Quantifier Elimination

    grossack.site/2021/12/22/qe-co

    #HackerNews #Slaughtering #Competition #Problems #with #Quantifier #Elimination #competition #problems #quantifier #elimination #HackerNews #tech #blog #mathematics

    #hackernews #slaughtering #competition #problems #with #quantifier
  6. El Pregoner del Metall @[email protected] ·

    QUANTIFIER (Estats Units) presenta nou EP: "At Entropy's Crest, the Jester's Palimpsest" #Quantifier #ProgressiveSludgeMetal #Setembre2025 #EstatsUnits #NouEp #Metall #Metal #MúsicaMetal #MetalMusic

    #quantifier #progressivesludgemetal #setembre2025 #estatsunits #nouep #metall
  7. dorotaC @dcz ·

    Let S denote all mathematical symbols.

    ⋁ a symbol x ∈ S which has a nonzero set of worse alternatives f(x) = {x'}.

    Lemma:
    f("⋀") = {"∀"}
    and
    f("⋁") = {"∃"}

    ⋀ person who uses ∀∃, I say take a hike, ⋀⋁ forever! ∎

    #mathematics #universal #existential #quantifier #symbol #notation