{"id":"https://openalex.org/W2000693340","doi":"https://doi.org/10.1145/2576802.2576827","title":"A computer algebra user interface manifesto","display_name":"A computer algebra user interface manifesto","publication_year":2014,"publication_date":"2014-01-28","ids":{"openalex":"https://openalex.org/W2000693340","doi":"https://doi.org/10.1145/2576802.2576827","mag":"2000693340"},"language":"en","primary_location":{"id":"doi:10.1145/2576802.2576827","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2576802.2576827","pdf_url":null,"source":{"id":"https://openalex.org/S176185422","display_name":"ACM communications in computer algebra","issn_l":"1932-2232","issn":["1932-2232","1932-2240"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320725","host_organization_name":"SIGSAM","host_organization_lineage":["https://openalex.org/P4310320725"],"host_organization_lineage_names":["SIGSAM"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Communications in Computer Algebra","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/A5038500480","display_name":"David R. Stoutemyer","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"David R. Stoutemyer","raw_affiliation_strings":["dstout at hawaii dot edu"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"dstout at hawaii dot edu","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5038500480"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.07664294,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"47","issue":"3/4","first_page":"130","last_page":"165"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.9987999796867371,"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/T11697","display_name":"Numerical Methods and Algorithms","score":0.9987999796867371,"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/T11435","display_name":"Polynomial and algebraic computation","score":0.9954000115394592,"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/T10142","display_name":"Formal Methods in Verification","score":0.9937000274658203,"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.8064156174659729},{"id":"https://openalex.org/keywords/wizard","display_name":"Wizard","score":0.5556132197380066},{"id":"https://openalex.org/keywords/dialog-box","display_name":"Dialog box","score":0.5421541333198547},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.5057616233825684},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.48033228516578674},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.45051756501197815},{"id":"https://openalex.org/keywords/listing","display_name":"Listing (finance)","score":0.43630513548851013},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.11201176047325134}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8064156174659729},{"id":"https://openalex.org/C2776784076","wikidata":"https://www.wikidata.org/wiki/Q580334","display_name":"Wizard","level":2,"score":0.5556132197380066},{"id":"https://openalex.org/C173853756","wikidata":"https://www.wikidata.org/wiki/Q86915","display_name":"Dialog box","level":2,"score":0.5421541333198547},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.5057616233825684},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.48033228516578674},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.45051756501197815},{"id":"https://openalex.org/C2779820595","wikidata":"https://www.wikidata.org/wiki/Q798505","display_name":"Listing (finance)","level":2,"score":0.43630513548851013},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.11201176047325134},{"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/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2576802.2576827","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2576802.2576827","pdf_url":null,"source":{"id":"https://openalex.org/S176185422","display_name":"ACM communications in computer algebra","issn_l":"1932-2232","issn":["1932-2232","1932-2240"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320725","host_organization_name":"SIGSAM","host_organization_lineage":["https://openalex.org/P4310320725"],"host_organization_lineage_names":["SIGSAM"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Communications in Computer Algebra","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":33,"referenced_works":["https://openalex.org/W156081767","https://openalex.org/W202727430","https://openalex.org/W1599833186","https://openalex.org/W1987872599","https://openalex.org/W1988660762","https://openalex.org/W1989520073","https://openalex.org/W1999983631","https://openalex.org/W2002352305","https://openalex.org/W2011939292","https://openalex.org/W2027713132","https://openalex.org/W2042286218","https://openalex.org/W2045306405","https://openalex.org/W2048222595","https://openalex.org/W2052977543","https://openalex.org/W2056192954","https://openalex.org/W2057073188","https://openalex.org/W2065198318","https://openalex.org/W2079804015","https://openalex.org/W2084586233","https://openalex.org/W2087404473","https://openalex.org/W2097120215","https://openalex.org/W2105313514","https://openalex.org/W2117975326","https://openalex.org/W2136555430","https://openalex.org/W2159105505","https://openalex.org/W2161310718","https://openalex.org/W2162177141","https://openalex.org/W2302192778","https://openalex.org/W2912522929","https://openalex.org/W2955705967","https://openalex.org/W3159986196","https://openalex.org/W4214892831","https://openalex.org/W4301891093"],"related_works":["https://openalex.org/W4252778556","https://openalex.org/W2512851574","https://openalex.org/W2518183033","https://openalex.org/W632607340","https://openalex.org/W2098987383","https://openalex.org/W2349025816","https://openalex.org/W1504394863","https://openalex.org/W2417260800","https://openalex.org/W2795961259","https://openalex.org/W186449456"],"abstract_inverted_index":{"Many":[0],"computer":[1],"algebra":[2],"systems":[3],"have":[4],"more":[5,168],"than":[6,169],"1000":[7],"built-in":[8],"functions,":[9],"making":[10],"expertise":[11],"difficult.":[12],"Using":[13],"mock":[14],"dialog":[15,120],"boxes,":[16],"this":[17],"article":[18],"describes":[19],"a":[20,84,113,123,141,202],"proposed":[21],"interactive":[22],"general-purpose":[23],"wizard":[24,46],"for":[25],"organizing":[26,106],"optional":[27],"transformations":[28],"and":[29,60,181,196],"allowing":[30,135,163],"easy":[31],"fine":[32],"grain":[33],"control":[34,54,81],"over":[35,55],"the":[36,39,56,67,99,110,136,150,164,172,179,185,192],"form":[37],"of":[38,58,69,87,101,125,143,149,152,171],"result":[40],"--":[41,154],"even":[42],"by":[43],"amateurs.":[44],"This":[45],"integrates":[47],"ideas":[48],"including:":[49],"flexible":[50],"subexpression":[51],"selection;":[52],"complete":[53],"ordering":[57],"variables":[59,73],"commutative":[61],"operands,":[62],"with":[63,74,122],"wellchosen":[64],"defaults;":[65],"interleaving":[66],"choice":[68],"successively":[70],"less":[71],"main":[72],"applicable":[75,88],"function":[76],"choices":[77,144],"to":[78,97,108,138,145,156,159,166],"provide":[79],"detailed":[80],"without":[82],"incurring":[83],"combinatorial":[85],"number":[86],"alternatives":[89,111,118,153],"at":[90],"any":[91],"one":[92,170],"level;":[93],"quick":[94],"applicability":[95],"tests":[96],"reduce":[98],"listing":[100],"inapplicable":[102],"transformations;":[103],"using":[104,128],"an":[105],"principle":[107],"order":[109],"in":[112,119,197,201],"helpful":[114],"manner;":[115],"labeling":[116],"quickly-computed":[117],"boxes":[121],"preview":[124],"their":[126],"results,":[127],"ellipsis":[129],"elisions":[130],"if":[131],"necessary":[132],"or":[133,155],"helpful;":[134],"user":[137,165],"retreat":[139],"from":[140],"sequence":[142],"explore":[146],"other":[147],"branches":[148,160],"tree":[151],"return":[157],"quickly":[158],"already":[161],"visited;":[162],"accumulate":[167],"alternative":[173,194],"forms;":[174],"integrating":[175],"direct":[176],"manipulation":[177],"into":[178],"wizard;":[180],"supporting":[182],"not":[183],"only":[184],"usual":[186],"input-result":[187],"pair":[188],"mode,":[189],"but":[190],"also":[191],"useful":[193],"derivational":[195],"situ":[198],"replacement":[199],"modes":[200],"unified":[203],"window.":[204]},"counts_by_year":[{"year":2021,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}
