{"id":"https://openalex.org/W7214034219","doi":"https://doi.org/10.48550/arxiv.2609.23984","title":"Automated proofs of unstable Adams differentials","display_name":"Automated proofs of unstable Adams differentials","publication_year":2026,"publication_date":"2026-09-21","ids":{"openalex":"https://openalex.org/W7214034219","doi":"https://doi.org/10.48550/arxiv.2609.23984"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.23984","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.23984","pdf_url":"https://arxiv.org/pdf/2609.23984","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2609.23984","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5152269266","display_name":"Jake Francis Baer","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Baer, Jake Francis","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5152269266"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12536","display_name":"Topological and Geometric Data Analysis","score":9.999999747378752e-05,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11428","display_name":"Advanced Mathematical Identities","score":9.999999747378752e-05,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/flowcharts","display_name":"flowcharts","score":0.5789999961853027},{"id":"https://openalex.org/keywords/unstable-homotopy-theory","display_name":"unstable homotopy theory","score":0.7319999933242798}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7603999972343445},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.7365000247955322},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.505299985408783},{"id":"https://openalex.org/C190812933","wikidata":"https://www.wikidata.org/wiki/Q28923","display_name":"Chart","level":2,"score":0.45019999146461487},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.41100001335144043},{"id":"https://openalex.org/C5961521","wikidata":"https://www.wikidata.org/wiki/Q746083","display_name":"Homotopy","level":2,"score":0.3684000074863434},{"id":"https://openalex.org/C38349280","wikidata":"https://www.wikidata.org/wiki/Q1434290","display_name":"Flow (mathematics)","level":2,"score":0.36570000648498535},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.34950000047683716},{"id":"https://openalex.org/C93226319","wikidata":"https://www.wikidata.org/wiki/Q193137","display_name":"Differential (mechanical device)","level":2,"score":0.3343000113964081},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.31520000100135803},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2806999981403351},{"id":"https://openalex.org/C2984431290","wikidata":"https://www.wikidata.org/wiki/Q185092","display_name":"Flow chart","level":2,"score":0.27799999713897705},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2703999876976013}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.23984","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.23984","pdf_url":"https://arxiv.org/pdf/2609.23984","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2609.23984","doi":"https://doi.org/10.48550/arxiv.2609.23984","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.23984","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2609.23984","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.23984","pdf_url":"https://arxiv.org/pdf/2609.23984","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7214034219.pdf","grobid_xml":"https://content.openalex.org/works/W7214034219.grobid-xml"},"referenced_works_count":33,"referenced_works":["https://openalex.org/W1032046140","https://openalex.org/W1557416472","https://openalex.org/W1558263089","https://openalex.org/W1574189208","https://openalex.org/W1968680609","https://openalex.org/W1971238472","https://openalex.org/W2017842667","https://openalex.org/W2027299304","https://openalex.org/W2029317401","https://openalex.org/W2033996591","https://openalex.org/W2051744552","https://openalex.org/W2053285898","https://openalex.org/W2076702390","https://openalex.org/W2082147259","https://openalex.org/W2101550614","https://openalex.org/W2145716588","https://openalex.org/W2234592388","https://openalex.org/W2325746858","https://openalex.org/W2503533510","https://openalex.org/W2548925689","https://openalex.org/W2596178443","https://openalex.org/W2963613455","https://openalex.org/W2963996571","https://openalex.org/W4236898723","https://openalex.org/W4247198125","https://openalex.org/W4255781439","https://openalex.org/W4307535714","https://openalex.org/W4368366336","https://openalex.org/W4404306375","https://openalex.org/W4405468680","https://openalex.org/W4407012429","https://openalex.org/W6949332958","https://openalex.org/W7213773328"],"related_works":["https://openalex.org/W4307535714","https://openalex.org/W4252206849","https://openalex.org/W2104365979","https://openalex.org/W2492669316","https://openalex.org/W4213018021","https://openalex.org/W1647099158","https://openalex.org/W2314601729","https://openalex.org/W7098713321","https://openalex.org/W415128263","https://openalex.org/W4287180597"],"abstract_inverted_index":{"We":[0,31,56],"present":[1],"a":[2,66],"computer-based":[3],"approach":[4],"to":[5,25,68],"computing":[6],"differentials":[7,63],"in":[8,27,35],"the":[9,17,28,43,53,70],"unstable":[10,18,47,54,72],"Adams":[11,73],"spectral":[12],"sequence":[13],"by":[14],"systematically":[15],"applying":[16],"Leibniz":[19],"rule":[20],"and":[21,39,64,75],"naturality":[22],"with":[23],"respect":[24],"maps":[26],"EHP":[29],"sequence.":[30],"record":[32],"our":[33],"results":[34],"tables":[36],"of":[37,45,50,59],"upper":[38],"lower":[40],"bounds":[41],"on":[42],"orders":[44],"2-primary":[46],"homotopy":[48],"groups":[49],"spheres":[51],"through":[52],"50-stem.":[55],"provide":[57],"examples":[58],"proofs":[60],"for":[61,79],"several":[62],"give":[65],"guide":[67],"interpreting":[69],"associated":[71],"charts":[74],"flow":[76],"chart":[77],"diagrams":[78],"differential":[80],"proofs.":[81]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-09-23T00:00:00"}