{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:F75QZ4VI7TWU4TPUT3EA5IHYQ6","short_pith_number":"pith:F75QZ4VI","canonical_record":{"source":{"id":"1302.7194","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2013-02-27T05:59:29Z","cross_cats_sorted":["math.RA"],"title_canon_sha256":"a734dc5dfbdf4b83b1be7fe6d4e43bd55e1bdec56f9353de66c76a3296646a2e","abstract_canon_sha256":"b83150d2dc9b76c45a2ea001111127e7156fb9b686e3967c70cb8e19279fa6ca"},"schema_version":"1.0"},"canonical_sha256":"2ffb0cf2a8fced4e4df49ec80ea0f887861b88b04af40f6160e9ad0bb15a84a9","source":{"kind":"arxiv","id":"1302.7194","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.7194","created_at":"2026-05-18T03:32:16Z"},{"alias_kind":"arxiv_version","alias_value":"1302.7194v1","created_at":"2026-05-18T03:32:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.7194","created_at":"2026-05-18T03:32:16Z"},{"alias_kind":"pith_short_12","alias_value":"F75QZ4VI7TWU","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_16","alias_value":"F75QZ4VI7TWU4TPU","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_8","alias_value":"F75QZ4VI","created_at":"2026-05-18T12:27:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:F75QZ4VI7TWU4TPUT3EA5IHYQ6","target":"record","payload":{"canonical_record":{"source":{"id":"1302.7194","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2013-02-27T05:59:29Z","cross_cats_sorted":["math.RA"],"title_canon_sha256":"a734dc5dfbdf4b83b1be7fe6d4e43bd55e1bdec56f9353de66c76a3296646a2e","abstract_canon_sha256":"b83150d2dc9b76c45a2ea001111127e7156fb9b686e3967c70cb8e19279fa6ca"},"schema_version":"1.0"},"canonical_sha256":"2ffb0cf2a8fced4e4df49ec80ea0f887861b88b04af40f6160e9ad0bb15a84a9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:32:16.462473Z","signature_b64":"1arSmCnb4ei1lWMv5UJQHkQaFib8PZlrWZzRNnv1NrtvfwKGNwKsf5kFTfz+e6Y7TjxQhC1IgOOipc+1/Z+wAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2ffb0cf2a8fced4e4df49ec80ea0f887861b88b04af40f6160e9ad0bb15a84a9","last_reissued_at":"2026-05-18T03:32:16.461761Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:32:16.461761Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1302.7194","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:32:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tNgRlW/iVu+pybrFTmkIPYVe/OEeswt5Tn7XbQXZmY76aTAUXF/C/gh5CSZqayfKXeQ7cNJsAjRFY8tqq0FHCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T12:17:29.943340Z"},"content_sha256":"1967a23cb169e1ae35529b2c3feaa55534296926d292cd4f7a18d1388e38556d","schema_version":"1.0","event_id":"sha256:1967a23cb169e1ae35529b2c3feaa55534296926d292cd4f7a18d1388e38556d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:F75QZ4VI7TWU4TPUT3EA5IHYQ6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Normalization of Polynomials in Algebraic Invariants of Three-Dimensional Orthogonal Geometry","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.RA"],"primary_cat":"cs.SC","authors_text":"Hongbo Li","submitted_at":"2013-02-27T05:59:29Z","abstract_excerpt":"In classical invariant theory, the Gr\\\"obner base of the ideal of syzygies and the normal forms of polynomials of invariants are two core contents. To improve the performance of invariant theory in symbolic computing of classical geometry, advanced invariants are introduced via Clifford product. This paper addresses and solves the two key problems in advanced invariant theory: the Gr\\\"obner base of the ideal of syzygies among advanced invariants, and the normal forms of polynomials of advanced invariants. These results beautifully extend the straightening of Young tableaux to advanced invarian"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.7194","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:32:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"awWam2rXKmcRn5+io6szV6KxM6E8ucN3hCKVe0nhssaaBOeAtZgNNjeNk+vXXjFZraHSLfMXoqsj/IwSSY71Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T12:17:29.943693Z"},"content_sha256":"6b3b7c072ee0efe23b023dab6e6084fef290c58a998f04a371f4696adf5f5814","schema_version":"1.0","event_id":"sha256:6b3b7c072ee0efe23b023dab6e6084fef290c58a998f04a371f4696adf5f5814"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/F75QZ4VI7TWU4TPUT3EA5IHYQ6/bundle.json","state_url":"https://pith.science/pith/F75QZ4VI7TWU4TPUT3EA5IHYQ6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/F75QZ4VI7TWU4TPUT3EA5IHYQ6/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-11T12:17:29Z","links":{"resolver":"https://pith.science/pith/F75QZ4VI7TWU4TPUT3EA5IHYQ6","bundle":"https://pith.science/pith/F75QZ4VI7TWU4TPUT3EA5IHYQ6/bundle.json","state":"https://pith.science/pith/F75QZ4VI7TWU4TPUT3EA5IHYQ6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/F75QZ4VI7TWU4TPUT3EA5IHYQ6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:F75QZ4VI7TWU4TPUT3EA5IHYQ6","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":"b83150d2dc9b76c45a2ea001111127e7156fb9b686e3967c70cb8e19279fa6ca","cross_cats_sorted":["math.RA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2013-02-27T05:59:29Z","title_canon_sha256":"a734dc5dfbdf4b83b1be7fe6d4e43bd55e1bdec56f9353de66c76a3296646a2e"},"schema_version":"1.0","source":{"id":"1302.7194","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.7194","created_at":"2026-05-18T03:32:16Z"},{"alias_kind":"arxiv_version","alias_value":"1302.7194v1","created_at":"2026-05-18T03:32:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.7194","created_at":"2026-05-18T03:32:16Z"},{"alias_kind":"pith_short_12","alias_value":"F75QZ4VI7TWU","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_16","alias_value":"F75QZ4VI7TWU4TPU","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_8","alias_value":"F75QZ4VI","created_at":"2026-05-18T12:27:45Z"}],"graph_snapshots":[{"event_id":"sha256:6b3b7c072ee0efe23b023dab6e6084fef290c58a998f04a371f4696adf5f5814","target":"graph","created_at":"2026-05-18T03:32:16Z","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":"In classical invariant theory, the Gr\\\"obner base of the ideal of syzygies and the normal forms of polynomials of invariants are two core contents. To improve the performance of invariant theory in symbolic computing of classical geometry, advanced invariants are introduced via Clifford product. This paper addresses and solves the two key problems in advanced invariant theory: the Gr\\\"obner base of the ideal of syzygies among advanced invariants, and the normal forms of polynomials of advanced invariants. These results beautifully extend the straightening of Young tableaux to advanced invarian","authors_text":"Hongbo Li","cross_cats":["math.RA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2013-02-27T05:59:29Z","title":"Normalization of Polynomials in Algebraic Invariants of Three-Dimensional Orthogonal Geometry"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.7194","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:1967a23cb169e1ae35529b2c3feaa55534296926d292cd4f7a18d1388e38556d","target":"record","created_at":"2026-05-18T03:32:16Z","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":"b83150d2dc9b76c45a2ea001111127e7156fb9b686e3967c70cb8e19279fa6ca","cross_cats_sorted":["math.RA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2013-02-27T05:59:29Z","title_canon_sha256":"a734dc5dfbdf4b83b1be7fe6d4e43bd55e1bdec56f9353de66c76a3296646a2e"},"schema_version":"1.0","source":{"id":"1302.7194","kind":"arxiv","version":1}},"canonical_sha256":"2ffb0cf2a8fced4e4df49ec80ea0f887861b88b04af40f6160e9ad0bb15a84a9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2ffb0cf2a8fced4e4df49ec80ea0f887861b88b04af40f6160e9ad0bb15a84a9","first_computed_at":"2026-05-18T03:32:16.461761Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:32:16.461761Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1arSmCnb4ei1lWMv5UJQHkQaFib8PZlrWZzRNnv1NrtvfwKGNwKsf5kFTfz+e6Y7TjxQhC1IgOOipc+1/Z+wAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:32:16.462473Z","signed_message":"canonical_sha256_bytes"},"source_id":"1302.7194","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1967a23cb169e1ae35529b2c3feaa55534296926d292cd4f7a18d1388e38556d","sha256:6b3b7c072ee0efe23b023dab6e6084fef290c58a998f04a371f4696adf5f5814"],"state_sha256":"be0dace76a1a95dd11a5735db55983c49e5ec65d99cea87f0ea1cf99487a7f0a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7B+pE2BxvcjGFHS4Qq+fmpHgMXcn36i+ezMPoXen7I/h9kekUABOR2G0umtosK6ncPRNPr2f7dLqbAJ1LZqDAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T12:17:29.945699Z","bundle_sha256":"8bf7c9ffd4d4bb8073f0bba553efadc9c113426ede8abd926e0ac7a381b9ef3f"}}