{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:VUXFKTVMBULD7MWSXFZFZRIUGV","short_pith_number":"pith:VUXFKTVM","canonical_record":{"source":{"id":"1811.01510","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2018-11-05T04:41:42Z","cross_cats_sorted":[],"title_canon_sha256":"d158598576ea74c3b8143644e0714b577dbd9c25b2cb25a278a96bef674de780","abstract_canon_sha256":"c29c5ff3b253c202fa9ed1ae9669285da974ce8ff50653a79046fc38f00dab01"},"schema_version":"1.0"},"canonical_sha256":"ad2e554eac0d163fb2d2b9725cc514357d02c924af658ca4b5134d86978efa75","source":{"kind":"arxiv","id":"1811.01510","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.01510","created_at":"2026-05-17T23:46:29Z"},{"alias_kind":"arxiv_version","alias_value":"1811.01510v2","created_at":"2026-05-17T23:46:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.01510","created_at":"2026-05-17T23:46:29Z"},{"alias_kind":"pith_short_12","alias_value":"VUXFKTVMBULD","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_16","alias_value":"VUXFKTVMBULD7MWS","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_8","alias_value":"VUXFKTVM","created_at":"2026-05-18T12:32:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:VUXFKTVMBULD7MWSXFZFZRIUGV","target":"record","payload":{"canonical_record":{"source":{"id":"1811.01510","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2018-11-05T04:41:42Z","cross_cats_sorted":[],"title_canon_sha256":"d158598576ea74c3b8143644e0714b577dbd9c25b2cb25a278a96bef674de780","abstract_canon_sha256":"c29c5ff3b253c202fa9ed1ae9669285da974ce8ff50653a79046fc38f00dab01"},"schema_version":"1.0"},"canonical_sha256":"ad2e554eac0d163fb2d2b9725cc514357d02c924af658ca4b5134d86978efa75","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:46:29.613564Z","signature_b64":"vp7UwLu6X+iF1oPtpfW2HKoG9ctKK2ekVW3ivCnIaemTKH/hw0o78bCAyLQBxzihnYX5loNEqiyGQgJxv974AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ad2e554eac0d163fb2d2b9725cc514357d02c924af658ca4b5134d86978efa75","last_reissued_at":"2026-05-17T23:46:29.612938Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:46:29.612938Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1811.01510","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-17T23:46:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"T04IdWHhs474TuQRCl6WRTDCnX+gSN6liKc3YgRv3o3pGGTZXw2zrb8SRiRpS5+wAnBMBYPw1mEY+2ocObzlAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T10:43:44.797870Z"},"content_sha256":"c63893cf199e1d992459c55c636b69d03b384318804ee2b7e1ad83089f6358ab","schema_version":"1.0","event_id":"sha256:c63893cf199e1d992459c55c636b69d03b384318804ee2b7e1ad83089f6358ab"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:VUXFKTVMBULD7MWSXFZFZRIUGV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Complexity Estimates for Fourier-Motzkin Elimination","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SC","authors_text":"Delaram Talaashrafi, Marc Moreno-Maza, Rui-Juan Jing","submitted_at":"2018-11-05T04:41:42Z","abstract_excerpt":"In this paper, we propose a new method for removing all the redundant inequalities generated by Fourier-Motzkin elimination. This method is based on an improved version of Balas' work and can also be used to remove all the redundant inequalities in the input system. Moreover, our method only uses arithmetic operations on matrices and avoids resorting to linear programming techniques. Algebraic complexity estimates and experimental results show that our method outperforms alternative approaches, in particular those based on linear programming and simplex algorithm."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.01510","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-17T23:46:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MGY70zZpb48d4s/YuqslxgOIcnoK/hNyUs6E70KqkEUOl8BnLoOZ/vyN6mAk94twV0dzcnFvwbMxV/nYUnrFCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T10:43:44.798212Z"},"content_sha256":"20676134b48b3c80b6cfb0473001aed49727d5081d86617aa9f691b3f9582952","schema_version":"1.0","event_id":"sha256:20676134b48b3c80b6cfb0473001aed49727d5081d86617aa9f691b3f9582952"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VUXFKTVMBULD7MWSXFZFZRIUGV/bundle.json","state_url":"https://pith.science/pith/VUXFKTVMBULD7MWSXFZFZRIUGV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VUXFKTVMBULD7MWSXFZFZRIUGV/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-03T10:43:44Z","links":{"resolver":"https://pith.science/pith/VUXFKTVMBULD7MWSXFZFZRIUGV","bundle":"https://pith.science/pith/VUXFKTVMBULD7MWSXFZFZRIUGV/bundle.json","state":"https://pith.science/pith/VUXFKTVMBULD7MWSXFZFZRIUGV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VUXFKTVMBULD7MWSXFZFZRIUGV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:VUXFKTVMBULD7MWSXFZFZRIUGV","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":"c29c5ff3b253c202fa9ed1ae9669285da974ce8ff50653a79046fc38f00dab01","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2018-11-05T04:41:42Z","title_canon_sha256":"d158598576ea74c3b8143644e0714b577dbd9c25b2cb25a278a96bef674de780"},"schema_version":"1.0","source":{"id":"1811.01510","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.01510","created_at":"2026-05-17T23:46:29Z"},{"alias_kind":"arxiv_version","alias_value":"1811.01510v2","created_at":"2026-05-17T23:46:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.01510","created_at":"2026-05-17T23:46:29Z"},{"alias_kind":"pith_short_12","alias_value":"VUXFKTVMBULD","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_16","alias_value":"VUXFKTVMBULD7MWS","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_8","alias_value":"VUXFKTVM","created_at":"2026-05-18T12:32:59Z"}],"graph_snapshots":[{"event_id":"sha256:20676134b48b3c80b6cfb0473001aed49727d5081d86617aa9f691b3f9582952","target":"graph","created_at":"2026-05-17T23:46:29Z","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 this paper, we propose a new method for removing all the redundant inequalities generated by Fourier-Motzkin elimination. This method is based on an improved version of Balas' work and can also be used to remove all the redundant inequalities in the input system. Moreover, our method only uses arithmetic operations on matrices and avoids resorting to linear programming techniques. Algebraic complexity estimates and experimental results show that our method outperforms alternative approaches, in particular those based on linear programming and simplex algorithm.","authors_text":"Delaram Talaashrafi, Marc Moreno-Maza, Rui-Juan Jing","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2018-11-05T04:41:42Z","title":"Complexity Estimates for Fourier-Motzkin Elimination"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.01510","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:c63893cf199e1d992459c55c636b69d03b384318804ee2b7e1ad83089f6358ab","target":"record","created_at":"2026-05-17T23:46:29Z","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":"c29c5ff3b253c202fa9ed1ae9669285da974ce8ff50653a79046fc38f00dab01","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2018-11-05T04:41:42Z","title_canon_sha256":"d158598576ea74c3b8143644e0714b577dbd9c25b2cb25a278a96bef674de780"},"schema_version":"1.0","source":{"id":"1811.01510","kind":"arxiv","version":2}},"canonical_sha256":"ad2e554eac0d163fb2d2b9725cc514357d02c924af658ca4b5134d86978efa75","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ad2e554eac0d163fb2d2b9725cc514357d02c924af658ca4b5134d86978efa75","first_computed_at":"2026-05-17T23:46:29.612938Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:46:29.612938Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vp7UwLu6X+iF1oPtpfW2HKoG9ctKK2ekVW3ivCnIaemTKH/hw0o78bCAyLQBxzihnYX5loNEqiyGQgJxv974AQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:46:29.613564Z","signed_message":"canonical_sha256_bytes"},"source_id":"1811.01510","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c63893cf199e1d992459c55c636b69d03b384318804ee2b7e1ad83089f6358ab","sha256:20676134b48b3c80b6cfb0473001aed49727d5081d86617aa9f691b3f9582952"],"state_sha256":"64c16e8df54572193d9bcef8a76f8847866076dc113af02387af5aa422c6519f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3ZsHGBn2wZrOwe8X1gU2IfjkUx09aCf310IcvZkxZdd/t7EcdXwobcQXjdQjykwSzxCtAPhykPw0ED4UNBKNDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T10:43:44.800168Z","bundle_sha256":"bf49d3b4b9aa1a86e9c53d1927f3cd4711ec67eb47fb15cedc0cd833af91d44b"}}