{"id":"https://openalex.org/W2912066439","doi":"https://doi.org/10.1145/1277500","title":"Proceedings of the 2007 international workshop on Symbolic-numeric computation","display_name":"Proceedings of the 2007 international workshop on Symbolic-numeric computation","publication_year":2007,"publication_date":"2007-07-25","ids":{"openalex":"https://openalex.org/W2912066439","doi":"https://doi.org/10.1145/1277500","mag":"2912066439"},"language":"en","primary_location":{"id":"doi:10.1145/1277500","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1145/1277500","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":18,"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/T11435","display_name":"Polynomial and algebraic computation","score":0.9979000091552734,"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.9979000091552734,"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/T11697","display_name":"Numerical Methods and Algorithms","score":0.9972000122070312,"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/T10963","display_name":"Advanced Optimization Algorithms Research","score":0.9904999732971191,"subfield":{"id":"https://openalex.org/subfields/2612","display_name":"Numerical Analysis"},"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/symbolic-computation","display_name":"Symbolic computation","score":0.8732089996337891},{"id":"https://openalex.org/keywords/symbolic-numeric-computation","display_name":"Symbolic-numeric computation","score":0.8068753480911255},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.6474515199661255},{"id":"https://openalex.org/keywords/the-symbolic","display_name":"The Symbolic","score":0.6184141039848328},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5912178754806519},{"id":"https://openalex.org/keywords/symbolic-data-analysis","display_name":"Symbolic data analysis","score":0.4967814087867737},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.4896858036518097},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.48250818252563477},{"id":"https://openalex.org/keywords/symbolic-trajectory-evaluation","display_name":"Symbolic trajectory evaluation","score":0.4214683473110199},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.37633681297302246},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3610193133354187},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3343275189399719},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.26448190212249756},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.10972335934638977},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.07547891139984131}],"concepts":[{"id":"https://openalex.org/C110812573","wikidata":"https://www.wikidata.org/wiki/Q175515","display_name":"Symbolic computation","level":2,"score":0.8732089996337891},{"id":"https://openalex.org/C167324811","wikidata":"https://www.wikidata.org/wiki/Q12207781","display_name":"Symbolic-numeric computation","level":3,"score":0.8068753480911255},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.6474515199661255},{"id":"https://openalex.org/C2776095079","wikidata":"https://www.wikidata.org/wiki/Q489538","display_name":"The Symbolic","level":2,"score":0.6184141039848328},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5912178754806519},{"id":"https://openalex.org/C65620979","wikidata":"https://www.wikidata.org/wiki/Q7661176","display_name":"Symbolic data analysis","level":2,"score":0.4967814087867737},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.4896858036518097},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.48250818252563477},{"id":"https://openalex.org/C23123167","wikidata":"https://www.wikidata.org/wiki/Q7661193","display_name":"Symbolic trajectory evaluation","level":3,"score":0.4214683473110199},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.37633681297302246},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3610193133354187},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3343275189399719},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.26448190212249756},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.10972335934638977},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.07547891139984131},{"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},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1277500","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1145/1277500","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":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2186150309","https://openalex.org/W4246795820","https://openalex.org/W2913172947","https://openalex.org/W908473976","https://openalex.org/W2034475779","https://openalex.org/W2063881604","https://openalex.org/W2914104143","https://openalex.org/W2101264565","https://openalex.org/W3141167149","https://openalex.org/W1460276943"],"abstract_inverted_index":{"Algorithms":[0],"that":[1,73,315],"combine":[2],"ideas":[3],"from":[4,200],"symbolic":[5,92],"and":[6,55,89,93,111,145,166,212,219,245,276,302,338,352],"numeric":[7,94],"computation":[8,241],"have":[9],"been":[10],"of":[11,24,64,71,80,91,183,203,242,248,264,297,304,318,328],"increasing":[12],"interest":[13],"over":[14],"the":[15,21,35,49,62,66,81,102,112,121,139,157,173,181,260,298,305,316,319,348],"past":[16],"decade.":[17],"Not":[18],"only":[19],"do":[20],"usual":[22],"algorithms":[23,233,237,255],"computer":[25],"algebra":[26],"break":[27],"down":[28],"when":[29],"applied":[30],"to":[31,43,85,172],"inexact":[32],"values,":[33],"but":[34],"analytic":[36],"setting":[37],"itself":[38],"allows":[39],"many":[40,353],"new":[41],"questions":[42],"be":[44,127],"asked.":[45],"This,":[46],"together":[47],"with":[48,138,151,336],"growing":[50],"demand":[51],"for":[52,196,215,222,226,230,238],"speed,":[53],"accuracy":[54],"reliability":[56],"in":[57,98,107,117,131,178,191,234],"mathematical":[58],"computing,":[59,205],"has":[60],"accelerated":[61],"process":[63],"blurring":[65],"distinction":[67],"between":[68],"two":[69],"areas":[70,202],"research":[72],"were":[74,271,308],"previously":[75],"quite":[76],"separate.":[77],"The":[78,194,280],"goal":[79],"present":[82],"workshop":[83,153],"is":[84,136,154,334],"support":[86],"this":[87,99,152],"interaction":[88],"integration":[90],"computing.":[95],"Earlier":[96],"meetings":[97],"series":[100],"include":[101],"SNAP":[103],"96":[104],"workshop,":[105],"held":[106,116,128,169],"Sophia":[108],"Antipolis,":[109],"France,":[110],"SNC":[113,134,165],"2005":[114],"meeting,":[115,176],"Xi'an,":[118],"China.":[119],"Following":[120],"tradition,":[122],"Symbolic-Numeric":[123],"Computation":[124,147],"2007":[125,135,140,158,175,187],"will":[126],"July":[129],"25-27":[130],"London,":[132],"Canada.":[133,193],"affiliated":[137],"International":[141,159],"Symposium":[142],"on":[143,161,288],"Symbolic":[144,163],"Algebraic":[146],"(ISSAC":[148],"2007).":[149],"Co-located":[150],"PASCO":[155,167,337],"2007,":[156],"Workshop":[160],"Parallel":[162],"Computation.":[164],"are":[168,313],"immediately":[170],"prior":[171],"ISSAC":[174,186],"both":[177],"London":[179],"at":[180,347],"University":[182],"Western":[184],"Ontario.":[185],"takes":[188],"place":[189],"nearby":[190],"Waterloo,":[192],"call":[195],"papers":[197,307,324],"solicited":[198],"contributions":[199],"all":[201],"symbolic-numeric":[204,208,223,227,249,265],"including:":[206],"hybrid":[207],"algorithmsapproximate":[209],"polynomial":[210,217],"GCD":[211],"factorizationsymbolic-numeric":[213],"methods":[214,229],"solving":[216],"systemsresultants":[218],"structured":[220],"matrices":[221],"computationdifferential":[224],"equations":[225],"computationsymbolic-numeric":[228,232],"geometric":[231],"algebraic":[235,254],"geometrysymbolic-numeric":[236],"nonlinear":[239],"optimizationnumeric":[240],"characteristic":[243],"sets":[244],"Gr\u00f6bner":[246],"basesimplementation":[247],"algorithmsmodel":[250],"construction":[251],"by":[252],"approximate":[253,261],"(e.g.":[256],"numerical":[257],"sparse":[258],"interpolation,":[259],"Buchberger-Moeller":[262],"algorithm)applications":[263],"computation..":[266],"In":[267,310],"response,":[268],"38":[269],"submissions":[270],"received:":[272],"9":[273,299],"extended":[274,300],"abstracts":[275,301],"29":[277,306],"full":[278,323],"papers.":[279],"program":[281],"committee":[282],"collected":[283],"113":[284],"referee":[285],"reports":[286],"---":[287],"average":[289],"three":[290],"per":[291],"submission.":[292],"After":[293],"careful":[294],"considerations,":[295],"6":[296],"19":[303],"accepted.":[309],"addition,":[311],"we":[312,339],"grateful":[314],"majority":[317],"invited":[320,330],"speakers":[321],"contributed":[322],"as":[325],"well.":[326],"One":[327],"our":[329,342],"speakers,":[331],"Anthony":[332],"Kennedy,":[333],"joint":[335,349],"also":[340],"share":[341],"after-dinner":[343],"speaker,":[344],"Keith":[345],"Geddes,":[346],"SNC-PASCO":[350],"banquet.":[351],"anonymous":[354],"reviewers.":[355]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2025-12-23T23:11:35.936235","created_date":"2025-10-10T00:00:00"}