{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2007:WJPWSV5N4SV4CVYKWOGXHNVW5O","short_pith_number":"pith:WJPWSV5N","canonical_record":{"source":{"id":"math/0702239","kind":"arxiv","version":2},"metadata":{"license":"","primary_cat":"math.MG","submitted_at":"2007-02-09T01:33:42Z","cross_cats_sorted":["cs.CG"],"title_canon_sha256":"cb9e40ce4314666313ac340e8f4b6f520c0e406f1e32849453a8f9b63ee33e67","abstract_canon_sha256":"c1e6f4288dc456333a2544c07dfeb1b6adaaacb529ea6bb4ead3e1b7875fb7e1"},"schema_version":"1.0"},"canonical_sha256":"b25f6957ade4abc1570ab38d73b6b6eb89f634d651c32e811137a96b6cdd4f19","source":{"kind":"arxiv","id":"math/0702239","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"math/0702239","created_at":"2026-05-18T04:10:37Z"},{"alias_kind":"arxiv_version","alias_value":"math/0702239v2","created_at":"2026-05-18T04:10:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/0702239","created_at":"2026-05-18T04:10:37Z"},{"alias_kind":"pith_short_12","alias_value":"WJPWSV5N4SV4","created_at":"2026-05-18T12:25:56Z"},{"alias_kind":"pith_short_16","alias_value":"WJPWSV5N4SV4CVYK","created_at":"2026-05-18T12:25:56Z"},{"alias_kind":"pith_short_8","alias_value":"WJPWSV5N","created_at":"2026-05-18T12:25:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2007:WJPWSV5N4SV4CVYKWOGXHNVW5O","target":"record","payload":{"canonical_record":{"source":{"id":"math/0702239","kind":"arxiv","version":2},"metadata":{"license":"","primary_cat":"math.MG","submitted_at":"2007-02-09T01:33:42Z","cross_cats_sorted":["cs.CG"],"title_canon_sha256":"cb9e40ce4314666313ac340e8f4b6f520c0e406f1e32849453a8f9b63ee33e67","abstract_canon_sha256":"c1e6f4288dc456333a2544c07dfeb1b6adaaacb529ea6bb4ead3e1b7875fb7e1"},"schema_version":"1.0"},"canonical_sha256":"b25f6957ade4abc1570ab38d73b6b6eb89f634d651c32e811137a96b6cdd4f19","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:10:37.433591Z","signature_b64":"uXBmBK2B6jF1QgwZPgUIeSqSvKIny9uotAdDdjmLyrpQE8O6wWsfv6ZK4Kw5ITsYdXZnqTKlJA9I79+17aKmBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b25f6957ade4abc1570ab38d73b6b6eb89f634d651c32e811137a96b6cdd4f19","last_reissued_at":"2026-05-18T04:10:37.432821Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:10:37.432821Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"math/0702239","source_version":2,"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-18T04:10:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ixXlD+OLgyfw6V+jj1Y62HneOIGIxizRUlrCLag+JYEnTFh2QKji77rcfBKJZkbfR/D3rHtHRPs7Ka+Y4ex2Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T20:59:20.720665Z"},"content_sha256":"d3ffe833e79ea2641670004959f0151f92290b4259dccac3b3eb400656810036","schema_version":"1.0","event_id":"sha256:d3ffe833e79ea2641670004959f0151f92290b4259dccac3b3eb400656810036"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2007:WJPWSV5N4SV4CVYKWOGXHNVW5O","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Polyhedral representation conversion up to symmetries","license":"","headline":"","cross_cats":["cs.CG"],"primary_cat":"math.MG","authors_text":"Achill Schuermann, David Bremner, Mathieu Dutour Sikiric","submitted_at":"2007-02-09T01:33:42Z","abstract_excerpt":"We give a short survey on computational techniques which can be used to solve the representation conversion problem for polyhedra up to symmetries. We in particular discuss decomposition methods, which reduce the problem to a number of lower dimensional subproblems. These methods have been successfully used by different authors in special contexts. Moreover, we sketch an incremental method, which is a generalization of Fourier-Motzkin elimination, and we give some ideas how symmetry can be exploited using pivots."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/0702239","kind":"arxiv","version":2},"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-18T04:10:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+plrxYuxsQ4TjprQN1OSgqJfNtEGCpya+WCIZ1PdhRvkqL8VWTKivcmEJK9kYWwroFW6I9M4VY8y66rL1w1xDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T20:59:20.721049Z"},"content_sha256":"d0abdd53e4462c7fd86809cd08c6eeae43116fcc045e3b220824250f438692d2","schema_version":"1.0","event_id":"sha256:d0abdd53e4462c7fd86809cd08c6eeae43116fcc045e3b220824250f438692d2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WJPWSV5N4SV4CVYKWOGXHNVW5O/bundle.json","state_url":"https://pith.science/pith/WJPWSV5N4SV4CVYKWOGXHNVW5O/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WJPWSV5N4SV4CVYKWOGXHNVW5O/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-05-26T20:59:20Z","links":{"resolver":"https://pith.science/pith/WJPWSV5N4SV4CVYKWOGXHNVW5O","bundle":"https://pith.science/pith/WJPWSV5N4SV4CVYKWOGXHNVW5O/bundle.json","state":"https://pith.science/pith/WJPWSV5N4SV4CVYKWOGXHNVW5O/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WJPWSV5N4SV4CVYKWOGXHNVW5O/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2007:WJPWSV5N4SV4CVYKWOGXHNVW5O","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":"c1e6f4288dc456333a2544c07dfeb1b6adaaacb529ea6bb4ead3e1b7875fb7e1","cross_cats_sorted":["cs.CG"],"license":"","primary_cat":"math.MG","submitted_at":"2007-02-09T01:33:42Z","title_canon_sha256":"cb9e40ce4314666313ac340e8f4b6f520c0e406f1e32849453a8f9b63ee33e67"},"schema_version":"1.0","source":{"id":"math/0702239","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"math/0702239","created_at":"2026-05-18T04:10:37Z"},{"alias_kind":"arxiv_version","alias_value":"math/0702239v2","created_at":"2026-05-18T04:10:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/0702239","created_at":"2026-05-18T04:10:37Z"},{"alias_kind":"pith_short_12","alias_value":"WJPWSV5N4SV4","created_at":"2026-05-18T12:25:56Z"},{"alias_kind":"pith_short_16","alias_value":"WJPWSV5N4SV4CVYK","created_at":"2026-05-18T12:25:56Z"},{"alias_kind":"pith_short_8","alias_value":"WJPWSV5N","created_at":"2026-05-18T12:25:56Z"}],"graph_snapshots":[{"event_id":"sha256:d0abdd53e4462c7fd86809cd08c6eeae43116fcc045e3b220824250f438692d2","target":"graph","created_at":"2026-05-18T04:10:37Z","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 give a short survey on computational techniques which can be used to solve the representation conversion problem for polyhedra up to symmetries. We in particular discuss decomposition methods, which reduce the problem to a number of lower dimensional subproblems. These methods have been successfully used by different authors in special contexts. Moreover, we sketch an incremental method, which is a generalization of Fourier-Motzkin elimination, and we give some ideas how symmetry can be exploited using pivots.","authors_text":"Achill Schuermann, David Bremner, Mathieu Dutour Sikiric","cross_cats":["cs.CG"],"headline":"","license":"","primary_cat":"math.MG","submitted_at":"2007-02-09T01:33:42Z","title":"Polyhedral representation conversion up to symmetries"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/0702239","kind":"arxiv","version":2},"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:d3ffe833e79ea2641670004959f0151f92290b4259dccac3b3eb400656810036","target":"record","created_at":"2026-05-18T04:10:37Z","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":"c1e6f4288dc456333a2544c07dfeb1b6adaaacb529ea6bb4ead3e1b7875fb7e1","cross_cats_sorted":["cs.CG"],"license":"","primary_cat":"math.MG","submitted_at":"2007-02-09T01:33:42Z","title_canon_sha256":"cb9e40ce4314666313ac340e8f4b6f520c0e406f1e32849453a8f9b63ee33e67"},"schema_version":"1.0","source":{"id":"math/0702239","kind":"arxiv","version":2}},"canonical_sha256":"b25f6957ade4abc1570ab38d73b6b6eb89f634d651c32e811137a96b6cdd4f19","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b25f6957ade4abc1570ab38d73b6b6eb89f634d651c32e811137a96b6cdd4f19","first_computed_at":"2026-05-18T04:10:37.432821Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:10:37.432821Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"uXBmBK2B6jF1QgwZPgUIeSqSvKIny9uotAdDdjmLyrpQE8O6wWsfv6ZK4Kw5ITsYdXZnqTKlJA9I79+17aKmBA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:10:37.433591Z","signed_message":"canonical_sha256_bytes"},"source_id":"math/0702239","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d3ffe833e79ea2641670004959f0151f92290b4259dccac3b3eb400656810036","sha256:d0abdd53e4462c7fd86809cd08c6eeae43116fcc045e3b220824250f438692d2"],"state_sha256":"74d14e11f1a1cda81200a0f94ab6f5ad39a6b413cfec8cf8ed1d8f63c4ce62d9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+L1LPKlvMvli2AjoKhb8wYhqaL3JUanbs58q9XY1UbbGMDfQ40b9Fe32ph9fXgSqqaWl+7NglJ8HykhWJtwpDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T20:59:20.723777Z","bundle_sha256":"8e7bf6d6a750c9feadac4ae54377671f62d6d303156d87f5fa2f06dd140d47d8"}}