{"id":"https://openalex.org/W2058300963","doi":"https://doi.org/10.1051/ita/2013038","title":"Factoring and testing primes in small space","display_name":"Factoring and testing primes in small space","publication_year":2013,"publication_date":"2013-07-01","ids":{"openalex":"https://openalex.org/W2058300963","doi":"https://doi.org/10.1051/ita/2013038","mag":"2058300963"},"language":"en","primary_location":{"id":"doi:10.1051/ita/2013038","is_oa":false,"landing_page_url":"https://doi.org/10.1051/ita/2013038","pdf_url":null,"source":{"id":"https://openalex.org/S6941720","display_name":"RAIRO - Theoretical Informatics and Applications","issn_l":"0988-3754","issn":["0988-3754","1290-385X","2804-7346"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319748","host_organization_name":"EDP Sciences","host_organization_lineage":["https://openalex.org/P4310319748"],"host_organization_lineage_names":["EDP Sciences"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"RAIRO - Theoretical Informatics and Applications","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://www.numdam.org/item/10.1051/ita/2013038.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5065408637","display_name":"Viliam Geffert","orcid":"https://orcid.org/0000-0001-9143-1479"},"institutions":[{"id":"https://openalex.org/I204881574","display_name":"University of Pavol Jozef \u0160af\u00e1rik","ror":"https://ror.org/039965637","country_code":"SK","type":"education","lineage":["https://openalex.org/I204881574"]}],"countries":["SK"],"is_corresponding":false,"raw_author_name":"Viliam Geffert","raw_affiliation_strings":["Department of Computer Science, P.\u2009J. \u0160af\u00e1rik University, Jesenn\u00e1 5, 04001 Ko\u0161ice, Slovakia","Department of Computer Science, P.\u2009J.\u0160af\u00e1rik University, Jesenn\u00e1 5, 04001Ko\u0161ice,Slovakia..  viliam.geffert@upjs.sk"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, P.\u2009J. \u0160af\u00e1rik University, Jesenn\u00e1 5, 04001 Ko\u0161ice, Slovakia","institution_ids":["https://openalex.org/I204881574"]},{"raw_affiliation_string":"Department of Computer Science, P.\u2009J.\u0160af\u00e1rik University, Jesenn\u00e1 5, 04001Ko\u0161ice,Slovakia..  viliam.geffert@upjs.sk","institution_ids":["https://openalex.org/I204881574"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5005357145","display_name":"Dana Pardubsk\u00e1","orcid":null},"institutions":[{"id":"https://openalex.org/I74788687","display_name":"Comenius University Bratislava","ror":"https://ror.org/0587ef340","country_code":"SK","type":"education","lineage":["https://openalex.org/I74788687"]}],"countries":["SK"],"is_corresponding":false,"raw_author_name":"Dana Pardubsk\u00e1","raw_affiliation_strings":["Department of Computer Science, Comenius University, Mlynsk\u00e1 dolina, 84248 Bratislava, Slovakia","Department of Computer Science,Comenius University, Mlynsk\u00e1 dolina, 84248Bratislava,Slovakia.;  pardubska@dcs.fmph.uniba.sk"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Comenius University, Mlynsk\u00e1 dolina, 84248 Bratislava, Slovakia","institution_ids":["https://openalex.org/I74788687"]},{"raw_affiliation_string":"Department of Computer Science,Comenius University, Mlynsk\u00e1 dolina, 84248Bratislava,Slovakia.;  pardubska@dcs.fmph.uniba.sk","institution_ids":["https://openalex.org/I74788687"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.11591837,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"47","issue":"3","first_page":"241","last_page":"259"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9994999766349792,"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"}},"topics":[{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9994999766349792,"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/T11567","display_name":"semigroups and automata theory","score":0.9990000128746033,"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/T11269","display_name":"Algorithms and Data Compression","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6854405403137207},{"id":"https://openalex.org/keywords/divisor","display_name":"Divisor (algebraic geometry)","score":0.5921984314918518},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5843443870544434},{"id":"https://openalex.org/keywords/amortized-analysis","display_name":"Amortized analysis","score":0.5363264083862305},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.46841731667518616},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4572870135307312},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.41096359491348267},{"id":"https://openalex.org/keywords/data-structure","display_name":"Data structure","score":0.25769850611686707},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.22436398267745972}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6854405403137207},{"id":"https://openalex.org/C203492994","wikidata":"https://www.wikidata.org/wiki/Q909669","display_name":"Divisor (algebraic geometry)","level":2,"score":0.5921984314918518},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5843443870544434},{"id":"https://openalex.org/C142417499","wikidata":"https://www.wikidata.org/wiki/Q331716","display_name":"Amortized analysis","level":3,"score":0.5363264083862305},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.46841731667518616},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4572870135307312},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.41096359491348267},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.25769850611686707},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.22436398267745972},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1051/ita/2013038","is_oa":false,"landing_page_url":"https://doi.org/10.1051/ita/2013038","pdf_url":null,"source":{"id":"https://openalex.org/S6941720","display_name":"RAIRO - Theoretical Informatics and Applications","issn_l":"0988-3754","issn":["0988-3754","1290-385X","2804-7346"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319748","host_organization_name":"EDP Sciences","host_organization_lineage":["https://openalex.org/P4310319748"],"host_organization_lineage_names":["EDP Sciences"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"RAIRO - Theoretical Informatics and Applications","raw_type":"journal-article"},{"id":"pmh:oai:numdam.org:ITA_2013__47_3_241_0","is_oa":true,"landing_page_url":"http://www.numdam.org/articles/10.1051/ita/2013038/","pdf_url":"https://www.numdam.org/item/10.1051/ita/2013038.pdf","source":{"id":"https://openalex.org/S4306402264","display_name":"French digital mathematics library (Numdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I70900168","host_organization_name":"Universit\u00e9 Savoie Mont Blanc","host_organization_lineage":["https://openalex.org/I70900168"],"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"}],"best_oa_location":{"id":"pmh:oai:numdam.org:ITA_2013__47_3_241_0","is_oa":true,"landing_page_url":"http://www.numdam.org/articles/10.1051/ita/2013038/","pdf_url":"https://www.numdam.org/item/10.1051/ita/2013038.pdf","source":{"id":"https://openalex.org/S4306402264","display_name":"French digital mathematics library (Numdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I70900168","host_organization_name":"Universit\u00e9 Savoie Mont Blanc","host_organization_lineage":["https://openalex.org/I70900168"],"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":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2058300963.pdf","grobid_xml":"https://content.openalex.org/works/W2058300963.grobid-xml"},"referenced_works_count":20,"referenced_works":["https://openalex.org/W85324871","https://openalex.org/W93530799","https://openalex.org/W150474545","https://openalex.org/W1498993177","https://openalex.org/W1552693082","https://openalex.org/W1963893271","https://openalex.org/W1974938157","https://openalex.org/W1978191224","https://openalex.org/W2007736689","https://openalex.org/W2064071505","https://openalex.org/W2066080128","https://openalex.org/W2067889072","https://openalex.org/W2125463200","https://openalex.org/W2156501576","https://openalex.org/W2159341052","https://openalex.org/W2168676717","https://openalex.org/W2403144926","https://openalex.org/W4210271619","https://openalex.org/W4230398518","https://openalex.org/W4241108585"],"related_works":["https://openalex.org/W2036239146","https://openalex.org/W1978042415","https://openalex.org/W4292852259","https://openalex.org/W2074170378","https://openalex.org/W2910921998","https://openalex.org/W4207011800","https://openalex.org/W2035770706","https://openalex.org/W2048825734","https://openalex.org/W2497497687","https://openalex.org/W2345600497"],"abstract_inverted_index":{"We":[0,18],"discuss":[1],"how":[2],"much":[3],"space":[4,26,55,109],"is":[5,15,27,36,69,72,90,110,129],"sufficient":[6,28],"to":[7,59,96,113],"decide":[8],"whether":[9],"a":[10,16,30,70,98,116],"unary":[11],"given":[12,88],"number":[13],"n":[14,24,76,83,89,101,107,123],"prime.":[17],"show":[19],"that":[20],"O":[21,104],"(log":[22,105,122],"log":[23,75,82,106],")":[25,77,108,124],"for":[29,49],"deterministic":[31],"Turing":[32],"machine,":[33,52],"if":[34,53,86],"it":[35],"equipped":[37],"with":[38],"an":[39,50],"additional":[40],"pebble":[41],"movable":[42],"along":[43],"the":[44,54,67,87,126,132,137,140],"input":[45,133],"tape,":[46],"and":[47,78],"also":[48,79],"alternating":[51],"restriction":[56],"applies":[57],"only":[58],"its":[60],"accepting":[61],"computation":[62],"subtrees.":[63],"In":[64],"other":[65],"words,":[66],"language":[68],"prime":[71],"in":[73,80],"pebble\u2013DSPACE(log":[74],"accept\u2013ASPACE(log":[81],").":[84],"Moreover,":[85],"composite,":[91],"such":[92],"machines":[93],"are":[94],"able":[95],"find":[97],"divisor":[99,128],"of":[100],".":[102],"Since":[103],"too":[111],"small":[112],"write":[114],"down":[115],"divisor,":[117],"which":[118],"might":[119],"require":[120],"\u03a9":[121],"bits,":[125],"witness":[127],"indicated":[130],"by":[131],"head":[134],"position":[135],"at":[136],"moment":[138],"when":[139],"machine":[141],"halts.":[142]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}