{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:QX7FXSZZY6QQTZ5HYXWBYJOALU","short_pith_number":"pith:QX7FXSZZ","schema_version":"1.0","canonical_sha256":"85fe5bcb39c7a109e7a7c5ec1c25c05d3b8af412e794ffe28dbfc1c75a3c8423","source":{"kind":"arxiv","id":"1504.07212","version":2},"attestation_state":"computed","paper":{"title":"PENNON: Software for linear and nonlinear matrix inequalities","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Michael Stingl, Michal Kocvara","submitted_at":"2015-04-27T19:15:12Z","abstract_excerpt":"The goal of this paper is to present an overview of the software collection for the solution of linear and nonlinear semidefinite optimization problems PENNON. In the first part we present theoretical and practical details of the underlying algorithm and several implementation issues. In the second part we introduce the particular codes PENSDP, PENBMI and PENNON, focus on some specific features of these codes and show how they can be used for the solution of selected problems."},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1504.07212","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-04-27T19:15:12Z","cross_cats_sorted":[],"title_canon_sha256":"bfaa019a8068b68e7e28cd3fb53c259e44c32aff9b6b3669dc23e3957bfec1da","abstract_canon_sha256":"d59889dcfa654345ec2218561767c532331800edd61dba690d20b9fb86f91de4"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:17:35.404100Z","signature_b64":"6mou/jvTEB+2SeBOiK+48vxptL3ypSxacZBRxFvxN6fcZMroNO5HpOEHOR+InN0f7nalcIlkN3swake9tRPUBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"85fe5bcb39c7a109e7a7c5ec1c25c05d3b8af412e794ffe28dbfc1c75a3c8423","last_reissued_at":"2026-05-18T02:17:35.403367Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:17:35.403367Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"PENNON: Software for linear and nonlinear matrix inequalities","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Michael Stingl, Michal Kocvara","submitted_at":"2015-04-27T19:15:12Z","abstract_excerpt":"The goal of this paper is to present an overview of the software collection for the solution of linear and nonlinear semidefinite optimization problems PENNON. In the first part we present theoretical and practical details of the underlying algorithm and several implementation issues. In the second part we introduce the particular codes PENSDP, PENBMI and PENNON, focus on some specific features of these codes and show how they can be used for the solution of selected problems."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.07212","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1504.07212","created_at":"2026-05-18T02:17:35.403487+00:00"},{"alias_kind":"arxiv_version","alias_value":"1504.07212v2","created_at":"2026-05-18T02:17:35.403487+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.07212","created_at":"2026-05-18T02:17:35.403487+00:00"},{"alias_kind":"pith_short_12","alias_value":"QX7FXSZZY6QQ","created_at":"2026-05-18T12:29:39.896362+00:00"},{"alias_kind":"pith_short_16","alias_value":"QX7FXSZZY6QQTZ5H","created_at":"2026-05-18T12:29:39.896362+00:00"},{"alias_kind":"pith_short_8","alias_value":"QX7FXSZZ","created_at":"2026-05-18T12:29:39.896362+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/QX7FXSZZY6QQTZ5HYXWBYJOALU","json":"https://pith.science/pith/QX7FXSZZY6QQTZ5HYXWBYJOALU.json","graph_json":"https://pith.science/api/pith-number/QX7FXSZZY6QQTZ5HYXWBYJOALU/graph.json","events_json":"https://pith.science/api/pith-number/QX7FXSZZY6QQTZ5HYXWBYJOALU/events.json","paper":"https://pith.science/paper/QX7FXSZZ"},"agent_actions":{"view_html":"https://pith.science/pith/QX7FXSZZY6QQTZ5HYXWBYJOALU","download_json":"https://pith.science/pith/QX7FXSZZY6QQTZ5HYXWBYJOALU.json","view_paper":"https://pith.science/paper/QX7FXSZZ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1504.07212&json=true","fetch_graph":"https://pith.science/api/pith-number/QX7FXSZZY6QQTZ5HYXWBYJOALU/graph.json","fetch_events":"https://pith.science/api/pith-number/QX7FXSZZY6QQTZ5HYXWBYJOALU/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/QX7FXSZZY6QQTZ5HYXWBYJOALU/action/timestamp_anchor","attest_storage":"https://pith.science/pith/QX7FXSZZY6QQTZ5HYXWBYJOALU/action/storage_attestation","attest_author":"https://pith.science/pith/QX7FXSZZY6QQTZ5HYXWBYJOALU/action/author_attestation","sign_citation":"https://pith.science/pith/QX7FXSZZY6QQTZ5HYXWBYJOALU/action/citation_signature","submit_replication":"https://pith.science/pith/QX7FXSZZY6QQTZ5HYXWBYJOALU/action/replication_record"}},"created_at":"2026-05-18T02:17:35.403487+00:00","updated_at":"2026-05-18T02:17:35.403487+00:00"}