{"id":"https://openalex.org/W2033513337","doi":"https://doi.org/10.1145/1089355.1089357","title":"CAMP","display_name":"CAMP","publication_year":1984,"publication_date":"1984-11-01","ids":{"openalex":"https://openalex.org/W2033513337","doi":"https://doi.org/10.1145/1089355.1089357","mag":"2033513337"},"language":"en","primary_location":{"id":"doi:10.1145/1089355.1089357","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1089355.1089357","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/A5017274120","display_name":"Bruno Buchberger","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"B. Buchberger","raw_affiliation_strings":["Universit\u00e4t Linz, Linz, (Austria, Europe)"],"affiliations":[{"raw_affiliation_string":"Universit\u00e4t Linz, Linz, (Austria, Europe)","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5017274120"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.1168,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.77059246,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"18-19","issue":"4-1","first_page":"8","last_page":"9"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11797","display_name":"graph theory and CDMA systems","score":0.892799973487854,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11797","display_name":"graph theory and CDMA systems","score":0.892799973487854,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.792900025844574,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.7667999863624573,"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/symbolic-computation","display_name":"Symbolic computation","score":0.8460166454315186},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.648382842540741},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.623863935470581},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5517128705978394},{"id":"https://openalex.org/keywords/symbolic-numeric-computation","display_name":"Symbolic-numeric computation","score":0.5323284864425659},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5297347903251648},{"id":"https://openalex.org/keywords/mathematical-logic","display_name":"Mathematical logic","score":0.4844532012939453},{"id":"https://openalex.org/keywords/curriculum","display_name":"Curriculum","score":0.48417383432388306},{"id":"https://openalex.org/keywords/mathematics-education","display_name":"Mathematics education","score":0.46658188104629517},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3949418365955353},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3590702414512634},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.26004284620285034},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.11328268051147461},{"id":"https://openalex.org/keywords/pedagogy","display_name":"Pedagogy","score":0.11263465881347656}],"concepts":[{"id":"https://openalex.org/C110812573","wikidata":"https://www.wikidata.org/wiki/Q175515","display_name":"Symbolic computation","level":2,"score":0.8460166454315186},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.648382842540741},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.623863935470581},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5517128705978394},{"id":"https://openalex.org/C167324811","wikidata":"https://www.wikidata.org/wiki/Q12207781","display_name":"Symbolic-numeric computation","level":3,"score":0.5323284864425659},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5297347903251648},{"id":"https://openalex.org/C47884741","wikidata":"https://www.wikidata.org/wiki/Q1166618","display_name":"Mathematical logic","level":2,"score":0.4844532012939453},{"id":"https://openalex.org/C47177190","wikidata":"https://www.wikidata.org/wiki/Q207137","display_name":"Curriculum","level":2,"score":0.48417383432388306},{"id":"https://openalex.org/C145420912","wikidata":"https://www.wikidata.org/wiki/Q853077","display_name":"Mathematics education","level":1,"score":0.46658188104629517},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3949418365955353},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3590702414512634},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.26004284620285034},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.11328268051147461},{"id":"https://openalex.org/C19417346","wikidata":"https://www.wikidata.org/wiki/Q7922","display_name":"Pedagogy","level":1,"score":0.11263465881347656},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1089355.1089357","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1089355.1089357","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":[{"display_name":"Quality Education","score":0.8199999928474426,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2363922099","https://openalex.org/W2249810570","https://openalex.org/W908473976","https://openalex.org/W4210249387","https://openalex.org/W1535199449","https://openalex.org/W2620867889","https://openalex.org/W1582175221","https://openalex.org/W1604670432","https://openalex.org/W1600415698","https://openalex.org/W114484541"],"abstract_inverted_index":{"After":[0],"some":[1],"years":[2],"of":[3,16,22,34,41,49,57,71,83,87,97,119,130,136,143,155,162],"preparatory":[4],"experiments,":[5],"in":[6,31],"1982":[7],"a":[8,69],"curriculum":[9],"has":[10],"been":[11],"installed":[12],"at":[13,115],"the":[14,27,32,58,74,84,95,103,128,134,141,146],"University":[15],"Linz":[17],"that":[18,122],"gives":[19],"graduate":[20],"students":[21,96,135],"computer":[23,50,98,120,167],"science":[24,51,99,121],"and":[25,66,171],"mathematics":[26,88,137],"possibility":[28],"to":[29,54,91,102,113,140],"specialize":[30],"field":[33,129],"symbolic":[35,131,156,163],"compuation":[36],"(as":[37],"an":[38,124],"essential":[39],"part":[40],"Computer-Aided":[42],"Mathematical":[43],"Problem":[44],"Solving":[45],"=":[46],"CAMP).":[47],"Students":[48,86],"are":[52,67,89,123,138],"supposed":[53,90],"have":[55],"most":[56],"necessary":[59],"software":[60,104],"/":[61,63,76,78,80,105,107,148,150,152],"hardware":[62,106],"system":[64,108],"background":[65],"offered":[68],"series":[70,142],"courses":[72,118,144],"on":[73,145],"formal":[75,147],"logical":[77,149],"mathematical":[79,151],"linguistic":[81,153],"aspects":[82,109,154],"field.":[85],"catch":[92],"up":[93],"with":[94,100],"respect":[101],"by":[110],"forcing":[111],"them":[112],"pass":[114],"least":[116],"those":[117],"indispensible":[125],"prerequisite":[126],"for":[127],"computation.":[132,157],"Then":[133],"exposed":[139],"The":[158],"three":[159],"main":[160],"subareas":[161],"computation":[164],"taught":[165],"are:":[166],"algebra,":[168],"computational":[169],"logic":[170],"automatic":[172],"programming.":[173]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}