18 citations · 29 across the 13 of their papers we have counts for
3 papers · 1 filter
Program Generation for Small-Scale Linear Algebra Applications
Daniele G. Spampinato, Diego Fabregat-Traver, Paolo Bientinesi +1
We present SLinGen, a program generation system for linear algebra. The input to SLinGen is an application expressed mathematically in a linear-algebra-inspired language (LA) that…
MatchPy: A Pattern Matching Library
Manuel Krebber, Henrik Barthels, Paolo Bientinesi
Pattern matching is a powerful tool for symbolic computations, based on the well-defined theory of term rewriting systems. Application domains include algebraic expressions, abstra…
Efficient Pattern Matching in Python
Manuel Krebber, Henrik Barthels, Paolo Bientinesi
Pattern matching is a powerful tool for symbolic computations. Applications include term rewriting systems, as well as the manipulation of symbolic expressions, abstract syntax tre…