Buchumschlag

Performant Dynamically Typed E-Graphs in Pure Julia

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Cheli, Alessandro, Heim, Niklas
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages Symbolic Computation I.1.3
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Performance Comparison of Function Evaluation Methods
von: Liberti, Leo
Veröffentlicht: (2002)

The Syntax and Semantics of einsum
von: Wenig, Maurice, et al.
Veröffentlicht: (2025)

A Symbolic Computing Perspective on Software Systems
von: Norman, Arthur C., et al.
Veröffentlicht: (2024)

The B2Scala Tool: Integrating Bach in Scala with Security in Mind
von: Ouardi, Doha, et al.
Veröffentlicht: (2024)

Faster Inversion and Other Black Box Matrix Computations Using Efficient Block Projections
von: Eberly, Wayne, et al.
Veröffentlicht: (2007)

Certification of the QR factor R, and of lattice basis reducedness
von: Villard, Gilles
Veröffentlicht: (2007)

A Flow Extension to Coroutine Types for Deadlock Detection in Go
von: Gu, Qiqi Jason, et al.
Veröffentlicht: (2026)

Introducing Quantification into a Hierarchical Graph Rewriting Language
von: Mishina, Haruto, et al.
Veröffentlicht: (2024)

Efficient Symbolic Computation via Hash Consing
von: Zhu, Bowen, et al.
Veröffentlicht: (2025)

Power Series Composition in Near-Linear Time
von: Kinoshita, Yasunori, et al.
Veröffentlicht: (2024)

SynPAT: A System for Generating Synthetic Physical Theories with Data
von: Lenchner, Jonathan, et al.
Veröffentlicht: (2025)

Faster Algorithms for Structured Matrix Multiplication via Flip Graph Search
von: Khoruzhii, Kirill, et al.
Veröffentlicht: (2025)

YASPS: A Symbolic Framework for Extensible, High-Performance IPC Simulation
von: Tang, Xuan, et al.
Veröffentlicht: (2026)

Strided Difference Bound Matrices
von: Pitchanathan, Arjun, et al.
Veröffentlicht: (2024)

Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
von: Zhang, Naifeng, et al.
Veröffentlicht: (2025)

WebPie: A Tiny Slice of Dependent Typing
von: Scholliers, Christophe
Veröffentlicht: (2024)

Summa Summarum: Moessner's Theorem without Dynamic Programming
von: Danvy, Olivier
Veröffentlicht: (2024)

LSU factorization
von: Malaschonok, Gennadi
Veröffentlicht: (2025)

An Algebraic Approach to Weighted Answer-set Programming
von: Coelho, Francisco, et al.
Veröffentlicht: (2025)

Reasoning and Planning with Dynamically Changing Norms
von: Olson, Taylor, et al.
Veröffentlicht: (2026)

Super-Linear Speedup by Generalizing Runtime Repeated Recursion Unfolding in Prolog
von: Fruehwirth, Thom
Veröffentlicht: (2025)

Normalization of Quaternionic Polynomials in Coordinate-Free Quaternionic Variables in Conjugate-Alternating Order
von: Li, Hongbo, et al.
Veröffentlicht: (2025)

Smith normal forms of bivariate polynomial matrices
von: Lu, Dong, et al.
Veröffentlicht: (2025)

Invariants: Computation and Applications
von: Kogan, Irina A.
Veröffentlicht: (2024)

Mechanisms of Symbol Processing for In-Context Learning in Transformer Networks
von: Smolensky, Paul, et al.
Veröffentlicht: (2024)

Heterogeneous LLM Methods for Ontology Learning (Few-Shot Prompting, Ensemble Typing, and Attention-Based Taxonomies)
von: Beliaeva, Aleksandra, et al.
Veröffentlicht: (2025)

Algebraic Tools for Computing Polynomial Loop Invariants
von: Bayarmagnai, Erdenebayar, et al.
Veröffentlicht: (2024)

Algebraic and Algorithmic Methods for Computing Polynomial Loop Invariants
von: Bayarmagnai, Erdenebayar, et al.
Veröffentlicht: (2024)

Antiassociative algebra in R: introducing the evitaicossa package
von: Hankinn, Robin K. S.
Veröffentlicht: (2024)

From Affine to Polynomial: Synthesizing Loops with Branches via Algebraic Geometry
von: Bayarmagnai, Erdenebayar, et al.
Veröffentlicht: (2025)

SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks
von: Beyer, Dirk, et al.
Veröffentlicht: (2025)

Quantitative Verification of Omega-regular Properties in Probabilistic Programming
von: Wang, Peixin, et al.
Veröffentlicht: (2025)

Large Language Models, Knowledge Graphs and Search Engines: A Crossroads for Answering Users' Questions
von: Hogan, Aidan, et al.
Veröffentlicht: (2025)

On Minimal and Minimum Cylindrical Algebraic Decompositions
von: Michel, Lucas, et al.
Veröffentlicht: (2024)

Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition
von: England, Matthew
Veröffentlicht: (2024)

Complete Reduction for Derivatives in a Transcendental Liouvillian Extension
von: Chen, Shaoshi, et al.
Veröffentlicht: (2026)

Complete Reduction for Derivatives in a Primitive Tower
von: Du, Hao, et al.
Veröffentlicht: (2025)

Further results on Minimal and Minimum Cylindrical Algebraic Decompositions
von: Michel, Lucas, et al.
Veröffentlicht: (2026)

Semi-Centennial REDUCE
von: Norman, Arthur C., et al.
Veröffentlicht: (2025)

Non-minimality of minimal telescopers explained by residues
von: Chen, Shaoshi, et al.
Veröffentlicht: (2025)