{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:UOK6BIODK4725LQO6EM7ZUO2PE","short_pith_number":"pith:UOK6BIOD","schema_version":"1.0","canonical_sha256":"a395e0a1c3573faeae0ef119fcd1da79031e99654d94733c5aa32845a94a0d62","source":{"kind":"arxiv","id":"1405.3758","version":1},"attestation_state":"computed","paper":{"title":"Search Interfaces for Mathematicians","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DL","cs.MS"],"primary_cat":"cs.HC","authors_text":"Andrea Kohlhase","submitted_at":"2014-05-15T06:55:21Z","abstract_excerpt":"Access to mathematical knowledge has changed dramatically in recent years, therefore changing mathematical search practices. Our aim with this study is to scrutinize professional mathematicians' search behavior. With this understanding we want to be able to reason why mathematicians use which tool for what search problem in what phase of the search process. To gain these insights we conducted 24 repertory grid interviews with mathematically inclined people (ranging from senior professional mathematicians to non-mathematicians). From the interview data we elicited patterns for the user group \"m"},"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":"1405.3758","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.HC","submitted_at":"2014-05-15T06:55:21Z","cross_cats_sorted":["cs.DL","cs.MS"],"title_canon_sha256":"fb80db887423fee234a5165267a35731a133bf709c2e8ca4b506a8af239a23a3","abstract_canon_sha256":"ae5460ecff5b2458e969aa224cff0af625fda029597cb8b6cd6cd616b74ffaf8"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:51:49.885486Z","signature_b64":"R0dlMYCL865/SVwOU1ekvf5CO1UcchXTTFvw3GSWKn18z/0M5JJ12UxbtOW3CCalioeVfl7vBL0BuvQ9zN/2Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a395e0a1c3573faeae0ef119fcd1da79031e99654d94733c5aa32845a94a0d62","last_reissued_at":"2026-05-18T02:51:49.884926Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:51:49.884926Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Search Interfaces for Mathematicians","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DL","cs.MS"],"primary_cat":"cs.HC","authors_text":"Andrea Kohlhase","submitted_at":"2014-05-15T06:55:21Z","abstract_excerpt":"Access to mathematical knowledge has changed dramatically in recent years, therefore changing mathematical search practices. Our aim with this study is to scrutinize professional mathematicians' search behavior. With this understanding we want to be able to reason why mathematicians use which tool for what search problem in what phase of the search process. To gain these insights we conducted 24 repertory grid interviews with mathematically inclined people (ranging from senior professional mathematicians to non-mathematicians). From the interview data we elicited patterns for the user group \"m"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.3758","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1405.3758","created_at":"2026-05-18T02:51:49.885008+00:00"},{"alias_kind":"arxiv_version","alias_value":"1405.3758v1","created_at":"2026-05-18T02:51:49.885008+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.3758","created_at":"2026-05-18T02:51:49.885008+00:00"},{"alias_kind":"pith_short_12","alias_value":"UOK6BIODK472","created_at":"2026-05-18T12:28:52.271510+00:00"},{"alias_kind":"pith_short_16","alias_value":"UOK6BIODK4725LQO","created_at":"2026-05-18T12:28:52.271510+00:00"},{"alias_kind":"pith_short_8","alias_value":"UOK6BIOD","created_at":"2026-05-18T12:28:52.271510+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/UOK6BIODK4725LQO6EM7ZUO2PE","json":"https://pith.science/pith/UOK6BIODK4725LQO6EM7ZUO2PE.json","graph_json":"https://pith.science/api/pith-number/UOK6BIODK4725LQO6EM7ZUO2PE/graph.json","events_json":"https://pith.science/api/pith-number/UOK6BIODK4725LQO6EM7ZUO2PE/events.json","paper":"https://pith.science/paper/UOK6BIOD"},"agent_actions":{"view_html":"https://pith.science/pith/UOK6BIODK4725LQO6EM7ZUO2PE","download_json":"https://pith.science/pith/UOK6BIODK4725LQO6EM7ZUO2PE.json","view_paper":"https://pith.science/paper/UOK6BIOD","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1405.3758&json=true","fetch_graph":"https://pith.science/api/pith-number/UOK6BIODK4725LQO6EM7ZUO2PE/graph.json","fetch_events":"https://pith.science/api/pith-number/UOK6BIODK4725LQO6EM7ZUO2PE/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/UOK6BIODK4725LQO6EM7ZUO2PE/action/timestamp_anchor","attest_storage":"https://pith.science/pith/UOK6BIODK4725LQO6EM7ZUO2PE/action/storage_attestation","attest_author":"https://pith.science/pith/UOK6BIODK4725LQO6EM7ZUO2PE/action/author_attestation","sign_citation":"https://pith.science/pith/UOK6BIODK4725LQO6EM7ZUO2PE/action/citation_signature","submit_replication":"https://pith.science/pith/UOK6BIODK4725LQO6EM7ZUO2PE/action/replication_record"}},"created_at":"2026-05-18T02:51:49.885008+00:00","updated_at":"2026-05-18T02:51:49.885008+00:00"}