Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287183695> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W4287183695 abstract "As mathematical computing becomes more democratized in high-level languages, high-performance symbolic-numeric systems are necessary for domain scientists and engineers to get the best performance out of their machine without deep knowledge of code optimization. Naturally, users need different term types either to have different algebraic properties for them, or to use efficient data structures. To this end, we developed Symbolics.jl, an extendable symbolic system which uses dynamic multiple dispatch to change behavior depending on the domain needs. In this work we detail an underlying abstract term interface which allows for speed without sacrificing generality. We show that by formalizing a generic API on actions independent of implementation, we can retroactively add optimized data structures to our system without changing the pre-existing term rewriters. We showcase how this can be used to optimize term construction and give a 113x acceleration on general symbolic transformations. Further, we show that such a generic API allows for complementary term-rewriting implementations. We demonstrate the ability to swap between classical term-rewriting simplifiers and e-graph-based term-rewriting simplifiers. We showcase an e-graph ruleset which minimizes the number of CPU cycles during expression evaluation, and demonstrate how it simplifies a real-world reaction-network simulation to halve the runtime. Additionally, we show a reaction-diffusion partial differential equation solver which is able to be automatically converted into symbolic expressions via multiple dispatch tracing, which is subsequently accelerated and parallelized to give a 157x simulation speedup. Together, this presents Symbolics.jl as a next-generation symbolic-numeric computing environment geared towards modeling and simulation." @default.
- W4287183695 created "2022-07-25" @default.
- W4287183695 creator A5008052833 @default.
- W4287183695 creator A5018451754 @default.
- W4287183695 creator A5029673947 @default.
- W4287183695 creator A5037025690 @default.
- W4287183695 creator A5043195923 @default.
- W4287183695 creator A5066290232 @default.
- W4287183695 creator A5072818182 @default.
- W4287183695 date "2021-05-09" @default.
- W4287183695 modified "2023-10-18" @default.
- W4287183695 title "High-performance symbolic-numerics via multiple dispatch" @default.
- W4287183695 doi "https://doi.org/10.48550/arxiv.2105.03949" @default.
- W4287183695 hasPublicationYear "2021" @default.
- W4287183695 type Work @default.
- W4287183695 citedByCount "0" @default.
- W4287183695 crossrefType "posted-content" @default.
- W4287183695 hasAuthorship W4287183695A5008052833 @default.
- W4287183695 hasAuthorship W4287183695A5018451754 @default.
- W4287183695 hasAuthorship W4287183695A5029673947 @default.
- W4287183695 hasAuthorship W4287183695A5037025690 @default.
- W4287183695 hasAuthorship W4287183695A5043195923 @default.
- W4287183695 hasAuthorship W4287183695A5066290232 @default.
- W4287183695 hasAuthorship W4287183695A5072818182 @default.
- W4287183695 hasBestOaLocation W42871836951 @default.
- W4287183695 hasConcept C110812573 @default.
- W4287183695 hasConcept C121332964 @default.
- W4287183695 hasConcept C134306372 @default.
- W4287183695 hasConcept C154690210 @default.
- W4287183695 hasConcept C169590947 @default.
- W4287183695 hasConcept C173608175 @default.
- W4287183695 hasConcept C199360897 @default.
- W4287183695 hasConcept C2777904410 @default.
- W4287183695 hasConcept C2778770139 @default.
- W4287183695 hasConcept C2779639559 @default.
- W4287183695 hasConcept C33923547 @default.
- W4287183695 hasConcept C41008148 @default.
- W4287183695 hasConcept C52723943 @default.
- W4287183695 hasConcept C61797465 @default.
- W4287183695 hasConcept C62520636 @default.
- W4287183695 hasConcept C68339613 @default.
- W4287183695 hasConcept C80444323 @default.
- W4287183695 hasConceptScore W4287183695C110812573 @default.
- W4287183695 hasConceptScore W4287183695C121332964 @default.
- W4287183695 hasConceptScore W4287183695C134306372 @default.
- W4287183695 hasConceptScore W4287183695C154690210 @default.
- W4287183695 hasConceptScore W4287183695C169590947 @default.
- W4287183695 hasConceptScore W4287183695C173608175 @default.
- W4287183695 hasConceptScore W4287183695C199360897 @default.
- W4287183695 hasConceptScore W4287183695C2777904410 @default.
- W4287183695 hasConceptScore W4287183695C2778770139 @default.
- W4287183695 hasConceptScore W4287183695C2779639559 @default.
- W4287183695 hasConceptScore W4287183695C33923547 @default.
- W4287183695 hasConceptScore W4287183695C41008148 @default.
- W4287183695 hasConceptScore W4287183695C52723943 @default.
- W4287183695 hasConceptScore W4287183695C61797465 @default.
- W4287183695 hasConceptScore W4287183695C62520636 @default.
- W4287183695 hasConceptScore W4287183695C68339613 @default.
- W4287183695 hasConceptScore W4287183695C80444323 @default.
- W4287183695 hasLocation W42871836951 @default.
- W4287183695 hasOpenAccess W4287183695 @default.
- W4287183695 hasPrimaryLocation W42871836951 @default.
- W4287183695 hasRelatedWork W1680509 @default.
- W4287183695 hasRelatedWork W1904242 @default.
- W4287183695 hasRelatedWork W2022764 @default.
- W4287183695 hasRelatedWork W4474736 @default.
- W4287183695 hasRelatedWork W4549351 @default.
- W4287183695 hasRelatedWork W5127044 @default.
- W4287183695 hasRelatedWork W5223388 @default.
- W4287183695 hasRelatedWork W8691849 @default.
- W4287183695 hasRelatedWork W8727156 @default.
- W4287183695 hasRelatedWork W9169170 @default.
- W4287183695 isParatext "false" @default.
- W4287183695 isRetracted "false" @default.
- W4287183695 workType "article" @default.