{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:BV2N3ULKADCCUVHCBF4ECYLW64","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"3e6764e77bec2956df44157fa86b506cf2c2316df3c736a3bd482d750f55f321","cross_cats_sorted":["cs.NA","math-ph","math.MP","math.NA"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.MS","submitted_at":"2021-05-07T11:22:13Z","title_canon_sha256":"28c518615d635bff9fce2831b3bbcdc2e2bdc138dde808bb60661ea85b34e56f"},"schema_version":"1.0","source":{"id":"2105.11534","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2105.11534","created_at":"2026-07-05T02:42:53Z"},{"alias_kind":"arxiv_version","alias_value":"2105.11534v1","created_at":"2026-07-05T02:42:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2105.11534","created_at":"2026-07-05T02:42:53Z"},{"alias_kind":"pith_short_12","alias_value":"BV2N3ULKADCC","created_at":"2026-07-05T02:42:53Z"},{"alias_kind":"pith_short_16","alias_value":"BV2N3ULKADCCUVHC","created_at":"2026-07-05T02:42:53Z"},{"alias_kind":"pith_short_8","alias_value":"BV2N3ULK","created_at":"2026-07-05T02:42:53Z"}],"graph_snapshots":[{"event_id":"sha256:34dac596f4dceda4d12d2bf5c95a4f17715a9ef35cb3f703206576cf312fd0eb","target":"graph","created_at":"2026-07-05T02:42:53Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2105.11534/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Lie symmetry analysis provides a general theoretical framework for investigating ordinary and partial differential equations. The theory is completely algorithmic even if it usually involves lengthy computations. For this reason, many computer algebra packages have been developed along the years to automate the computation. In this paper, we describe the program ReLie, written in the Computer Algebra System Reduce, which since 2008 is an open source program (http://www.reduce-algebra.com) and is available for all platforms. \\relie is able to perform almost automatically the needed computations","authors_text":"Francesco Oliveri","cross_cats":["cs.NA","math-ph","math.MP","math.NA"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.MS","submitted_at":"2021-05-07T11:22:13Z","title":"ReLie: a Reduce program for Lie group analysis of differential equations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2105.11534","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:3f9426bf907e1dc174d6750e22037e39e412f1d2666a6a4a2cc65eb9b33d8960","target":"record","created_at":"2026-07-05T02:42:53Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"3e6764e77bec2956df44157fa86b506cf2c2316df3c736a3bd482d750f55f321","cross_cats_sorted":["cs.NA","math-ph","math.MP","math.NA"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.MS","submitted_at":"2021-05-07T11:22:13Z","title_canon_sha256":"28c518615d635bff9fce2831b3bbcdc2e2bdc138dde808bb60661ea85b34e56f"},"schema_version":"1.0","source":{"id":"2105.11534","kind":"arxiv","version":1}},"canonical_sha256":"0d74ddd16a00c42a54e20978416176f731481c4a3228b7b03b6a70fbd09b2b5b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0d74ddd16a00c42a54e20978416176f731481c4a3228b7b03b6a70fbd09b2b5b","first_computed_at":"2026-07-05T02:42:53.460716Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:42:53.460716Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"HZnRLpc+xKBHbqCfE5TuXqrs7FDb/aqEhQ88hT/jPTc3mnEk7XwIYkyTS2J6kKyyJCRhM3v3OCW6Vm4C8CEGAg==","signature_status":"signed_v1","signed_at":"2026-07-05T02:42:53.461341Z","signed_message":"canonical_sha256_bytes"},"source_id":"2105.11534","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3f9426bf907e1dc174d6750e22037e39e412f1d2666a6a4a2cc65eb9b33d8960","sha256:34dac596f4dceda4d12d2bf5c95a4f17715a9ef35cb3f703206576cf312fd0eb"],"state_sha256":"85f87d27b3cf080247dc686c7016cfce4cbd948a58fe4eb40770c391d2c285eb"}