{"id":"https://openalex.org/W26762536","doi":"https://doi.org/10.1145/3666000","title":"Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation","display_name":"Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation","publication_year":2024,"publication_date":"2024-07-15","ids":{"openalex":"https://openalex.org/W26762536","doi":"https://doi.org/10.1145/3666000","mag":"26762536"},"language":"en","primary_location":{"id":"doi:10.1145/3666000","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3666000","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"proceedings"},"type":"paratext","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":29,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":true,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12162","display_name":"Cellular Automata and Applications","score":0.9663000106811523,"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/T12162","display_name":"Cellular Automata and Applications","score":0.9663000106811523,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9563999772071838,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.9549999833106995,"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/symbolic-computation","display_name":"Symbolic computation","score":0.7327797412872314},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6699192523956299},{"id":"https://openalex.org/keywords/subject","display_name":"Subject (documents)","score":0.5609381198883057},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4594614803791046},{"id":"https://openalex.org/keywords/the-symbolic","display_name":"The Symbolic","score":0.448927104473114},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.4336453378200531},{"id":"https://openalex.org/keywords/symbolic-trajectory-evaluation","display_name":"Symbolic trajectory evaluation","score":0.42529845237731934},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3906536102294922},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3404642343521118},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.26256346702575684},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2310720682144165},{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.15936020016670227},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.14241698384284973},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.12073251605033875}],"concepts":[{"id":"https://openalex.org/C110812573","wikidata":"https://www.wikidata.org/wiki/Q175515","display_name":"Symbolic computation","level":2,"score":0.7327797412872314},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6699192523956299},{"id":"https://openalex.org/C2777855551","wikidata":"https://www.wikidata.org/wiki/Q12310021","display_name":"Subject (documents)","level":2,"score":0.5609381198883057},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4594614803791046},{"id":"https://openalex.org/C2776095079","wikidata":"https://www.wikidata.org/wiki/Q489538","display_name":"The Symbolic","level":2,"score":0.448927104473114},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.4336453378200531},{"id":"https://openalex.org/C23123167","wikidata":"https://www.wikidata.org/wiki/Q7661193","display_name":"Symbolic trajectory evaluation","level":3,"score":0.42529845237731934},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3906536102294922},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3404642343521118},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.26256346702575684},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2310720682144165},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.15936020016670227},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.14241698384284973},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.12073251605033875},{"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},{"id":"https://openalex.org/C11171543","wikidata":"https://www.wikidata.org/wiki/Q41630","display_name":"Psychoanalysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3666000","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3666000","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"proceedings"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4000000059604645,"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2363922099","https://openalex.org/W2384965142","https://openalex.org/W4251421746","https://openalex.org/W2186150309","https://openalex.org/W908473976","https://openalex.org/W2149986670","https://openalex.org/W4213351373","https://openalex.org/W2132514413","https://openalex.org/W2045261241","https://openalex.org/W2564349843"],"abstract_inverted_index":{"The":[0,21],"International":[1],"Symposium":[2],"on":[3],"Symbolic":[4],"and":[5,30,45,75,133,152,164,197],"Algebraic":[6],"Computation":[7],"is":[8,41,46,103,158],"the":[9,33,42,49,69,86,140,147,150,191],"premier":[10],"conference":[11],"spanning":[12],"all":[13],"areas":[14],"of":[15,90,130,154,167,193,195],"research":[16],"in":[17,28,118,179,211],"symbolic":[18,119,212],"mathematical":[19,131,213],"computing.":[20],"series":[22],"has":[23,56,185,204],"a":[24,53,63,100,115,127,186,207],"long":[25],"history,":[26],"established":[27],"1966":[29],"operating":[31],"under":[32],"ISSAC":[34],"name":[35],"since":[36],"1988.":[37],"This":[38],"year's":[39],"meeting":[40],"35th":[43],"occurrence":[44],"held":[47],"at":[48],"Technische":[50],"Universitat":[51],"Munchen.\r\n\r\nWith":[52],"subject":[54,101],"that":[55,102,157],"been":[57,73,206],"so":[58],"thoroughly":[59],"studied":[60],"for":[61],"half":[62],"century":[64],"some":[65,109],"might":[66],"ask":[67],"whether":[68,76],"main":[70],"questions":[71,142],"have":[72,135],"answered":[74],"any":[77],"important":[78],"challenges":[79],"remain.":[80],"Nothing":[81],"could":[82],"be":[83],"farther":[84],"from":[85],"present":[87],"exciting":[88],"state":[89],"affairs!":[91],"A":[92],"quick":[93],"glance":[94],"through":[95],"these":[96,174],"proceedings":[97],"will":[98],"reveal":[99],"more":[104,208],"vibrant":[105],"than":[106,143],"ever.":[107],"In":[108],"ways,":[110],"we":[111,124,134],"are":[112,125,173],"today":[113],"experiencing":[114],"golden":[116],"age":[117],"computing:":[120],"On":[121,146],"one":[122],"hand,":[123,149],"studying":[126],"wider":[128],"range":[129],"problems":[132,176],"deeper":[136],"algorithmic":[137],"insight":[138],"into":[139],"central":[141],"ever":[144],"before.":[145],"other":[148],"scale":[151],"nature":[153],"computing":[155],"hardware":[156],"widely":[159],"available":[160],"make":[161],"asymptotically":[162],"fast":[163],"parallel":[165],"algorithms":[166],"immediate":[168],"practical":[169,188],"interest.":[170],"Not":[171],"only":[172],"computational":[175],"very":[177],"interesting":[178,209],"their":[180,183],"own":[181],"right,":[182],"solution":[184],"significant":[187],"impact,":[189],"affecting":[190],"millions":[192],"users":[194],"free":[196],"commercial":[198],"computer":[199],"algebra":[200],"packages.":[201],"Surely":[202],"there":[203],"never":[205],"time":[210],"computation.\r\n\r\nStephen":[214],"M.":[215],"Watt":[216]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":3},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1}],"updated_date":"2026-02-06T03:54:58.731219","created_date":"2016-06-24T00:00:00"}