Fetching the paper…

Reading the bibliography…

2021

High-performance symbolic-numerics via multiple dispatch

Gowda, Shashi, Ma, Yingbo, Cheli, Alessandro et al.

Original
PDF
Post on X

Understand

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.

High-performance symbolic-numerics via multiple dispatch · Around

Built on

A taste of rewrite systems
Nachum Dershowitz · 1993
Earlier work this paper cites.
Synthesizing object-oriented and functional design to promote re-use
Shriram Krishnamurthi, Matthias Felleisen, and Daniel P Friedman · 1998
Earlier work this paper cites.
The design and implementation of FFTW3
Matteo Frigo and Steven G Johnson · 2005
Earlier work this paper cites.
A computational model for early events in B cell antigen receptor signaling: analysis of the roles of Lyn and Fyn
Dipak Barua, William S Hlavacek, and Tomasz Lipniacki · 2012
Earlier work this paper cites.

Similar

Automatically improving accuracy for floating point expressions
Pavel Panchekha, Alex Sanchez-Stern, James R Wilcox, and Zachary Tatlock · 2015
Cited alongside, same era.
Julia: A fresh approach to numerical computing
Jeff Bezanson, Alan Edelman, Stefan Karpinski, and Viral B Shah · 2017
Cited alongside, same era.
Software Design for Flexibility: How to Avoid Programming Yourself into a Corner
Chris Hanson and Gerald Jay Sussman · 2021
Cited alongside, same era.

Then

Metatheory.jl: Fast and elegant algebraic computation in Julia with extensible equality saturation
Alessandro Cheli · 2021
Closest in time.
Egg: Fast and extensible equality saturation
Max Willsey, Chandrakana Nandi, Yisu Remy Wang, Oliver Flatt, Zachary Tatlock, and Pavel Panchekha · 2021
Closest in time.
Modelingtoolkit: A Composable Graph Transformation System For Equation-Based Modeling, 2021
Yingbo Ma, Shashi Gowda, Ranjan Anantharaman, Chris Laughman, Viral Shah, and Chris Rackauckas · 2021
Closest in time.

Beyond the bibliography

alphaXiv searches the wider corpus for related work and actual follow-ups.

Open on alphaXiv

alphaXiv is searching for related work…