{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:SD5JHIDHEWR5K2RYHTYXHNAD3V","short_pith_number":"pith:SD5JHIDH","schema_version":"1.0","canonical_sha256":"90fa93a06725a3d56a383cf173b403dd5f4706002151429710ec3151cd55823a","source":{"kind":"arxiv","id":"1403.5664","version":1},"attestation_state":"computed","paper":{"title":"Automatic Proofs of Asymptotic ABNORMALITY (and much more!) of Natural Statistics Defined on Catalan-Counted Combinatorial Families","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Doron Zeilberger, Shalosh B. Ekhad","submitted_at":"2014-03-22T14:01:07Z","abstract_excerpt":"In this case-study in computer-human collaboration, we develop, implement, and execute symbolic-computational algorithms for the automatic discovery and proof of explicit expressions for the expectation, variance, and higher moments of a large class of natural combinatorial statistics defined on Catalan-counted objects, enabling, inter-alia, to prove that they are not asymptotically normal. In particular, we reproduce in 0.12 seconds results of Miklos Bona, and derive far deeper results, way beyond the scope of humans, concerning higher moments of the random variable \"number of occurrences of "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1403.5664","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2014-03-22T14:01:07Z","cross_cats_sorted":[],"title_canon_sha256":"111108f1203f5b8cbd3a0bf58bcb4392c24e04d7822a7461e5b692cf4a4ee1f7","abstract_canon_sha256":"77e1f306e234ab8533a9a2aa88d6ac71522387ab4651fcb91d87b4afd4523bae"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:55:49.199100Z","signature_b64":"k5JcDTBbyrwNquux+8KPPkSKwtMo1BfbTWVw6a060M0it+oFoFAFmmYk8jLy4ITKJM6ybj6k7bYauAAbkzOnDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"90fa93a06725a3d56a383cf173b403dd5f4706002151429710ec3151cd55823a","last_reissued_at":"2026-05-18T02:55:49.198511Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:55:49.198511Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Automatic Proofs of Asymptotic ABNORMALITY (and much more!) of Natural Statistics Defined on Catalan-Counted Combinatorial Families","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Doron Zeilberger, Shalosh B. Ekhad","submitted_at":"2014-03-22T14:01:07Z","abstract_excerpt":"In this case-study in computer-human collaboration, we develop, implement, and execute symbolic-computational algorithms for the automatic discovery and proof of explicit expressions for the expectation, variance, and higher moments of a large class of natural combinatorial statistics defined on Catalan-counted objects, enabling, inter-alia, to prove that they are not asymptotically normal. In particular, we reproduce in 0.12 seconds results of Miklos Bona, and derive far deeper results, way beyond the scope of humans, concerning higher moments of the random variable \"number of occurrences of "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.5664","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1403.5664","created_at":"2026-05-18T02:55:49.198600+00:00"},{"alias_kind":"arxiv_version","alias_value":"1403.5664v1","created_at":"2026-05-18T02:55:49.198600+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.5664","created_at":"2026-05-18T02:55:49.198600+00:00"},{"alias_kind":"pith_short_12","alias_value":"SD5JHIDHEWR5","created_at":"2026-05-18T12:28:49.207871+00:00"},{"alias_kind":"pith_short_16","alias_value":"SD5JHIDHEWR5K2RY","created_at":"2026-05-18T12:28:49.207871+00:00"},{"alias_kind":"pith_short_8","alias_value":"SD5JHIDH","created_at":"2026-05-18T12:28:49.207871+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/SD5JHIDHEWR5K2RYHTYXHNAD3V","json":"https://pith.science/pith/SD5JHIDHEWR5K2RYHTYXHNAD3V.json","graph_json":"https://pith.science/api/pith-number/SD5JHIDHEWR5K2RYHTYXHNAD3V/graph.json","events_json":"https://pith.science/api/pith-number/SD5JHIDHEWR5K2RYHTYXHNAD3V/events.json","paper":"https://pith.science/paper/SD5JHIDH"},"agent_actions":{"view_html":"https://pith.science/pith/SD5JHIDHEWR5K2RYHTYXHNAD3V","download_json":"https://pith.science/pith/SD5JHIDHEWR5K2RYHTYXHNAD3V.json","view_paper":"https://pith.science/paper/SD5JHIDH","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1403.5664&json=true","fetch_graph":"https://pith.science/api/pith-number/SD5JHIDHEWR5K2RYHTYXHNAD3V/graph.json","fetch_events":"https://pith.science/api/pith-number/SD5JHIDHEWR5K2RYHTYXHNAD3V/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/SD5JHIDHEWR5K2RYHTYXHNAD3V/action/timestamp_anchor","attest_storage":"https://pith.science/pith/SD5JHIDHEWR5K2RYHTYXHNAD3V/action/storage_attestation","attest_author":"https://pith.science/pith/SD5JHIDHEWR5K2RYHTYXHNAD3V/action/author_attestation","sign_citation":"https://pith.science/pith/SD5JHIDHEWR5K2RYHTYXHNAD3V/action/citation_signature","submit_replication":"https://pith.science/pith/SD5JHIDHEWR5K2RYHTYXHNAD3V/action/replication_record"}},"created_at":"2026-05-18T02:55:49.198600+00:00","updated_at":"2026-05-18T02:55:49.198600+00:00"}