{"id":"https://openalex.org/W2076677683","doi":"https://doi.org/10.1145/980175.980182","title":"CoCoA","display_name":"CoCoA","publication_year":2004,"publication_date":"2004-03-01","ids":{"openalex":"https://openalex.org/W2076677683","doi":"https://doi.org/10.1145/980175.980182","mag":"2076677683"},"language":"en","primary_location":{"id":"doi:10.1145/980175.980182","is_oa":false,"landing_page_url":"https://doi.org/10.1145/980175.980182","pdf_url":null,"source":{"id":"https://openalex.org/S4210226623","display_name":"ACM SIGSAM Bulletin","issn_l":"0163-5824","issn":["0163-5824","1557-9492"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGSAM Bulletin","raw_type":"journal-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/A5006153905","display_name":"John Abbott","orcid":"https://orcid.org/0000-0001-5608-3835"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"John Abbott","raw_affiliation_strings":["Genova, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Genova, Italy","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5006153905"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.15698501,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"38","issue":"1","first_page":"18","last_page":"19"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9980000257492065,"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.9980000257492065,"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/T11693","display_name":"Cryptography and Residue Arithmetic","score":0.9855999946594238,"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/T11697","display_name":"Numerical Methods and Algorithms","score":0.9853000044822693,"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/computer-science","display_name":"Computer science","score":0.6016038060188293},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.5902693271636963},{"id":"https://openalex.org/keywords/symbolic-computation","display_name":"Symbolic computation","score":0.550947368144989},{"id":"https://openalex.org/keywords/mathematical-software","display_name":"Mathematical software","score":0.4456503987312317},{"id":"https://openalex.org/keywords/commutative-property","display_name":"Commutative property","score":0.438879132270813},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.43169718980789185},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.4196772277355194},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4099622666835785},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3799891173839569},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.33553773164749146},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3196585178375244},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2387215793132782},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.14799606800079346},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.10688185691833496}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6016038060188293},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.5902693271636963},{"id":"https://openalex.org/C110812573","wikidata":"https://www.wikidata.org/wiki/Q175515","display_name":"Symbolic computation","level":2,"score":0.550947368144989},{"id":"https://openalex.org/C2778400913","wikidata":"https://www.wikidata.org/wiki/Q1639024","display_name":"Mathematical software","level":3,"score":0.4456503987312317},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.438879132270813},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.43169718980789185},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.4196772277355194},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4099622666835785},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3799891173839569},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.33553773164749146},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3196585178375244},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2387215793132782},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.14799606800079346},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.10688185691833496},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/980175.980182","is_oa":false,"landing_page_url":"https://doi.org/10.1145/980175.980182","pdf_url":null,"source":{"id":"https://openalex.org/S4210226623","display_name":"ACM SIGSAM Bulletin","issn_l":"0163-5824","issn":["0163-5824","1557-9492"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGSAM Bulletin","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2326389031","https://openalex.org/W1991702489","https://openalex.org/W4256051768","https://openalex.org/W88420987","https://openalex.org/W851952888","https://openalex.org/W4387298516","https://openalex.org/W4213351373","https://openalex.org/W2913046577","https://openalex.org/W582661777","https://openalex.org/W2034475779"],"abstract_inverted_index":{"The":[0,284,323,513],"CoCoA":[1,84,106,136,170,198,253,272,343,387,425,501,527],"program":[2],"together":[3],"with":[4,113,436,500,510],"Singular":[5],"and":[6,40,75,132,147,149,213,229,231,282,307,349,371,415,469],"Macaulay":[7],"2":[8],"form":[9],"an":[10,183,204,218,404,448],"elite":[11],"group":[12],"of":[13,32,56,156,168,177,235,250,259,261,271,287,297,359,386,399,412,444],"highly":[14],"specialized":[15],"systems":[16,37],"having":[17],"as":[18,67,129,203,208,214,518],"their":[19,50,308],"main":[20],"forte":[21],"the":[22,44,79,164,175,188,190,244,257,262,269,302,314,338,342,357,383,397,409,413,416,442,479,511,526],"capability":[23],"to":[24,46,65,101,171,275,316,336,356,366,376,525],"calculate":[25],"Gr\u00f6bner":[26,48,394],"bases":[27],".":[28,162,294,423],"Although":[29],"a":[30,54,68,159,209,215,238,247,290,333,380,420,427,491,519],"number":[31,55],"general":[33],"purpose":[34],"symbolic":[35],"computation":[36],"(e.g.":[38],"REDUCE":[39],"Maple)":[41],"do":[42,172,346],"offer":[43,87],"possibility":[45],"compute":[47],"bases,":[49],"non-specialist":[51],"nature":[52],"implies":[53],"severe":[57],"compromises":[58],"which":[59,305,361,372,431,482,498],"make":[60],"them":[61],"far":[62,472],"less":[63],"suitable":[64],"act":[66],"laboratory---most":[69],"notably:":[70],"relatively":[71],"poor":[72],"execution":[73],"speed":[74],"limited":[76],"control":[77],"over":[78],"algorithm":[80,401],"parameters.":[81],"In":[82,134,396,424],"contrast,":[83],"does":[85],"not":[86,98,117],"facilities":[88],"for":[89,145,326,392],"calculus,":[90],"floating":[91],"point":[92],"computation,":[93],"or":[94],"any":[95],"other":[96,126],"area":[97],"closely":[99],"related":[100],"commutative":[102],"polynomial":[103],"algebra.Development":[104],"in":[105,119,125,141,187,196,227,268,304,447,478,485,508],"is":[107,158,192,299,330,354,389,403,483,516],"often":[108],"spurred":[109],"on":[110],"by":[111,301,313],"symbiosis":[112],"those":[114],"using":[115],"it,":[116],"only":[118],"algebraic":[120],"geometry":[121],"research":[122,146],"but":[123],"also":[124,242,373],"fields":[127],"such":[128,363],"mathematical":[130],"analysis,":[131],"statistics.":[133],"fact,":[135],"has":[137,475,495],"become":[138],"widely":[139],"used":[140],"many":[142,452],"countries":[143],"both":[144],"teaching,":[148],"its":[150,178,390],"didactic":[151],"role":[152,292],"means":[153],"that":[154,233],"ease":[155,234],"use":[157,236,296,347],"high":[160,239,248],"priority":[161,240],"Indeed,":[163],"mathematically":[165],"natural":[166],"way":[167,303],"instructing":[169],"computations":[173],"enhances":[174],"worth":[176],"technical":[179],"skills.CoCoA":[180],"5":[181,199,254,273,388,426],"represents":[182],"important":[184],"new":[185,480],"phase":[186],"project:":[189],"software":[191],"being":[193],"completely":[194],"rewritten":[195],"C++.":[197],"will":[200,255,440,506],"be":[201,367],"available":[202],"interactive":[205,514],"system":[206,515],",":[207,212],"C++":[210,288,360],"library":[211,344,481],"server":[216,494,505],"(using":[217],"OpenMath-like":[219],"interface).":[220],"We":[221],"have":[222],"already":[223,450],"achieved":[224],"significant":[225],"improvements":[226,446],"flexibility":[228,281],"speed,":[230],"note":[232],"remains":[237],"while":[241],"offering":[243],"skilled":[245],"practitioner":[246],"degree":[249],"control.":[251],"Ultimately":[252],"extend":[256],"range":[258],"specialization":[260],"current":[263],"public":[264],"release.A":[265],"big":[266],"challenge":[267],"design":[270,358],"was":[274],"reconcile":[276],"two":[277],"traditionally":[278],"conflicting":[279],"goals:":[280],"efficiency.":[283],"inheritance":[285,298],"mechanism":[286],"plays":[289],"crucial":[291],"here":[293],"Our":[295],"exemplified":[300],"rings":[306,320],"elements":[309],"are":[310],"implemented,":[311],"inspired":[312],"tenet":[315],"allow":[317],"arbitrary":[318],"(commutative)":[319],"wherever":[321],"possible.":[322],"run-time":[324,339],"penalty":[325],"this":[327,504],"additional":[328,470],"abstraction":[329],"virtually":[331],"negligible.In":[332],"few":[334],"cases,":[335],"meet":[337],"performance":[340],"targets,":[341],"foundations":[345],"\"quick":[348],"dirty":[350],"hackery\".":[351],"Here":[352],"credit":[353],"due":[355],"allows":[362],"desperate":[364],"code":[365,391],"written":[368],"where":[369],"necessary,":[370],"permits":[374],"it":[375],"fit":[377],"seamlessly":[378],"into":[379],"well-structured":[381],"program.Undoubtedly":[382],"principal":[384],"feature":[385],"computing":[393],"bases.":[395],"case":[398],"Buchberger's":[400],"there":[402],"unusually":[405],"wide":[406],"gulf":[407],"between":[408],"neat":[410],"elegance":[411],"theory":[414],"complex":[417],"engineering":[418],"within":[419],"refined":[421],"implementation":[422,449],"carefully":[428],"structured":[429],"design,":[430],"comprises":[432],"clearly":[433],"separated":[434],"components":[435],"well":[437],"defined":[438],"roles,":[439],"facilitate":[441],"inclusion":[443],"future":[445],"including":[451],"modern":[453],"ideas:":[454],"e.g.":[455],"binary":[456],"divisibility":[457],"mask,":[458],"geobuckets,":[459],"fraction":[460],"free":[461],"representation,":[462],"sophisticated":[463],"reducer":[464],"selection":[465],"strategy,":[466],"automatic":[467],"homogenization,":[468],"reducers.So":[471],"most":[473],"effort":[474],"been":[476,496],"invested":[477],"now":[484],"alpha":[486],"testing.":[487],"To":[488],"help":[489],"development,":[490],"rudimentary":[492],"prototype":[493],"built":[497],"communicates":[499],"4.3":[502],"(pre-release);":[503],"evolve":[507],"parallel":[509],"library.":[512],"planned":[517],"separate":[520],"user":[521],"interface":[522],"issuing":[523],"requests":[524],"server.":[528]},"counts_by_year":[{"year":2015,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2016-06-24T00:00:00"}