{"id":"https://openalex.org/W2148367244","doi":"https://doi.org/10.1145/2442829.2442844","title":"A polynomial time algorithm for computing the HNF of a module over the integers of a number field","display_name":"A polynomial time algorithm for computing the HNF of a module over the integers of a number field","publication_year":2012,"publication_date":"2012-07-22","ids":{"openalex":"https://openalex.org/W2148367244","doi":"https://doi.org/10.1145/2442829.2442844","mag":"2148367244"},"language":"en","primary_location":{"id":"doi:10.1145/2442829.2442844","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2442829.2442844","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5030566023","display_name":"Jean\u2010Fran\u00e7ois Biasse","orcid":"https://orcid.org/0000-0001-8591-8408"},"institutions":[{"id":"https://openalex.org/I4210092646","display_name":"Calgary Laboratory Services","ror":"https://ror.org/00g6ztp19","country_code":"CA","type":"facility","lineage":["https://openalex.org/I126859394","https://openalex.org/I4210092646"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Jean-Fran\u00e7ois Biasse","raw_affiliation_strings":["Calgary, Alberta"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Calgary, Alberta","institution_ids":["https://openalex.org/I4210092646"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025858070","display_name":"Claus Fieker","orcid":"https://orcid.org/0000-0002-3420-1498"},"institutions":[{"id":"https://openalex.org/I153267046","display_name":"University of Kaiserslautern","ror":"https://ror.org/04zrf7b53","country_code":"DE","type":"education","lineage":["https://openalex.org/I153267046"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Claus Fieker","raw_affiliation_strings":["Universit\u00e4t Kaiserslautern, Kaiserslautern - Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e4t Kaiserslautern, Kaiserslautern - Germany","institution_ids":["https://openalex.org/I153267046"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.0407,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.7684713,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"75","last_page":"82"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11130","display_name":"Coding theory and cryptography","score":0.9983000159263611,"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/T11130","display_name":"Coding theory and cryptography","score":0.9983000159263611,"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/T11693","display_name":"Cryptography and Residue Arithmetic","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T12069","display_name":"Commutative Algebra and Its Applications","score":0.9976000189781189,"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/modulo","display_name":"Modulo","score":0.5510556697845459},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.5437234044075012},{"id":"https://openalex.org/keywords/hermite-polynomials","display_name":"Hermite polynomials","score":0.5370914340019226},{"id":"https://openalex.org/keywords/ring-of-integers","display_name":"Ring of integers","score":0.5347024202346802},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.530299186706543},{"id":"https://openalex.org/keywords/polynomial-ring","display_name":"Polynomial ring","score":0.5206312537193298},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5115919709205627},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.46875810623168945},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4665249288082123},{"id":"https://openalex.org/keywords/ring","display_name":"Ring (chemistry)","score":0.45233675837516785},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.44272544980049133},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.41665107011795044},{"id":"https://openalex.org/keywords/algebraic-number-field","display_name":"Algebraic number field","score":0.40101003646850586},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.39224112033843994},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.12707218527793884}],"concepts":[{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.5510556697845459},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.5437234044075012},{"id":"https://openalex.org/C201362023","wikidata":"https://www.wikidata.org/wiki/Q658574","display_name":"Hermite polynomials","level":2,"score":0.5370914340019226},{"id":"https://openalex.org/C164810661","wikidata":"https://www.wikidata.org/wiki/Q1358313","display_name":"Ring of integers","level":3,"score":0.5347024202346802},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.530299186706543},{"id":"https://openalex.org/C9485509","wikidata":"https://www.wikidata.org/wiki/Q1455652","display_name":"Polynomial ring","level":3,"score":0.5206312537193298},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5115919709205627},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.46875810623168945},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4665249288082123},{"id":"https://openalex.org/C2780378348","wikidata":"https://www.wikidata.org/wiki/Q25351438","display_name":"Ring (chemistry)","level":2,"score":0.45233675837516785},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.44272544980049133},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.41665107011795044},{"id":"https://openalex.org/C12657307","wikidata":"https://www.wikidata.org/wiki/Q616608","display_name":"Algebraic number field","level":2,"score":0.40101003646850586},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.39224112033843994},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.12707218527793884},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"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/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2442829.2442844","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2442829.2442844","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W1491861813","https://openalex.org/W1496801598","https://openalex.org/W1546634390","https://openalex.org/W1594960997","https://openalex.org/W1965370086","https://openalex.org/W1974123496","https://openalex.org/W2015855792","https://openalex.org/W2072079288","https://openalex.org/W2113579323","https://openalex.org/W2122086332","https://openalex.org/W2141040012","https://openalex.org/W2146633075","https://openalex.org/W2160707732","https://openalex.org/W2169538721","https://openalex.org/W2169649500","https://openalex.org/W2804600561","https://openalex.org/W2952761579","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W3207146599","https://openalex.org/W3185238499","https://openalex.org/W2051123510","https://openalex.org/W3014764882","https://openalex.org/W2095243145","https://openalex.org/W2021409800","https://openalex.org/W1525388079","https://openalex.org/W4301091111","https://openalex.org/W2061822292","https://openalex.org/W4303857572"],"abstract_inverted_index":{"We":[0],"present":[1,67],"a":[2,29,68],"variation":[3],"of":[4,14,26,28,70,73,91,97],"the":[5,10,24,61,71,77,89,92,95,98],"modular":[6],"algorithm":[7],"for":[8],"computing":[9],"Hermite":[11],"Normal":[12],"Form":[13],"an":[15],"OK-module":[16],"presented":[17,35],"by":[18,50],"Cohen":[19],"[4],":[20],"where":[21],"OK":[22],"is":[23],"ring":[25],"integers":[27],"number":[30],"field":[31,99],"K.":[32,100],"An":[33],"approach":[34,72],"in":[36,47,60],"[4]":[37,74],"based":[38],"on":[39],"reductions":[40],"modulo":[41],"ideals":[42],"was":[43,58],"conjectured":[44],"to":[45,75,88],"run":[46],"polynomial":[48],"time":[49],"Cohen,":[51],"but":[52],"so":[53],"far,":[54],"no":[55],"such":[56],"proof":[57],"available":[59],"literature.":[62],"In":[63],"this":[64],"paper,":[65],"we":[66,81],"modification":[69],"prevent":[76],"coefficient":[78],"swell":[79],"and":[80,94],"rigorously":[82],"assess":[83],"its":[84],"complexity":[85],"with":[86],"respect":[87],"size":[90],"input":[93],"invariants":[96]},"counts_by_year":[{"year":2016,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":3}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}