Performant Dynamically Typed E-Graphs in Pure Julia
Fuente:
arXiv
Saved in:
| Main Authors: | Cheli, Alessandro, Heim, Niklas |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Performance Comparison of Function Evaluation Methods
by: Liberti, Leo
Published: (2002)
by: Liberti, Leo
Published: (2002)
The Syntax and Semantics of einsum
by: Wenig, Maurice, et al.
Published: (2025)
by: Wenig, Maurice, et al.
Published: (2025)
A Symbolic Computing Perspective on Software Systems
by: Norman, Arthur C., et al.
Published: (2024)
by: Norman, Arthur C., et al.
Published: (2024)
The B2Scala Tool: Integrating Bach in Scala with Security in Mind
by: Ouardi, Doha, et al.
Published: (2024)
by: Ouardi, Doha, et al.
Published: (2024)
Faster Inversion and Other Black Box Matrix Computations Using Efficient Block Projections
by: Eberly, Wayne, et al.
Published: (2007)
by: Eberly, Wayne, et al.
Published: (2007)
Certification of the QR factor R, and of lattice basis reducedness
by: Villard, Gilles
Published: (2007)
by: Villard, Gilles
Published: (2007)
A Flow Extension to Coroutine Types for Deadlock Detection in Go
by: Gu, Qiqi Jason, et al.
Published: (2026)
by: Gu, Qiqi Jason, et al.
Published: (2026)
Introducing Quantification into a Hierarchical Graph Rewriting Language
by: Mishina, Haruto, et al.
Published: (2024)
by: Mishina, Haruto, et al.
Published: (2024)
Efficient Symbolic Computation via Hash Consing
by: Zhu, Bowen, et al.
Published: (2025)
by: Zhu, Bowen, et al.
Published: (2025)
Power Series Composition in Near-Linear Time
by: Kinoshita, Yasunori, et al.
Published: (2024)
by: Kinoshita, Yasunori, et al.
Published: (2024)
SynPAT: A System for Generating Synthetic Physical Theories with Data
by: Lenchner, Jonathan, et al.
Published: (2025)
by: Lenchner, Jonathan, et al.
Published: (2025)
Faster Algorithms for Structured Matrix Multiplication via Flip Graph Search
by: Khoruzhii, Kirill, et al.
Published: (2025)
by: Khoruzhii, Kirill, et al.
Published: (2025)
YASPS: A Symbolic Framework for Extensible, High-Performance IPC Simulation
by: Tang, Xuan, et al.
Published: (2026)
by: Tang, Xuan, et al.
Published: (2026)
Strided Difference Bound Matrices
by: Pitchanathan, Arjun, et al.
Published: (2024)
by: Pitchanathan, Arjun, et al.
Published: (2024)
Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
by: Zhang, Naifeng, et al.
Published: (2025)
by: Zhang, Naifeng, et al.
Published: (2025)
WebPie: A Tiny Slice of Dependent Typing
by: Scholliers, Christophe
Published: (2024)
by: Scholliers, Christophe
Published: (2024)
Summa Summarum: Moessner's Theorem without Dynamic Programming
by: Danvy, Olivier
Published: (2024)
by: Danvy, Olivier
Published: (2024)
LSU factorization
by: Malaschonok, Gennadi
Published: (2025)
by: Malaschonok, Gennadi
Published: (2025)
An Algebraic Approach to Weighted Answer-set Programming
by: Coelho, Francisco, et al.
Published: (2025)
by: Coelho, Francisco, et al.
Published: (2025)
Reasoning and Planning with Dynamically Changing Norms
by: Olson, Taylor, et al.
Published: (2026)
by: Olson, Taylor, et al.
Published: (2026)
Super-Linear Speedup by Generalizing Runtime Repeated Recursion Unfolding in Prolog
by: Fruehwirth, Thom
Published: (2025)
by: Fruehwirth, Thom
Published: (2025)
Normalization of Quaternionic Polynomials in Coordinate-Free Quaternionic Variables in Conjugate-Alternating Order
by: Li, Hongbo, et al.
Published: (2025)
by: Li, Hongbo, et al.
Published: (2025)
Smith normal forms of bivariate polynomial matrices
by: Lu, Dong, et al.
Published: (2025)
by: Lu, Dong, et al.
Published: (2025)
Invariants: Computation and Applications
by: Kogan, Irina A.
Published: (2024)
by: Kogan, Irina A.
Published: (2024)
Mechanisms of Symbol Processing for In-Context Learning in Transformer Networks
by: Smolensky, Paul, et al.
Published: (2024)
by: Smolensky, Paul, et al.
Published: (2024)
Heterogeneous LLM Methods for Ontology Learning (Few-Shot Prompting, Ensemble Typing, and Attention-Based Taxonomies)
by: Beliaeva, Aleksandra, et al.
Published: (2025)
by: Beliaeva, Aleksandra, et al.
Published: (2025)
Algebraic Tools for Computing Polynomial Loop Invariants
by: Bayarmagnai, Erdenebayar, et al.
Published: (2024)
by: Bayarmagnai, Erdenebayar, et al.
Published: (2024)
Algebraic and Algorithmic Methods for Computing Polynomial Loop Invariants
by: Bayarmagnai, Erdenebayar, et al.
Published: (2024)
by: Bayarmagnai, Erdenebayar, et al.
Published: (2024)
Antiassociative algebra in R: introducing the evitaicossa package
by: Hankinn, Robin K. S.
Published: (2024)
by: Hankinn, Robin K. S.
Published: (2024)
From Affine to Polynomial: Synthesizing Loops with Branches via Algebraic Geometry
by: Bayarmagnai, Erdenebayar, et al.
Published: (2025)
by: Bayarmagnai, Erdenebayar, et al.
Published: (2025)
SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks
by: Beyer, Dirk, et al.
Published: (2025)
by: Beyer, Dirk, et al.
Published: (2025)
Quantitative Verification of Omega-regular Properties in Probabilistic Programming
by: Wang, Peixin, et al.
Published: (2025)
by: Wang, Peixin, et al.
Published: (2025)
Large Language Models, Knowledge Graphs and Search Engines: A Crossroads for Answering Users' Questions
by: Hogan, Aidan, et al.
Published: (2025)
by: Hogan, Aidan, et al.
Published: (2025)
On Minimal and Minimum Cylindrical Algebraic Decompositions
by: Michel, Lucas, et al.
Published: (2024)
by: Michel, Lucas, et al.
Published: (2024)
Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition
by: England, Matthew
Published: (2024)
by: England, Matthew
Published: (2024)
Complete Reduction for Derivatives in a Transcendental Liouvillian Extension
by: Chen, Shaoshi, et al.
Published: (2026)
by: Chen, Shaoshi, et al.
Published: (2026)
Complete Reduction for Derivatives in a Primitive Tower
by: Du, Hao, et al.
Published: (2025)
by: Du, Hao, et al.
Published: (2025)
Further results on Minimal and Minimum Cylindrical Algebraic Decompositions
by: Michel, Lucas, et al.
Published: (2026)
by: Michel, Lucas, et al.
Published: (2026)
Semi-Centennial REDUCE
by: Norman, Arthur C., et al.
Published: (2025)
by: Norman, Arthur C., et al.
Published: (2025)
Non-minimality of minimal telescopers explained by residues
by: Chen, Shaoshi, et al.
Published: (2025)
by: Chen, Shaoshi, et al.
Published: (2025)
Similar Items
-
Performance Comparison of Function Evaluation Methods
by: Liberti, Leo
Published: (2002) -
The Syntax and Semantics of einsum
by: Wenig, Maurice, et al.
Published: (2025) -
A Symbolic Computing Perspective on Software Systems
by: Norman, Arthur C., et al.
Published: (2024) -
The B2Scala Tool: Integrating Bach in Scala with Security in Mind
by: Ouardi, Doha, et al.
Published: (2024) -
Faster Inversion and Other Black Box Matrix Computations Using Efficient Block Projections
by: Eberly, Wayne, et al.
Published: (2007)