{"id":"https://openalex.org/W1494969623","doi":"https://doi.org/10.1155/2000/494281","title":"An Algebraic Programming Style for Numerical Software and Its Optimization","display_name":"An Algebraic Programming Style for Numerical Software and Its Optimization","publication_year":2000,"publication_date":"2000-01-01","ids":{"openalex":"https://openalex.org/W1494969623","doi":"https://doi.org/10.1155/2000/494281","mag":"1494969623"},"language":"en","primary_location":{"id":"doi:10.1155/2000/494281","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2000/494281","pdf_url":"https://downloads.hindawi.com/journals/sp/2000/494281.pdf","source":{"id":"https://openalex.org/S166774750","display_name":"Scientific Programming","issn_l":"1058-9244","issn":["1058-9244","1875-919X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Scientific Programming","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://downloads.hindawi.com/journals/sp/2000/494281.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5076517975","display_name":"T. B. Dinesh","orcid":"https://orcid.org/0000-0001-8717-7009"},"institutions":[{"id":"https://openalex.org/I4210134052","display_name":"Scientific Systems (United States)","ror":"https://ror.org/033xh9c11","country_code":"US","type":"company","lineage":["https://openalex.org/I4210134052"]},{"id":"https://openalex.org/I4210143161","display_name":"IDEX Corporation (United States)","ror":"https://ror.org/03jqyh750","country_code":"US","type":"company","lineage":["https://openalex.org/I4210143161"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"T.B. Dinesh","raw_affiliation_strings":["Academic Systems Corporation, 444 Castro Street, Mountain View, CA 94041","Academic Systems Corporation, 444 Castro Street, Mountain View, CA 94041, USA. E-mail: T_Dinesh@academic.com#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Academic Systems Corporation, 444 Castro Street, Mountain View, CA 94041","institution_ids":["https://openalex.org/I4210143161"]},{"raw_affiliation_string":"Academic Systems Corporation, 444 Castro Street, Mountain View, CA 94041, USA. E-mail: T_Dinesh@academic.com#TAB#","institution_ids":["https://openalex.org/I4210134052"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100786124","display_name":"Magne Haveraaen","orcid":"https://orcid.org/0000-0003-0836-8347"},"institutions":[{"id":"https://openalex.org/I4432739","display_name":"University of Bergen","ror":"https://ror.org/03zga2b32","country_code":"NO","type":"education","lineage":["https://openalex.org/I4432739"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Magne Haveraaen","raw_affiliation_strings":["Department of Informatics, University of Bergen, H\u00f8yteknologisenteret, N-5020 Bergen","Department of Informatics, University of Bergen, H\u00f8yteknologisenteret, N-5020 Bergen, Norway. E-mail: Magne.Haveraaen@ii.uib.no#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Informatics, University of Bergen, H\u00f8yteknologisenteret, N-5020 Bergen","institution_ids":["https://openalex.org/I4432739"]},{"raw_affiliation_string":"Department of Informatics, University of Bergen, H\u00f8yteknologisenteret, N-5020 Bergen, Norway. E-mail: Magne.Haveraaen@ii.uib.no#TAB#","institution_ids":["https://openalex.org/I4432739"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5026867311","display_name":"Jan Heering","orcid":"https://orcid.org/0000-0002-4922-1993"},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832","https://openalex.org/I4405262988"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Jan Heering","raw_affiliation_strings":["Department of Software Engineering, CWI, Kruislaan 413, 1098 SJ Amsterdam","Department of Software Engineering, CWI, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands. E-mail: Jan.Heering@cwi.nl#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Software Engineering, CWI, Kruislaan 413, 1098 SJ Amsterdam","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"Department of Software Engineering, CWI, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands. E-mail: Jan.Heering@cwi.nl#TAB#","institution_ids":["https://openalex.org/I1341640284"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":1800,"currency":"USD","value_usd":1800},"apc_paid":{"value":1800,"currency":"USD","value_usd":1800},"fwci":1.4092,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.80066396,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"8","issue":"4","first_page":"247","last_page":"259"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","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"}},"topics":[{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","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"}},{"id":"https://openalex.org/T11206","display_name":"Model Reduction and Neural Networks","score":0.9805999994277954,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11416","display_name":"Numerical methods for differential equations","score":0.9675999879837036,"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/computer-science","display_name":"Computer science","score":0.6777583956718445},{"id":"https://openalex.org/keywords/programming-style","display_name":"Programming style","score":0.6753214597702026},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.6347056031227112},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6170331835746765},{"id":"https://openalex.org/keywords/algebraic-expression","display_name":"Algebraic expression","score":0.5791193842887878},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.5068748593330383},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4809279143810272},{"id":"https://openalex.org/keywords/scalar","display_name":"Scalar (mathematics)","score":0.4391205906867981},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.4321977198123932},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4298039972782135},{"id":"https://openalex.org/keywords/scope","display_name":"Scope (computer science)","score":0.4125763773918152},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3923957347869873},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.30315956473350525},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.17881593108177185}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6777583956718445},{"id":"https://openalex.org/C2776245389","wikidata":"https://www.wikidata.org/wiki/Q962139","display_name":"Programming style","level":2,"score":0.6753214597702026},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6347056031227112},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6170331835746765},{"id":"https://openalex.org/C18912844","wikidata":"https://www.wikidata.org/wiki/Q4724001","display_name":"Algebraic expression","level":3,"score":0.5791193842887878},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.5068748593330383},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4809279143810272},{"id":"https://openalex.org/C57691317","wikidata":"https://www.wikidata.org/wiki/Q1289248","display_name":"Scalar (mathematics)","level":2,"score":0.4391205906867981},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.4321977198123932},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4298039972782135},{"id":"https://openalex.org/C2778012447","wikidata":"https://www.wikidata.org/wiki/Q1034415","display_name":"Scope (computer science)","level":2,"score":0.4125763773918152},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3923957347869873},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.30315956473350525},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.17881593108177185},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"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":8,"locations":[{"id":"doi:10.1155/2000/494281","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2000/494281","pdf_url":"https://downloads.hindawi.com/journals/sp/2000/494281.pdf","source":{"id":"https://openalex.org/S166774750","display_name":"Scientific Programming","issn_l":"1058-9244","issn":["1058-9244","1875-919X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Scientific Programming","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:cs/9903002","is_oa":true,"landing_page_url":"http://arxiv.org/abs/cs/9903002","pdf_url":"https://arxiv.org/pdf/cs/9903002","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:cwi.nl:4579","is_oa":true,"landing_page_url":"https://ir.cwi.nl/pub/4579","pdf_url":"https://ir.cwi.nl/pub/4579/04579D.pdf","source":{"id":"https://openalex.org/S7407055335","display_name":"Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/other"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.23.4307","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.4307","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cwi.nl/~jan/sophus.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.36.6156","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.6156","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://extranet.telin.nl/dscgi/ds.py/Get/File-7445/9903002.pdf","raw_type":"text"},{"id":"pmh:oai:doaj.org/article:cf500872f39e48e882229ad769f2018f","is_oa":true,"landing_page_url":"https://doaj.org/article/cf500872f39e48e882229ad769f2018f","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Scientific Programming, Vol 8, Iss 4, Pp 247-259 (2000)","raw_type":"article"},{"id":"doi:10.48550/arxiv.cs/9903002","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.cs/9903002","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"},{"id":"mag:1494969623","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"doi:10.1155/2000/494281","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2000/494281","pdf_url":"https://downloads.hindawi.com/journals/sp/2000/494281.pdf","source":{"id":"https://openalex.org/S166774750","display_name":"Scientific Programming","issn_l":"1058-9244","issn":["1058-9244","1875-919X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Scientific Programming","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320320885","display_name":"European Research Consortium for Informatics and Mathematics","ror":"https://ror.org/055zrhj18"},{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"},{"id":"https://openalex.org/F4320331116","display_name":"Centrum Wiskunde and Informatica","ror":"https://ror.org/00x7ekv49"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1494969623.pdf","grobid_xml":"https://content.openalex.org/works/W1494969623.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2952203488","https://openalex.org/W1588303924","https://openalex.org/W3110599976","https://openalex.org/W1905573436","https://openalex.org/W2138319635","https://openalex.org/W1983608286","https://openalex.org/W2149131160","https://openalex.org/W1602527136","https://openalex.org/W2125689415","https://openalex.org/W2152407649","https://openalex.org/W2392012734","https://openalex.org/W1606867071","https://openalex.org/W1607082759","https://openalex.org/W2782124180","https://openalex.org/W2949656348","https://openalex.org/W2911891988","https://openalex.org/W1606247444","https://openalex.org/W2949168950","https://openalex.org/W1589415626","https://openalex.org/W50367682"],"abstract_inverted_index":{"The":[0,32,110,132,160],"abstract":[1,62,94,108],"mathematical":[2,72,87],"theory":[3,46,73],"of":[4,13,35,52,61,90,119,136,146],"partial":[5],"differential":[6],"equations":[7],"(PDEs)":[8],"is":[9,40,97,138],"formulated":[10],"in":[11,28,49,70,85,170],"terms":[12],"manifolds,":[14],"scalar":[15],"fields,":[16],"tensors,":[17],"and":[18,47,74,169],"the":[19,36,43,50,66,71,81,86,117,139],"like,":[20],"but":[21,123],"these":[22],"algebraic":[23,67,76],"structures":[24,68],"are":[25,58,115,124],"hardly":[26],"recognizable":[27],"actual":[29],"PDE":[30,53],"solvers.":[31,54],"general":[33,161],"aim":[34],"Sophus":[37,96,137,154],"programming":[38],"style":[39,78,83,155],"to":[41,65,80,141],"bridge":[42],"gap":[44],"between":[45],"practice":[48],"domain":[51],"Its":[55],"main":[56],"ingredients":[57],"a":[59,128],"library":[60],"datatypes":[63],"corresponding":[64],"used":[69,84],"an":[75],"expression":[77,82],"similar":[79],"theory.":[88],"Because":[89],"its":[91],"emphasis":[92],"on":[93,151],"datatypes,":[95],"most":[98],"naturally":[99],"combined":[100],"with":[101,157],"object\u2010oriented":[102],"languages":[103,106],"or":[104],"other":[105,167,171],"supporting":[107],"datatypes.":[109],"resulting":[111],"source":[112],"code":[113,156],"patterns":[114],"beyond":[116],"scope":[118],"current":[120],"compiler":[121],"optimizations,":[122],"sufficiently":[125],"specific":[126],"for":[127,166],"dedicated":[129],"source\u2010to\u2010source":[130],"optimizer.":[131],"limited,":[133],"domain\u2010specific,":[134],"character":[135],"key":[140],"success":[142],"here.":[143],"This":[144],"kind":[145],"optimization":[147],"has":[148],"been":[149],"tested":[150],"computationally":[152],"intensive":[153],"promising":[158],"results.":[159],"approach":[162],"may":[163],"be":[164],"useful":[165],"styles":[168],"application":[172],"domains":[173],"as":[174],"well.":[175]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}