{"id":"https://openalex.org/W1992305362","doi":"https://doi.org/10.1145/1145768.1145771","title":"Computational communicative algebra","display_name":"Computational communicative algebra","publication_year":2006,"publication_date":"2006-07-09","ids":{"openalex":"https://openalex.org/W1992305362","doi":"https://doi.org/10.1145/1145768.1145771","mag":"1992305362"},"language":"en","primary_location":{"id":"doi:10.1145/1145768.1145771","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1145768.1145771","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2006 international symposium on Symbolic and algebraic computation","raw_type":"proceedings-article"},"type":"article","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/A5066020824","display_name":"H.N.J. Poulisse","orcid":null},"institutions":[{"id":"https://openalex.org/I7923278","display_name":"Shell (Netherlands)","ror":"https://ror.org/00b5m4j81","country_code":"NL","type":"company","lineage":["https://openalex.org/I7923278"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Hennie Poulisse","raw_affiliation_strings":["Shell International Exploration & Production, Rijswijk, Netherlands"],"affiliations":[{"raw_affiliation_string":"Shell International Exploration & Production, Rijswijk, Netherlands","institution_ids":["https://openalex.org/I7923278"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5066020824"],"corresponding_institution_ids":["https://openalex.org/I7923278"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.08877636,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"24","issue":null,"first_page":"3","last_page":"4"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9959999918937683,"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.9959999918937683,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9645000100135803,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9366000294685364,"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/construct","display_name":"Construct (python library)","score":0.5511363744735718},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5406079292297363},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.527739405632019},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.5264374017715454},{"id":"https://openalex.org/keywords/subject","display_name":"Subject (documents)","score":0.5119549036026001},{"id":"https://openalex.org/keywords/rank","display_name":"Rank (graph theory)","score":0.4552766680717468},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.4499649405479431},{"id":"https://openalex.org/keywords/connection","display_name":"Connection (principal bundle)","score":0.4498178958892822},{"id":"https://openalex.org/keywords/kepler","display_name":"Kepler","score":0.4375866651535034},{"id":"https://openalex.org/keywords/gauss","display_name":"Gauss","score":0.4240518808364868},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2842860221862793},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.1799498200416565},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.0948394238948822},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.08932435512542725}],"concepts":[{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.5511363744735718},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5406079292297363},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.527739405632019},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.5264374017715454},{"id":"https://openalex.org/C2777855551","wikidata":"https://www.wikidata.org/wiki/Q12310021","display_name":"Subject (documents)","level":2,"score":0.5119549036026001},{"id":"https://openalex.org/C164226766","wikidata":"https://www.wikidata.org/wiki/Q7293202","display_name":"Rank (graph theory)","level":2,"score":0.4552766680717468},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.4499649405479431},{"id":"https://openalex.org/C13355873","wikidata":"https://www.wikidata.org/wiki/Q2920850","display_name":"Connection (principal bundle)","level":2,"score":0.4498178958892822},{"id":"https://openalex.org/C207963374","wikidata":"https://www.wikidata.org/wiki/Q47592","display_name":"Kepler","level":3,"score":0.4375866651535034},{"id":"https://openalex.org/C161794534","wikidata":"https://www.wikidata.org/wiki/Q177493","display_name":"Gauss","level":2,"score":0.4240518808364868},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2842860221862793},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.1799498200416565},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0948394238948822},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.08932435512542725},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.0},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","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/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C150846664","wikidata":"https://www.wikidata.org/wiki/Q7602306","display_name":"Stars","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1145768.1145771","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1145768.1145771","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2006 international symposium on Symbolic and algebraic computation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5699999928474426,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W1493026726","https://openalex.org/W1529743226","https://openalex.org/W1550054248","https://openalex.org/W1571225315","https://openalex.org/W1982662469","https://openalex.org/W2074119680","https://openalex.org/W2079751279","https://openalex.org/W2099652582","https://openalex.org/W2116004197","https://openalex.org/W4298289021"],"related_works":["https://openalex.org/W2577502644","https://openalex.org/W2734892257","https://openalex.org/W4248372522","https://openalex.org/W2576891438","https://openalex.org/W2024447132","https://openalex.org/W2940411870","https://openalex.org/W1982924459","https://openalex.org/W2971308454","https://openalex.org/W4240411503","https://openalex.org/W4225742872"],"abstract_inverted_index":{"Can":[0],"we":[1,23,208,981],"be":[2,252,340,349,379,438,469,504,527,586,613,750,989],"-":[3,5,31,39,145,267,293,305,307,396,398,539,541,648,655,678,684,689,693,696,700,783,791,816,825,839,844,848,855,877,895,898,993,1009,1014],"algebraically":[4],"exact":[6],"about":[7,303,479],"something":[8],"approximate?":[9],"We":[10],"may,":[11],"in":[12,50,151,156,165,173,205,221,247,264,311,367,489,535,545,588,649,737,845,900,942,1005,1015],"the":[13,27,30,51,61,106,159,174,182,189,197,212,226,230,236,262,286,301,304,322,325,328,332,365,368,389,404,409,412,416,434,442,446,481,500,507,523,564,580,589,608,617,630,650,674,703,710,725,734,738,745,757,764,773,788,809,841,847,850,868,873,879,884,888,893,901,908,919,935,958,1000],"first":[14,143,739],"instance,":[15],"reject":[16],"vigorously":[17],"this":[18,64,91,111,206,243,255,298,360,373,450,561,640,905,977,985],"seemingly":[19],"'indecent'":[20],"thought.":[21],"However,":[22],"should":[24],"realize":[25],"that":[26,74,95,300,314,426,433,452,486,563,579,602,632,643,715,720,744,784,983],"addition":[28],"of":[29,36,63,93,110,119,176,214,225,257,279,331,343,352,395,441,537,547,566,598,619,637,639,652,660,709,727,759,767,770,796,862,887,948,1018],"from":[32,90,188,261,385,392,411,485,506,673,787,792,966],"an":[33,341,350,620,803,949],"applications":[34,570,852],"point":[35,109],"view":[37,1007],"suggestive":[38],"adjective":[40],"'Computational'":[41],"to":[42,83,126,138,181,184,251,321,339,348,407,415,468,503,521,733,752,778,1032],"subjects":[43],"like":[44,817],"'Commutative":[45],"Algebra'":[46],"and":[47,217,402,549,682,694,762,821,891,923,1012,1029],"'Algebraic":[48],"Geometry'":[49],"past":[52],"decades":[53],"have":[54,77,99,502],"provoked":[55],"these":[56,96,134,161,362,490,554,644,832],"thoughts.":[57],"This":[58,104,178,318,799],"is":[59,67,105,164,171,259,289,309,315,374,400,406,458,519,571,576,624,627,667,714,742,775,785,800,865,916,932,953,1004],"where":[60,388,403,480],"subject":[62],"invited":[65],"talk":[66,592],"coming":[68,484],"from.":[69],"And":[70,471],"it":[71,249,472,716,741,864],"turns":[72],"out":[73],"what":[75,170,495],"might":[76],"been":[78,100,477,497],"initially":[79],"a":[80,122,127,194,201,265,274,312,344,353,356,375,382,393,439,453,460,596,635,657,669,768,780,793,827,930,954,990],"misunderstanding,":[81],"leads":[82],"fascinating,":[84],"new":[85,97,670,812,833,946,978],"algebraic":[86,829],"challenges.":[87],"It":[88],"follows":[89],"line":[92,493],"thoughts":[94],"developments":[98,601,836,1022],"motivated":[101],"by":[102,169,381,445,629,962],"applications.":[103],"real":[107,266,292,540],"starting":[108],"talk.":[112],"Non-linear":[113],"interactions":[114,135,308,366],"between":[115],"variables,":[116,280],"or":[117,146,268,294],"groups":[118,278],"variables":[120],"describing":[121],"particular":[123,616,1016],"'system'":[124],"determine":[125],"large":[128],"extent":[129],"its":[130,1019],"performance.":[131],"But":[132,297,509],"especially":[133],"are":[136,209,483,487,556,603,721,814,960,971,1023],"difficult":[137],"capture.":[139],"Methods":[140],"based":[141,232],"on":[142,233,595,604,656],"principles":[144],"'physical'":[147],"models":[148],"work":[149],"well":[150,246],"simulations,":[152],"but":[153,543],"fail":[154,899],"hopelessly":[155],"practice":[157],"as":[158],"information":[160,302],"methods":[162],"require":[163],"no":[166,577],"way":[167,361,578],"covered":[168],"available":[172],"form":[175,952],"measurements.":[177,515],"has":[179,319,476,496],"led":[180,320],"idea":[183,323,377],"construct":[185,522],"model":[186,195,223],"descriptions":[187,224],"measurements,":[190],"rather":[191,335],"than":[192,336],"imposing":[193],"upon":[196],"system.":[198],"To":[199],"quote":[200],"famous,":[202],"historical":[203],"example":[204],"connection,":[207],"following":[210],"here":[211,532],"traces":[213],"Johannes":[215],"Kepler":[216],"Carl":[218],"Friedrich":[219],"Gauss":[220],"their":[222,420],"planet":[227],"orbits":[228],"around":[229],"sun":[231],"observations":[234],"because":[235,1017],"physical":[237],"state":[238],"was,":[239],"literally,":[240],"unreachable.":[241],"While":[242],"method":[244,518,870],"works":[245],"practice,":[248],"needs":[250],"refined.":[253],"Traditionally":[254],"type":[256],"problems":[258,609,735,1035],"described":[260,610,736],"onset":[263],"complex":[269,295],"vector":[270],"space":[271],"setting.":[272,903],"As":[273],"consequence":[275],"combining":[276],"different":[277,329,786],"or,":[281],"more":[282,512],"suggestively":[283],"subsystems":[284],"comprising":[285],"total":[287,390,417,435,765],"system,":[288],"accomplished":[290,801],"through":[291,802],"numbers.":[296],"means":[299,451,511,531,562],"decisive":[306],"condensed":[310],"number":[313,597],"practically":[316],"lost.":[317],"for":[324,702,756,763,831,840,849,858,871,913,934,939,973,999],"parameters":[326,363],"gluing":[327],"parts":[330],"system":[333,369,636],"together,":[334],"restricting":[337],"them":[338,347],"element":[342,351],"field,":[345],"allowing":[346],"ring,":[354],"specifically":[355,513],"polynomial":[357,718,754],"ring.":[358],"In":[359,492,615,904],"reveal":[364],"under":[370,729],"consideration.":[371,730],"That":[372,463],"useful":[376],"will":[378,526,988],"substantiated":[380],"specific":[383],"situation":[384],"oil":[386,760],"industry":[387],"production":[391,436,766],"group":[394,769],"interacting":[397],"wells":[399,414],"considered":[401],"problem":[405,457,582,774,876,912],"establish":[408],"contributions":[410],"separate":[413,447],"production,":[418],"acknowledging":[419],"interactions.":[421],"A":[422],"very":[423,572],"short":[424],"route":[425],"runs":[427],"over":[428,724],"Hilbert's":[429],"Nullstellensatz":[430],"[6]":[431],"shows":[432],"must":[437],"member":[440],"ideal":[443,641,782,790],"generated":[444],"productions.":[448],"So":[449,516],"really":[454],"important":[455],"industrial":[456,851],"'just'":[459],"membership":[461,581,875,910],"problem.":[462],"sounds":[464],"almost":[465,722],"too":[466],"good":[467],"true.":[470],"is.":[473],"Because":[474],"nothing":[475],"said":[478],"polynomials":[482,501,555],"used":[488,751],"considerations.":[491],"with":[494,568,606,1030],"stated":[498],"above":[499,584,611],"constructed":[505],"data.":[508],"'data'":[510],"noisy":[514],"whatever":[517],"employed":[520],"polynomials,":[524],"they":[525],"'uncertain'":[528],"objects.":[529],"Uncertainty":[530],"not":[533],"only":[534],"terms":[536,546],"uncertain":[538],"coefficients,":[542],"also":[544],"support":[548],"degree.":[550],"Following":[551],"Stetter":[552],"[11],":[553],"called":[557],"Empirical":[558,797],"Polynomials.":[559,798],"Clearly":[560],"confrontation":[565],"algebra":[567,1002],"real-life":[569],"brutal.":[573],"Obviously":[574],"there":[575,633],"mentioned":[583],"could":[585],"pursued":[587],"'normal'":[590],"way.The":[591],"then":[593],"concentrates":[594],"new,":[599],"fascinating":[600],"going,":[605],"which":[607,626,943],"can":[612],"addressed.":[614],"concept":[618,947],"Approximate":[621,663,704,711,746,804,818,822,856,920,936],"Vanishing":[622,705,712,747,921],"Ideal":[623,713,748],"introduced,":[625],"defined":[628],"fact":[631],"exists":[634],"generators":[638,645],"such":[642],"'almost":[646],"vanish'":[647],"sense":[651],"small":[653],"evaluations":[654],"given":[658,794],"set":[659,726],"points.":[661],"The":[662,996],"Buchberger-Mller":[664],"(ABM)":[665],"algorithm":[666,671,677],"presented,":[668],"derived":[672],"classical":[675],"BM":[676],"see":[679,690,697,896],"[2],":[680],"[8],":[681],"[1]":[683],"calculating":[685],"Grbner":[686,889],"-,":[687],"Border":[688,805],"[4],":[691],"[5]":[692],"Macaulay":[695,927],"[9],":[698],"[10]":[699],"Basis":[701,806],"Ideal.":[706],"An":[707],"interpretation":[708],"reveals":[717],"identities":[719],"satisfied":[723],"points":[728],"With":[731],"reference":[732],"paragraph":[740],"noted":[743],"may":[749],"find":[753],"expressions":[755],"productions":[758],"wells,":[761],"wells.":[771],"Next":[772],"addressed":[776],"how":[777],"calculate":[779],"'sensible'":[781],"unit":[789],"collection":[795],"Algorithm.":[807],"Along":[808],"way,":[810],"several":[811],"concepts":[813],"introduced":[815],"Leading":[819,823],"Coefficient":[820],"Term":[824],"providing":[826],"solid":[828],"foundation":[830],"developments.":[834],"These":[835],"culminate":[837],"finally":[838],"time":[842],"being":[843],"addressing":[846,1033],"so":[853],"crucial":[854],"Membership":[857,938],"Zero-Dimensional":[859,940],"Ideals.":[860],"First":[861],"all":[863],"stipulated":[866],"why":[867],"standard":[869],"solving":[872],"explicit":[874],"via":[878],"extended":[880],"Buchberger":[881],"algorithm,":[882],"computing":[883],"syzygy":[885],"module":[886],"Basis,":[890],"transforming":[892],"syzygies":[894],"[7]":[897,1013],"approximate":[902,906,909,950],"setting":[907],"decision":[911],"zero-dimensional":[914],"ideals":[915],"settled":[917],"using":[918,964],"Ideal,":[922],"completely":[924],"reduced,":[925],"orthogonal":[926],"Basis.":[928],"Finally":[929],"solution":[931],"presented":[933],"Explicit":[937],"Ideals,":[941],"yet":[944],"another":[945],"normal":[951],"key":[955],"element.Wherever":[956],"possible":[957],"results":[959],"highlighted":[961],"examples":[963],"data":[965],"real-world":[967,1034],"problems.The":[968],"closing":[969],"remarks":[970],"reserved":[972],"our":[974,1006],"vision":[975],"concerning":[976],"development.":[979],"Specifically":[980],"expect":[982],"realizing":[984],"program":[986],"computationally":[987],"joint":[991],"numerical":[992],"symbolic":[994],"effort.":[995],"best":[997],"candidate":[998],"computer":[1001],"part":[1003],"CoCoA":[1008],"[3],":[1010],"[6],":[1011],"superior":[1020],"library.Our":[1021],"up":[1024],"till":[1025],"now":[1026],"still":[1027],"commutative,":[1028],"respect":[1031],"absolutely":[1036],"communicative!.":[1037]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}