{"id":"https://openalex.org/W4285326687","doi":"https://doi.org/10.2478/forma-2021-0020","title":"Prime Representing Polynomial","display_name":"Prime Representing Polynomial","publication_year":2021,"publication_date":"2021-12-01","ids":{"openalex":"https://openalex.org/W4285326687","doi":"https://doi.org/10.2478/forma-2021-0020"},"language":"en","primary_location":{"id":"doi:10.2478/forma-2021-0020","is_oa":true,"landing_page_url":"https://doi.org/10.2478/forma-2021-0020","pdf_url":"https://www.sciendo.com/pdf/10.2478/forma-2021-0020","source":{"id":"https://openalex.org/S179241345","display_name":"Formalized Mathematics","issn_l":"1426-2630","issn":["1426-2630","1898-9934"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320322","host_organization_name":"De Gruyter Open","host_organization_lineage":["https://openalex.org/P4310320322","https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter Open","De Gruyter"],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formalized Mathematics","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://www.sciendo.com/pdf/10.2478/forma-2021-0020","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5054103364","display_name":"Karol P\u0105k","orcid":"https://orcid.org/0000-0002-7099-1669"},"institutions":[{"id":"https://openalex.org/I245364917","display_name":"University of Bia\u0142ystok","ror":"https://ror.org/01qaqcf60","country_code":"PL","type":"education","lineage":["https://openalex.org/I245364917"]},{"id":"https://openalex.org/I4210087266","display_name":"Institute of Computer Science","ror":"https://ror.org/003fvp964","country_code":"PL","type":"facility","lineage":["https://openalex.org/I4210087266","https://openalex.org/I99542240"]}],"countries":["PL"],"is_corresponding":true,"raw_author_name":"Karol P\u0105k","raw_affiliation_strings":["Institute of Computer Science , University of Bia\u0142ystok , Poland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computer Science , University of Bia\u0142ystok , Poland","institution_ids":["https://openalex.org/I245364917","https://openalex.org/I4210087266"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5054103364"],"corresponding_institution_ids":["https://openalex.org/I245364917","https://openalex.org/I4210087266"],"apc_list":null,"apc_paid":null,"fwci":0.5459,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.73726019,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"29","issue":"4","first_page":"221","last_page":"228"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9919000267982483,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9919000267982483,"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"}},{"id":"https://openalex.org/T10061","display_name":"Algebraic Geometry and Number Theory","score":0.9786999821662903,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"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/T12069","display_name":"Commutative Algebra and Its Applications","score":0.9775000214576721,"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/mathematics","display_name":"Mathematics","score":0.7342209815979004},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.603652834892273},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.534375011920929},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.5231315493583679},{"id":"https://openalex.org/keywords/prime","display_name":"Prime (order theory)","score":0.4900277853012085},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.45720773935317993},{"id":"https://openalex.org/keywords/diophantine-equation","display_name":"Diophantine equation","score":0.4110596179962158}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7342209815979004},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.603652834892273},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.534375011920929},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.5231315493583679},{"id":"https://openalex.org/C184992742","wikidata":"https://www.wikidata.org/wiki/Q7243229","display_name":"Prime (order theory)","level":2,"score":0.4900277853012085},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.45720773935317993},{"id":"https://openalex.org/C206530611","wikidata":"https://www.wikidata.org/wiki/Q905896","display_name":"Diophantine equation","level":2,"score":0.4110596179962158},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2478/forma-2021-0020","is_oa":true,"landing_page_url":"https://doi.org/10.2478/forma-2021-0020","pdf_url":"https://www.sciendo.com/pdf/10.2478/forma-2021-0020","source":{"id":"https://openalex.org/S179241345","display_name":"Formalized Mathematics","issn_l":"1426-2630","issn":["1426-2630","1898-9934"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320322","host_organization_name":"De Gruyter Open","host_organization_lineage":["https://openalex.org/P4310320322","https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter Open","De Gruyter"],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formalized Mathematics","raw_type":"journal-article"},{"id":"pmh:oai:repozytorium.uwb.edu.pl:11320/13661","is_oa":true,"landing_page_url":"http://hdl.handle.net/11320/13661","pdf_url":null,"source":{"id":"https://openalex.org/S4306400933","display_name":"The Repository of University in Bialystok (University in Bialystok)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210094198","host_organization_name":"University Clinical Hospital In Bialystok","host_organization_lineage":["https://openalex.org/I4210094198"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"}],"best_oa_location":{"id":"doi:10.2478/forma-2021-0020","is_oa":true,"landing_page_url":"https://doi.org/10.2478/forma-2021-0020","pdf_url":"https://www.sciendo.com/pdf/10.2478/forma-2021-0020","source":{"id":"https://openalex.org/S179241345","display_name":"Formalized Mathematics","issn_l":"1426-2630","issn":["1426-2630","1898-9934"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320322","host_organization_name":"De Gruyter Open","host_organization_lineage":["https://openalex.org/P4310320322","https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter Open","De Gruyter"],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formalized Mathematics","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4285326687.pdf","grobid_xml":"https://content.openalex.org/works/W4285326687.grobid-xml"},"referenced_works_count":14,"referenced_works":["https://openalex.org/W828584324","https://openalex.org/W1522991784","https://openalex.org/W1995970600","https://openalex.org/W2000047385","https://openalex.org/W2091485072","https://openalex.org/W2295728669","https://openalex.org/W2588017875","https://openalex.org/W2770430340","https://openalex.org/W2794525229","https://openalex.org/W2963131246","https://openalex.org/W2963655725","https://openalex.org/W3119401540","https://openalex.org/W4214531226","https://openalex.org/W4244921654"],"related_works":["https://openalex.org/W2323172212","https://openalex.org/W1799780713","https://openalex.org/W4323907493","https://openalex.org/W2971148848","https://openalex.org/W2378613393","https://openalex.org/W4384345859","https://openalex.org/W4385711919","https://openalex.org/W4297688629","https://openalex.org/W1550725800","https://openalex.org/W2370478068"],"abstract_inverted_index":{"Summary":[0],"The":[1,493],"main":[2],"purpose":[3],"of":[4,12,41,87,470,517],"formalization":[5,531],"is":[6,15,18,435,438,459,505,508],"to":[7,62,467,482],"prove":[8,63,422],"that":[9,73,104,423,424,431,442],"the":[10,29,39,59,64,85,99,109,453,461,468,503,515],"set":[11,469],"prime":[13,436,471,500,523],"numbers":[14],"diophantine,":[16],"i.e.,":[17],"representable":[19],"by":[20],"a":[21,42,68,80,89,186,203,217,239,248,283,300,325,335,360,370,397,406,448],"polynomial":[22,43,90,100,454,504],"formula.":[23],"We":[24,526],"formalize":[25],"this":[26],"problem,":[27],"using":[28],"Mizar":[30,71,110],"system":[31],"[1],":[32],"[2],":[33],"in":[34,102,108,465,484,514,533],"two":[35],"independent":[36],"ways,":[37],"proving":[38],"existence":[40,86],"without":[44,92],"formulating":[45,93],"it":[46,94,437],"explicitly":[47,506],"as":[48,50,112,519,521],"well":[49,520],"with":[51,70],"its":[52],"indication.":[53],"First,":[54],"we":[55,78,97,421],"reuse":[56],"nearly":[57],"all":[58,499],"techniques":[60],"invented":[61],"MRDP-theorem":[65],"[11].":[66],"Applying":[67],"trick":[69],"schemes":[72],"go":[74],"beyond":[75],"first-order":[76],"logic":[77],"give":[79],"short":[81],"sophisticated":[82],"proof":[83],"for":[84,425,451,498],"such":[88],"but":[91],"explicitly.":[95],"Then":[96],"formulate":[98],"proposed":[101],"[6]":[103],"has":[105],"26":[106,457],"variables":[107,447,458],"language":[111],"follows":[113],"(":[114,161,176,180,185,198,202,216,244,254,267,278,282,294,299,308,319,324,337,342,354,359,372,377,389,396],"w":[115],"\u00b7":[116,128,145,169,179,184,207,215,221,224,227,243,253,258,260,271,287,298,323,332,334,336,358,367,369,371,393,395,403,405,407,416],"z":[117,141,166,390,450],"+":[118,120,130,132,136,152,160,163,165,167,175,182,187,190,197,213,230,237,240,256,264,269,277,293,296,307,310,312,318,321,330,339,344,353,356,365,374,379,388,391,401,433],"h":[119,135,139],"j":[121,137],"\u2212":[122,140,171,192,201,210,219,232,247,251,266,281,290,301,303,314,326,328,341,347,349,361,363,376,382,384,398,409,412,414],"q":[123,164,355],")":[124,142,158,173,195,235,262,273,275,305,316,351,386,400,418],"2":[125,143,154,157,159,168,174,189,194,196,200,204,209,212,218,223,226,229,234,236,242,246,250,263,274,276,280,284,289,292,306,317,346,352,381,387,411,419],"+((":[126],"g":[127,131],"k":[129,133,146,149,295,429,432],")\u00b7(":[134],")+":[138],"+(2":[144],"3":[147,178],"\u00b7(2\u00b7":[148],"+2)\u00b7(":[150],"n":[151,170,255,309,327,338,343],"1)":[153,188,206,211,220,252,286,291,302,329,340,345,348,364,375,380,383,413],"+1\u2212":[155],"f":[156],"p":[162,320,362,373,378,392,399,408,410,415],"e":[172,177,181],"2)":[183],"1":[191,231,265,434],"o":[193],"x":[199,268,385],"\u2212\u2032":[205,285],"y":[208,225,228,261,315,357],"(16":[214],"r":[222],"u":[233,241,245,272],"(((":[238],"))":[249],"4":[257],"d":[259],"c":[270],"m":[279,350,417],"l":[288,304,311,322,394],"i":[297],"v":[313],"b":[331],"(2":[333,368,404],"s":[366],"t":[402],"and":[420,440],"any":[426,474],"positive":[427],"integer":[428],"so":[430],"necessary":[439],"sufficient":[441],"there":[443],"exist":[444],"other":[445],"natural":[446],"-":[449],"which":[452],"equals":[455],"zero.":[456],"not":[460],"best":[462,494],"known":[463,496],"result":[464,497],"relation":[466],"numbers,":[472,501],"since":[473],"diophantine":[475],"equation":[476],"over":[477],"\u2115":[478],"can":[479],"be":[480],"reduced":[481],"one":[483],"13":[485],"unknowns":[486],"[8]":[487],"or":[488,511],"even":[489,512],"less":[490],"[5],":[491],"[13].":[492],"currently":[495,528],"where":[502],"constructed":[507],"10":[509],"[7]":[510],"7":[513],"case":[516],"Fermat":[518],"Mersenne":[522],"number":[524],"[4].":[525],"are":[527],"focusing":[529],"our":[530],"efforts":[532],"th":[534]},"counts_by_year":[{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}