{"id":"https://openalex.org/W2787284415","doi":"https://doi.org/10.1145/3208976.3208991","title":"Certification of Minimal Approximant Bases","display_name":"Certification of Minimal Approximant Bases","publication_year":2018,"publication_date":"2018-07-11","ids":{"openalex":"https://openalex.org/W2787284415","doi":"https://doi.org/10.1145/3208976.3208991","mag":"2787284415"},"language":"en","primary_location":{"id":"doi:10.1145/3208976.3208991","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3208976.3208991","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1802.01920","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5064771365","display_name":"Pascal Giorgi","orcid":"https://orcid.org/0000-0002-0489-5134"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I19894307","display_name":"Universit\u00e9 de Montpellier","ror":"https://ror.org/051escj72","country_code":"FR","type":"education","lineage":["https://openalex.org/I19894307"]},{"id":"https://openalex.org/I4210101743","display_name":"Laboratoire d'Informatique, de Robotique et de Micro\u00e9lectronique de Montpellier","ror":"https://ror.org/013yean28","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I151295451","https://openalex.org/I19894307","https://openalex.org/I4210101743","https://openalex.org/I4210159245","https://openalex.org/I4405261681"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Pascal Giorgi","raw_affiliation_strings":["LIRMM, Universit\u00e9 de Montpellier, CNRS, Montpellier, France","LIRMM, Universit\u00e9 de Montpellier / CNRS,Montpellier,France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIRMM, Universit\u00e9 de Montpellier, CNRS, Montpellier, France","institution_ids":["https://openalex.org/I19894307","https://openalex.org/I4210101743","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"LIRMM, Universit\u00e9 de Montpellier / CNRS,Montpellier,France","institution_ids":["https://openalex.org/I19894307","https://openalex.org/I4210101743","https://openalex.org/I1294671590"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016685971","display_name":"Vincent Neiger","orcid":"https://orcid.org/0000-0002-8311-9490"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210093397","display_name":"XLIM","ror":"https://ror.org/00f7srh09","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I32881790","https://openalex.org/I4210093397","https://openalex.org/I4210095849","https://openalex.org/I65806277"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Vincent Neiger","raw_affiliation_strings":["Univ. Limoges, CNRS, XLIM, UMR 7252, Limoges, France","University Limoges, CNRS, XLIM, UMR 7252, Limoges, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ. Limoges, CNRS, XLIM, UMR 7252, Limoges, France","institution_ids":["https://openalex.org/I4210093397","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"University Limoges, CNRS, XLIM, UMR 7252, Limoges, France","institution_ids":["https://openalex.org/I1294671590"]}]}],"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":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.02760793,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"167","last_page":"174"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10996","display_name":"Computational Geometry and Mesh Generation","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1704","display_name":"Computer Graphics and Computer-Aided Design"},"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/T10996","display_name":"Computational Geometry and Mesh Generation","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1704","display_name":"Computer Graphics and Computer-Aided Design"},"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/T11435","display_name":"Polynomial and algebraic computation","score":0.9987999796867371,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9980999827384949,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/gas-meter-prover","display_name":"Gas meter prover","score":0.7938398122787476},{"id":"https://openalex.org/keywords/certificate","display_name":"Certificate","score":0.5308889746665955},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.5166985988616943},{"id":"https://openalex.org/keywords/discrete-logarithm","display_name":"Discrete logarithm","score":0.5012807846069336},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.49592265486717224},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4844239056110382},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.47987619042396545},{"id":"https://openalex.org/keywords/finite-field","display_name":"Finite field","score":0.4563778340816498},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.44061028957366943},{"id":"https://openalex.org/keywords/matrix","display_name":"Matrix (chemical analysis)","score":0.43865862488746643},{"id":"https://openalex.org/keywords/basis","display_name":"Basis (linear algebra)","score":0.4312566816806793},{"id":"https://openalex.org/keywords/factorization","display_name":"Factorization","score":0.4187563359737396},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.33840224146842957},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3344019949436188},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3154395818710327},{"id":"https://openalex.org/keywords/public-key-cryptography","display_name":"Public-key cryptography","score":0.18467184901237488},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.17541468143463135}],"concepts":[{"id":"https://openalex.org/C159718280","wikidata":"https://www.wikidata.org/wiki/Q5526353","display_name":"Gas meter prover","level":3,"score":0.7938398122787476},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.5308889746665955},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.5166985988616943},{"id":"https://openalex.org/C173259116","wikidata":"https://www.wikidata.org/wiki/Q864003","display_name":"Discrete logarithm","level":4,"score":0.5012807846069336},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.49592265486717224},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4844239056110382},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.47987619042396545},{"id":"https://openalex.org/C77926391","wikidata":"https://www.wikidata.org/wiki/Q603880","display_name":"Finite field","level":2,"score":0.4563778340816498},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.44061028957366943},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.43865862488746643},{"id":"https://openalex.org/C12426560","wikidata":"https://www.wikidata.org/wiki/Q189569","display_name":"Basis (linear algebra)","level":2,"score":0.4312566816806793},{"id":"https://openalex.org/C187834632","wikidata":"https://www.wikidata.org/wiki/Q188804","display_name":"Factorization","level":2,"score":0.4187563359737396},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.33840224146842957},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3344019949436188},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3154395818710327},{"id":"https://openalex.org/C203062551","wikidata":"https://www.wikidata.org/wiki/Q201339","display_name":"Public-key cryptography","level":3,"score":0.18467184901237488},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.17541468143463135},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"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/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.0},{"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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1145/3208976.3208991","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3208976.3208991","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:1802.01920","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1802.01920","pdf_url":"https://arxiv.org/pdf/1802.01920","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":"","raw_type":"text"},{"id":"mag:2787284415","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1802.01920.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:HAL:hal-01701861v2","is_oa":true,"landing_page_url":"https://unilim.hal.science/hal-01701861","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://issac-conference.org/2018/","raw_type":"Conference papers"},{"id":"doi:10.48550/arxiv.1802.01920","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1802.01920","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1802.01920","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1802.01920","pdf_url":"https://arxiv.org/pdf/1802.01920","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":"","raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W87140126","https://openalex.org/W131580685","https://openalex.org/W1594335079","https://openalex.org/W1599026900","https://openalex.org/W1968245619","https://openalex.org/W1970859238","https://openalex.org/W1971160839","https://openalex.org/W1979740015","https://openalex.org/W1986421748","https://openalex.org/W1994728957","https://openalex.org/W2000760108","https://openalex.org/W2007659444","https://openalex.org/W2016389104","https://openalex.org/W2018818965","https://openalex.org/W2051391952","https://openalex.org/W2056035813","https://openalex.org/W2057341276","https://openalex.org/W2059887287","https://openalex.org/W2065441330","https://openalex.org/W2068556643","https://openalex.org/W2080132708","https://openalex.org/W2082281843","https://openalex.org/W2094090625","https://openalex.org/W2120248756","https://openalex.org/W2253579863","https://openalex.org/W2270001959","https://openalex.org/W2295428206","https://openalex.org/W2430670595","https://openalex.org/W2557819255","https://openalex.org/W2594578205","https://openalex.org/W2594913545","https://openalex.org/W2798813531","https://openalex.org/W2950126056","https://openalex.org/W3103308523","https://openalex.org/W3103318574","https://openalex.org/W4205630623","https://openalex.org/W4231916799","https://openalex.org/W4285719527","https://openalex.org/W6603502962"],"related_works":["https://openalex.org/W2852668904","https://openalex.org/W2310092544","https://openalex.org/W1843400138","https://openalex.org/W2900385476","https://openalex.org/W2024997126","https://openalex.org/W1527878476","https://openalex.org/W2054496646","https://openalex.org/W2624997872","https://openalex.org/W2990120385","https://openalex.org/W3009863997","https://openalex.org/W1577898120","https://openalex.org/W1969348996","https://openalex.org/W2894587555","https://openalex.org/W2781303448","https://openalex.org/W3034229215","https://openalex.org/W3185217488","https://openalex.org/W2765452643","https://openalex.org/W2951033777","https://openalex.org/W3011671470","https://openalex.org/W423277714"],"abstract_inverted_index":{"For":[0],"a":[1,5,8,50,69,97],"given":[2],"computational":[3],"problem,":[4,42,77],"certificate":[6,70],"is":[7,33,78],"piece":[9],"of":[10,23,53,75,92,124],"data":[11],"that":[12,30,118],"one":[13],"(the":[14],"prover)":[15],"attaches":[16],"to":[17,180],"the":[18,21,28,38,45,76,81,93,116,125,133],"output":[19,32,49],"with":[20,101],"aim":[22],"allowing":[24],"efficient":[25],"verification":[26,91],"(by":[27],"verifier)":[29],"this":[31,137],"correct.":[34],"Here,":[35],"we":[36],"consider":[37],"minimal":[39,169],"approximant":[40,94,119,170],"basis":[41,95],"for":[43,72,129,144,156,161,172],"which":[44],"fastest":[46,126],"known":[47,127],"algorithms":[48,128],"polynomial":[51,146],"matrix":[52,147],"dimensions":[54],"m":[55,57,106],"x":[56],"and":[58,89,186],"average":[59],"degree":[60],"D/m":[61],"using":[62,83],"O~(m\u00f8mega":[63],"D/m)":[64,85],"field":[65,87],"operations.":[66],"We":[67],"propose":[68],"which,":[71],"typical":[73],"instances":[74],"computed":[79],"by":[80,96],"prover":[82],"O(m\u00f8mega":[84,104],"additional":[86],"operations":[88],"allows":[90],"Monte":[98],"Carlo":[99],"algorithm":[100],"cost":[102],"bound":[103],"+":[105],"D).":[107],"Besides":[108],"theoretical":[109],"interest,":[110],"our":[111],"motivation":[112],"also":[113],"comes":[114],"from":[115],"fact":[117],"bases":[120,171],"arise":[121],"in":[122,141,165],"most":[123],"linear":[130],"algebra":[131],"over":[132],"univariate":[134],"polynomials;":[135],"thus,":[136],"work":[138],"may":[139],"help":[140],"designing":[142],"certificates":[143,175],"other":[145],"computations.":[148],"Furthermore,":[149],"cryptographic":[150],"challenges":[151],"such":[152],"as":[153],"breaking":[154],"records":[155],"discrete":[157],"logarithm":[158],"computations":[159],"or":[160],"integer":[162],"factorization":[163],"rely":[164],"particular":[166],"on":[167,184],"computing":[168],"large":[173],"instances:":[174],"can":[176],"then":[177],"be":[178],"used":[179],"provide":[181],"reliable":[182],"computation":[183],"outsourced":[185],"error-prone":[187],"clusters.":[188]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}