{"id":"https://openalex.org/W1999438601","doi":"https://doi.org/10.1145/1145768.1145774","title":"CoCoA","display_name":"CoCoA","publication_year":2006,"publication_date":"2006-07-09","ids":{"openalex":"https://openalex.org/W1999438601","doi":"https://doi.org/10.1145/1145768.1145774","mag":"1999438601"},"language":"en","primary_location":{"id":"doi:10.1145/1145768.1145774","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1145768.1145774","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/A5024806913","display_name":"Anna Maria Bigatti","orcid":"https://orcid.org/0000-0002-2987-9333"},"institutions":[{"id":"https://openalex.org/I83816512","display_name":"University of Genoa","ror":"https://ror.org/0107c5v14","country_code":"IT","type":"education","lineage":["https://openalex.org/I83816512"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Anna Bigatti","raw_affiliation_strings":["Universit\u00e0 degli Studi di Genova, Genova, Italy","Universita degli studi di Genova, Genova, Italy#TAB#"],"affiliations":[{"raw_affiliation_string":"Universit\u00e0 degli Studi di Genova, Genova, Italy","institution_ids":["https://openalex.org/I83816512"]},{"raw_affiliation_string":"Universita degli studi di Genova, Genova, Italy#TAB#","institution_ids":["https://openalex.org/I83816512"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5087185157","display_name":"Lorenzo Robbiano","orcid":"https://orcid.org/0000-0003-3483-5682"},"institutions":[{"id":"https://openalex.org/I83816512","display_name":"University of Genoa","ror":"https://ror.org/0107c5v14","country_code":"IT","type":"education","lineage":["https://openalex.org/I83816512"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Lorenzo Robbiano","raw_affiliation_strings":["Universit\u00e0 degli Studi di Genova, Genova, Italy","Universita degli studi di Genova, Genova, Italy#TAB#"],"affiliations":[{"raw_affiliation_string":"Universit\u00e0 degli Studi di Genova, Genova, Italy","institution_ids":["https://openalex.org/I83816512"]},{"raw_affiliation_string":"Universita degli studi di Genova, Genova, Italy#TAB#","institution_ids":["https://openalex.org/I83816512"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5024806913"],"corresponding_institution_ids":["https://openalex.org/I83816512"],"apc_list":null,"apc_paid":null,"fwci":0.327,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.58022856,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"6","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.992900013923645,"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.992900013923645,"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.9858999848365784,"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/T11703","display_name":"Rings, Modules, and Algebras","score":0.9408000111579895,"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/computer-science","display_name":"Computer science","score":0.6848120093345642},{"id":"https://openalex.org/keywords/ideal","display_name":"Ideal (ethics)","score":0.6689693927764893},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.573885977268219},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5189182758331299},{"id":"https://openalex.org/keywords/commutative-property","display_name":"Commutative property","score":0.4977782070636749},{"id":"https://openalex.org/keywords/symbolic-computation","display_name":"Symbolic computation","score":0.43555542826652527},{"id":"https://openalex.org/keywords/commutative-algebra","display_name":"Commutative algebra","score":0.4313090741634369},{"id":"https://openalex.org/keywords/factorization","display_name":"Factorization","score":0.4159952402114868},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36686548590660095},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3359363079071045},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2613745331764221},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.20713981986045837},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.19903525710105896},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.18610385060310364}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6848120093345642},{"id":"https://openalex.org/C2776639384","wikidata":"https://www.wikidata.org/wiki/Q840396","display_name":"Ideal (ethics)","level":2,"score":0.6689693927764893},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.573885977268219},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5189182758331299},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.4977782070636749},{"id":"https://openalex.org/C110812573","wikidata":"https://www.wikidata.org/wiki/Q175515","display_name":"Symbolic computation","level":2,"score":0.43555542826652527},{"id":"https://openalex.org/C78313660","wikidata":"https://www.wikidata.org/wiki/Q727659","display_name":"Commutative algebra","level":2,"score":0.4313090741634369},{"id":"https://openalex.org/C187834632","wikidata":"https://www.wikidata.org/wiki/Q188804","display_name":"Factorization","level":2,"score":0.4159952402114868},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36686548590660095},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3359363079071045},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2613745331764221},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.20713981986045837},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.19903525710105896},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.18610385060310364},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"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/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1145768.1145774","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1145768.1145774","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.8500000238418579,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2794559785","https://openalex.org/W4243507005","https://openalex.org/W4298155825","https://openalex.org/W109420984","https://openalex.org/W4394654446","https://openalex.org/W1565509971","https://openalex.org/W4387158577","https://openalex.org/W4389115877","https://openalex.org/W2020960123","https://openalex.org/W3102984717"],"abstract_inverted_index":{"CoCoA":[0,96,162],"is":[1,60,72,106,143],"a":[2,100,110,113,116],"special-purpose":[3],"system":[4,119],"for":[5,67],"doing":[6],"Computations":[7],"in":[8],"Commutative":[9,156],"Algebra.":[10],"It":[11],"runs":[12],"on":[13,123],"all":[14],"common":[15],"platforms.CoCoA's":[16],"particular":[17],"strengths":[18],"include":[19],"ideal/module":[20],"operations":[21],"(such":[22],"as":[23,109],"Gr\u00f6bner":[24],"bases,":[25],"syzygies":[26],"and":[27,47,52,77,82,115,163],"minimal":[28],"free":[29],"resolutions,":[30],"intersections,":[31],"divisions,":[32],"the":[33,63,87,95,103,132,141,159],"radical":[34],"of":[35,56,125,154,161],"an":[36],"ideal,":[37],"etc),":[38],"polynomial":[39],"factorization,":[40],"exact":[41],"linear":[42],"algebra,":[43],"computing":[44,48],"Hilbert":[45],"functions,":[46],"with":[49],"zero-dimensional":[50],"schemes":[51],"toric":[53],"ideals.The":[54],"usefulness":[55],"these":[57],"technical":[58],"skills":[59],"enhanced":[61],"by":[62,75],"mathematically":[64],"natural":[65,144],"language":[66,71],"describing":[68],"computations.":[69],"This":[70],"readily":[73],"learned":[74],"students,":[76],"enables":[78],"researchers":[79],"to":[80,145],"explore":[81],"develop":[83],"new":[84,101,104],"algorithms":[85],"without":[86],"administrative":[88],"tedium":[89],"necessary":[90],"when":[91],"using":[92],"\"low-level\"":[93],"languages.Lately":[94],"project":[97],"has":[98],"entered":[99],"phase:":[102],"design":[105,129],"expressly":[107],"developed":[108],"C++":[111],"library;":[112],"server":[114],"standalone":[117],"interactive":[118],"will":[120,138,150],"be":[121],"built":[122],"top":[124],"this":[126,137,147],"library.":[127],"The":[128],"should":[130],"reflect":[131],"underlying":[133],"mathematical":[134],"structure":[135],"since":[136],"ensure":[139],"that":[140],"library":[142],"use.In":[146],"tutorial":[148],"we":[149],"show":[151],"several":[152],"applications":[153],"Computer":[155],"Algebra":[157],"through":[158],"use":[160],"CoCoALib.":[164]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}