{"id":"https://openalex.org/W3194115108","doi":"https://doi.org/10.1007/s11786-022-00539-2","title":"Using Semicontinuity for Standard Bases Computations","display_name":"Using Semicontinuity for Standard Bases Computations","publication_year":2022,"publication_date":"2022-10-17","ids":{"openalex":"https://openalex.org/W3194115108","doi":"https://doi.org/10.1007/s11786-022-00539-2","mag":"3194115108"},"language":"en","primary_location":{"id":"doi:10.1007/s11786-022-00539-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11786-022-00539-2","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11786-022-00539-2.pdf","source":{"id":"https://openalex.org/S136038430","display_name":"Mathematics in Computer Science","issn_l":"1661-8270","issn":["1661-8270","1661-8289"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320186","host_organization_name":"Birkh\u00e4user","host_organization_lineage":["https://openalex.org/P4310320186","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Birkh\u00e4user","Springer Science+Business Media"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematics in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s11786-022-00539-2.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5062224773","display_name":"Gert\u2013Martin Greuel","orcid":"https://orcid.org/0000-0002-2521-019X"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Gert-Martin Greuel","raw_affiliation_strings":["Kaiserslautern, Germany"],"affiliations":[{"raw_affiliation_string":"Kaiserslautern, Germany","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035101218","display_name":"Gerhard Pfister","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gerhard Pfister","raw_affiliation_strings":["Kaiserslautern, Germany"],"affiliations":[{"raw_affiliation_string":"Kaiserslautern, Germany","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076709218","display_name":"Hans Sch\u00f6nemann","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hans Sch\u00f6nemann","raw_affiliation_strings":["Kaiserslautern, Germany"],"affiliations":[{"raw_affiliation_string":"Kaiserslautern, Germany","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5062224773"],"corresponding_institution_ids":[],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":{"value":2390,"currency":"EUR","value_usd":2990},"fwci":0.1503,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.44783324,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"16","issue":"4","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9998000264167786,"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/T11435","display_name":"Polynomial and algebraic computation","score":0.9998000264167786,"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/T12069","display_name":"Commutative Algebra and Its Applications","score":0.9991999864578247,"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"}},{"id":"https://openalex.org/T10061","display_name":"Algebraic Geometry and Number Theory","score":0.9962999820709229,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.6208975315093994},{"id":"https://openalex.org/keywords/prime-ideal","display_name":"Prime ideal","score":0.4518234431743622},{"id":"https://openalex.org/keywords/ideal","display_name":"Ideal (ethics)","score":0.4236149787902832},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.4167477488517761},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.37980353832244873},{"id":"https://openalex.org/keywords/prime","display_name":"Prime (order theory)","score":0.36930906772613525},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3598424792289734},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.1710798144340515},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.14741402864456177}],"concepts":[{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.6208975315093994},{"id":"https://openalex.org/C2779467367","wikidata":"https://www.wikidata.org/wiki/Q863912","display_name":"Prime ideal","level":3,"score":0.4518234431743622},{"id":"https://openalex.org/C2776639384","wikidata":"https://www.wikidata.org/wiki/Q840396","display_name":"Ideal (ethics)","level":2,"score":0.4236149787902832},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.4167477488517761},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.37980353832244873},{"id":"https://openalex.org/C184992742","wikidata":"https://www.wikidata.org/wiki/Q7243229","display_name":"Prime (order theory)","level":2,"score":0.36930906772613525},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3598424792289734},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.1710798144340515},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.14741402864456177},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/s11786-022-00539-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11786-022-00539-2","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11786-022-00539-2.pdf","source":{"id":"https://openalex.org/S136038430","display_name":"Mathematics in Computer Science","issn_l":"1661-8270","issn":["1661-8270","1661-8289"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320186","host_organization_name":"Birkh\u00e4user","host_organization_lineage":["https://openalex.org/P4310320186","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Birkh\u00e4user","Springer Science+Business Media"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematics in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2108.09735","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2108.09735","pdf_url":"https://arxiv.org/pdf/2108.09735","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":"pmh:oai:kluedo.ub.rptu.de:7919","is_oa":false,"landing_page_url":"https://nbn-resolving.org/urn:nbn:de:hbz:386-kluedo-79196","pdf_url":null,"source":{"id":"https://openalex.org/S4306402046","display_name":"Publication Server of Kaiserslautern University of Technology (Kaiserslautern University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I153267046","host_organization_name":"University of Kaiserslautern","host_organization_lineage":["https://openalex.org/I153267046"],"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":"doc-type:Article"}],"best_oa_location":{"id":"doi:10.1007/s11786-022-00539-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11786-022-00539-2","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11786-022-00539-2.pdf","source":{"id":"https://openalex.org/S136038430","display_name":"Mathematics in Computer Science","issn_l":"1661-8270","issn":["1661-8270","1661-8289"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320186","host_organization_name":"Birkh\u00e4user","host_organization_lineage":["https://openalex.org/P4310320186","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Birkh\u00e4user","Springer Science+Business Media"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematics in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320310969","display_name":"Technische Universit\u00e4t Kaiserslautern","ror":"https://ror.org/04zrf7b53"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3194115108.pdf","grobid_xml":"https://content.openalex.org/works/W3194115108.grobid-xml"},"referenced_works_count":7,"referenced_works":["https://openalex.org/W1548944036","https://openalex.org/W1982098398","https://openalex.org/W2061715373","https://openalex.org/W2109637502","https://openalex.org/W2175098281","https://openalex.org/W2995362502","https://openalex.org/W6635962186"],"related_works":["https://openalex.org/W3198669146","https://openalex.org/W4253557187","https://openalex.org/W4313185199","https://openalex.org/W4404206071","https://openalex.org/W2731785143","https://openalex.org/W3105854873","https://openalex.org/W2032102388","https://openalex.org/W2992465729","https://openalex.org/W2391789921","https://openalex.org/W4385629668"],"abstract_inverted_index":{"Abstract":[0],"We":[1,33,109],"present":[2,258],"new":[3,63],"results":[4],"on":[5],"standard":[6,69],"basis":[7,70],"computations":[8,242],"of":[9,23,37,44,50,71,79,90,95,195],"a":[10,15,24,28,42,51,62,68,91,119,135,143,193],"0-dimensional":[11],"ideal":[12,94],"I":[13,72],"in":[14,20,41,102,243,250],"power":[16],"series":[17],"ring":[18,26],"or":[19],"the":[21,35,38,48,76,84,87,103,138,148,200,226,251],"localization":[22],"polynomial":[25],"over":[27,86,106,147],"computable":[29],"field":[30,78,89,190],"K":[31,74,107],".":[32,55,81,108],"prove":[34,110],"semicontinuity":[36,57],"\u201chighest":[39],"corner\u201d":[40],"family":[43],"ideals,":[45],"parametrized":[46],"by":[47,137],"spectrum":[49],"Noetherian":[52,155],"domain":[53],"A":[54,80,96],"This":[56],"is":[58,75,122,131,133,229,248],"used":[59],"to":[60,97,125],"design":[61],"modular":[64,207,239],"algorithm":[65,141,247],"for":[66,153,209,241],"computing":[67],"if":[73],"quotient":[77],"It":[82,228],"uses":[83],"computation":[85,105],"residue":[88],"\u201cgood\u201d":[92],"prime":[93,114],"truncate":[98],"high":[99],"order":[100],"terms":[101],"subsequent":[104],"that":[111],"almost":[112],"all":[113],"ideals":[115],"are":[116,162],"good,":[117,127],"so":[118],"random":[120],"choice":[121],"very":[123],"likely":[124],"be":[126,235],"and":[128,151,174,191,233,256],"whether":[129],"it":[130,222],"good":[132],"detected":[134],"posteriori":[136],"algorithm.":[139],"The":[140,157,246],"yields":[142],"significant":[144],"speed":[145],"advantage":[146],"non-modular":[149],"version":[150],"works":[152],"arbitrary":[154],"domains.":[156],"most":[158],"important":[159],"special":[160],"cases":[161],"perhaps":[163],"$$A={\\mathbb":[164,210],"{Z}}$$":[165,211],"<mml:math":[166,176,212],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[167,177,213],"<mml:mrow>":[168,178,214],"<mml:mi>A</mml:mi>":[169,179,215],"<mml:mo>=</mml:mo>":[170,180,216],"<mml:mi>Z</mml:mi>":[171,217],"</mml:mrow>":[172,185,218],"</mml:math>":[173,186,219],"$$A=k[t]$$":[175],"<mml:mi>k</mml:mi>":[181],"<mml:mo>[</mml:mo>":[182],"<mml:mi>t</mml:mi>":[183],"<mml:mo>]</mml:mo>":[184],",":[187,220],"k":[188],"any":[189],"t":[192],"set":[194],"parameters.":[196],"Besides":[197],"its":[198,262],"generality,":[199],"method":[201],"differs":[202],"substantially":[203],"from":[204],"previously":[205],"known":[206],"algorithms":[208],"since":[221],"does":[223],"not":[224],"manipulate":[225],"coefficients.":[227],"also":[230],"usually":[231],"faster":[232],"can":[234],"combined":[236],"with":[237],"other":[238],"methods":[240],"local":[244],"rings.":[245],"implemented":[249],"computer":[252],"algebra":[253],"system":[254],"Singular":[255],"we":[257],"several":[259],"examples":[260],"illustrating":[261],"power.":[263]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-03-18T14:38:29.013473","created_date":"2025-10-10T00:00:00"}