{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2005:UZ4HAEAS4JMCFHZPJMV27FSSMF","short_pith_number":"pith:UZ4HAEAS","canonical_record":{"source":{"id":"math/0509140","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"math.OC","submitted_at":"2005-09-07T00:56:52Z","cross_cats_sorted":["math-ph","math.MP"],"title_canon_sha256":"a32c28bb2ab45d1d69a769ffc0bbc92593d01ea2a062cbe86adb64dd005590a2","abstract_canon_sha256":"52b1cf525c364bec6527fde33359197a59abfda7952697505a413365425ca195"},"schema_version":"1.0"},"canonical_sha256":"a678701012e258229f2f4b2baf96526145b35668bcd307f9e5fa1460845d21ee","source":{"kind":"arxiv","id":"math/0509140","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"math/0509140","created_at":"2026-05-18T03:41:32Z"},{"alias_kind":"arxiv_version","alias_value":"math/0509140v1","created_at":"2026-05-18T03:41:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/0509140","created_at":"2026-05-18T03:41:32Z"},{"alias_kind":"pith_short_12","alias_value":"UZ4HAEAS4JMC","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_16","alias_value":"UZ4HAEAS4JMCFHZP","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_8","alias_value":"UZ4HAEAS","created_at":"2026-05-18T12:25:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2005:UZ4HAEAS4JMCFHZPJMV27FSSMF","target":"record","payload":{"canonical_record":{"source":{"id":"math/0509140","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"math.OC","submitted_at":"2005-09-07T00:56:52Z","cross_cats_sorted":["math-ph","math.MP"],"title_canon_sha256":"a32c28bb2ab45d1d69a769ffc0bbc92593d01ea2a062cbe86adb64dd005590a2","abstract_canon_sha256":"52b1cf525c364bec6527fde33359197a59abfda7952697505a413365425ca195"},"schema_version":"1.0"},"canonical_sha256":"a678701012e258229f2f4b2baf96526145b35668bcd307f9e5fa1460845d21ee","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:41:32.607839Z","signature_b64":"w563hKeK9h/pBcTlChgoJuwq+RjVMGapWJMoB87jwFnuCcJrzoN+ofrxXOb4JNBGvus+8ZHrllPb0BGyulvcBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a678701012e258229f2f4b2baf96526145b35668bcd307f9e5fa1460845d21ee","last_reissued_at":"2026-05-18T03:41:32.607269Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:41:32.607269Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"math/0509140","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T03:41:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TITLMHM5ZPiAJVjD+kTw9XvAiI0fPXobq5E2bLJsbtviWyOf40u8tz9Rd+/jDwUFjmGc2/0U8NzMz1GxT6pRDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T15:43:30.286931Z"},"content_sha256":"bbbf9c97e3e3459d2829f3204e25ae4407593e67b165f085fac7997bc107978d","schema_version":"1.0","event_id":"sha256:bbbf9c97e3e3459d2829f3204e25ae4407593e67b165f085fac7997bc107978d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2005:UZ4HAEAS4JMCFHZPJMV27FSSMF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Automatic Computation of Conservation Laws in the Calculus of Variations and Optimal Control","license":"","headline":"","cross_cats":["math-ph","math.MP"],"primary_cat":"math.OC","authors_text":"Delfim F. M. Torres, Paulo D. F. Gouveia","submitted_at":"2005-09-07T00:56:52Z","abstract_excerpt":"We present analytic computational tools that permit us to identify, in an automatic way, conservation laws in optimal control. The central result we use is the famous Noether's theorem, a classical theory developed by Emmy Noether in 1918, in the context of the calculus of variations and mathematical physics, and which was extended recently to the more general context of optimal control. We show how a Computer Algebra System can be very helpful in finding the symmetries and corresponding conservation laws in optimal control theory, thus making useful in practice the theoretical results recentl"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/0509140","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T03:41:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ShEoRd1XshMTqdKVWIPHe+0UQC4bYZpJh90Xkc+APNA343oWjvfRgikjE40RkOsXNfPaqNWPO6vYwSmbfWnVDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T15:43:30.287347Z"},"content_sha256":"972d65ca242b6936730df7fa7deca2b819b5ea6ed1ab5144053d4954e563bede","schema_version":"1.0","event_id":"sha256:972d65ca242b6936730df7fa7deca2b819b5ea6ed1ab5144053d4954e563bede"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UZ4HAEAS4JMCFHZPJMV27FSSMF/bundle.json","state_url":"https://pith.science/pith/UZ4HAEAS4JMCFHZPJMV27FSSMF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UZ4HAEAS4JMCFHZPJMV27FSSMF/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-05T15:43:30Z","links":{"resolver":"https://pith.science/pith/UZ4HAEAS4JMCFHZPJMV27FSSMF","bundle":"https://pith.science/pith/UZ4HAEAS4JMCFHZPJMV27FSSMF/bundle.json","state":"https://pith.science/pith/UZ4HAEAS4JMCFHZPJMV27FSSMF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UZ4HAEAS4JMCFHZPJMV27FSSMF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2005:UZ4HAEAS4JMCFHZPJMV27FSSMF","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":"52b1cf525c364bec6527fde33359197a59abfda7952697505a413365425ca195","cross_cats_sorted":["math-ph","math.MP"],"license":"","primary_cat":"math.OC","submitted_at":"2005-09-07T00:56:52Z","title_canon_sha256":"a32c28bb2ab45d1d69a769ffc0bbc92593d01ea2a062cbe86adb64dd005590a2"},"schema_version":"1.0","source":{"id":"math/0509140","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"math/0509140","created_at":"2026-05-18T03:41:32Z"},{"alias_kind":"arxiv_version","alias_value":"math/0509140v1","created_at":"2026-05-18T03:41:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/0509140","created_at":"2026-05-18T03:41:32Z"},{"alias_kind":"pith_short_12","alias_value":"UZ4HAEAS4JMC","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_16","alias_value":"UZ4HAEAS4JMCFHZP","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_8","alias_value":"UZ4HAEAS","created_at":"2026-05-18T12:25:53Z"}],"graph_snapshots":[{"event_id":"sha256:972d65ca242b6936730df7fa7deca2b819b5ea6ed1ab5144053d4954e563bede","target":"graph","created_at":"2026-05-18T03:41:32Z","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"},"paper":{"abstract_excerpt":"We present analytic computational tools that permit us to identify, in an automatic way, conservation laws in optimal control. The central result we use is the famous Noether's theorem, a classical theory developed by Emmy Noether in 1918, in the context of the calculus of variations and mathematical physics, and which was extended recently to the more general context of optimal control. We show how a Computer Algebra System can be very helpful in finding the symmetries and corresponding conservation laws in optimal control theory, thus making useful in practice the theoretical results recentl","authors_text":"Delfim F. M. Torres, Paulo D. F. Gouveia","cross_cats":["math-ph","math.MP"],"headline":"","license":"","primary_cat":"math.OC","submitted_at":"2005-09-07T00:56:52Z","title":"Automatic Computation of Conservation Laws in the Calculus of Variations and Optimal Control"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/0509140","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:bbbf9c97e3e3459d2829f3204e25ae4407593e67b165f085fac7997bc107978d","target":"record","created_at":"2026-05-18T03:41:32Z","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":"52b1cf525c364bec6527fde33359197a59abfda7952697505a413365425ca195","cross_cats_sorted":["math-ph","math.MP"],"license":"","primary_cat":"math.OC","submitted_at":"2005-09-07T00:56:52Z","title_canon_sha256":"a32c28bb2ab45d1d69a769ffc0bbc92593d01ea2a062cbe86adb64dd005590a2"},"schema_version":"1.0","source":{"id":"math/0509140","kind":"arxiv","version":1}},"canonical_sha256":"a678701012e258229f2f4b2baf96526145b35668bcd307f9e5fa1460845d21ee","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a678701012e258229f2f4b2baf96526145b35668bcd307f9e5fa1460845d21ee","first_computed_at":"2026-05-18T03:41:32.607269Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:41:32.607269Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"w563hKeK9h/pBcTlChgoJuwq+RjVMGapWJMoB87jwFnuCcJrzoN+ofrxXOb4JNBGvus+8ZHrllPb0BGyulvcBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:41:32.607839Z","signed_message":"canonical_sha256_bytes"},"source_id":"math/0509140","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bbbf9c97e3e3459d2829f3204e25ae4407593e67b165f085fac7997bc107978d","sha256:972d65ca242b6936730df7fa7deca2b819b5ea6ed1ab5144053d4954e563bede"],"state_sha256":"b991be151eb53f710dbded133d361ebd0220e8d0c4dfb7e13acf052e53b5b08e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6J2hRAC2CoatD5yBjO2L6WvrRCUAJSVhqXNfujbAk8rz4yWeeKLmOcbWqZn4Cw9SwiRzYTXjC2mBQbZbzqzfCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T15:43:30.289697Z","bundle_sha256":"6f8fee32438c9de2ebe16469faa94391b4c3a2edf7eb75d2ee861eff2d8356d0"}}