Cover Image

Antiassociative algebra in R: introducing the evitaicossa package

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Hankinn, Robin K. S.
Format:	Preprint
Published:	2024
Subjects:	Programming Languages Mathematical Software Symbolic Computation
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Open Source Prover in the Attic
by: Kovács, Zoltán, et al.
Published: (2024)

Groebner.jl: A package for Gröbner bases computations in Julia
by: Demin, Alexander, et al.
Published: (2023)

SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks
by: Beyer, Dirk, et al.
Published: (2025)

f4ncgb: High Performance Gröbner Basis Computations in Free Algebras
by: Heisinger, Maximilian, et al.
Published: (2025)

Satire: Computing Rigorous Bounds for Floating-Point Rounding Error in Mixed-Precision Loop-Free Programs
by: Tirpankar, Tanmay, et al.
Published: (2025)

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
by: Kutsia, Temur, et al.
Published: (2024)

Efficient Symbolic Computation via Hash Consing
by: Zhu, Bowen, et al.
Published: (2025)

Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs
by: Barket, Rashid, et al.
Published: (2024)

Faster Gröbner bases for Lie derivatives of ODE systems via monomial orderings
by: Bessonov, Mariya, et al.
Published: (2022)

Some Computational Tools for Solving a Selection of Problems in Control Theory
by: Demin, Alexander, et al.
Published: (2025)

Generalised Burnside and Dixon algorithms for irreducible projective representations
by: Szabó, Attila
Published: (2025)

SignatureTensors.jl: A Package for Signature Tensors in Julia
by: Riffo, Gabriel, et al.
Published: (2026)

A Symbolic Computing Perspective on Software Systems
by: Norman, Arthur C., et al.
Published: (2024)

Introducing the vfunc R package
by: Hankin, Robin K. S.
Published: (2026)

Misfortunes of a mathematicians' trio using Computer Algebra Systems: Can we trust?
by: Durán, Antonio J., et al.
Published: (2013)

Debugging code world models
by: Rahmani, Babak
Published: (2026)

Clifford algebra in R
by: Hankin, Robin K. S.
Published: (2022)

Fast Symbolic Integer-Linear Spectra
by: Luntzel, Jonny, et al.
Published: (2024)

Extrapolating Solution Paths of Polynomial Homotopies towards Singularities with PHCpack and phcpy
by: Verschelde, Jan, et al.
Published: (2024)

Symbolic and Numerical Tools for $L_{\infty}$-Norm Calculation
by: Younes, Grace, et al.
Published: (2025)

Quadratization of Autonomous Partial Differential Equations: Theory and Algorithms
by: Olivieri, Albani, et al.
Published: (2026)

The Syntax and Semantics of einsum
by: Wenig, Maurice, et al.
Published: (2025)

Frex: dependently-typed algebraic simplification
by: Allais, Guillaume, et al.
Published: (2023)

Introducing Quantification into a Hierarchical Graph Rewriting Language
by: Mishina, Haruto, et al.
Published: (2024)

Strided Difference Bound Matrices
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)

A Flow Extension to Coroutine Types for Deadlock Detection in Go
by: Gu, Qiqi Jason, et al.
Published: (2026)

Rigorous numerical computation of the Stokes multipliers for linear differential equations with single level one
by: Loday-Richaud, Michèle, et al.
Published: (2026)

SeQuant Framework for Symbolic and Numerical Tensor Algebra. I. Core Capabilities
by: Gaudel, Bimal, et al.
Published: (2025)

YASPS: A Symbolic Framework for Extensible, High-Performance IPC Simulation
by: Tang, Xuan, et al.
Published: (2026)

OGRe: An Object-Oriented General Relativity Package for Mathematica
by: Shoshany, Barak
Published: (2021)

Simple generators of rational function fields
by: Demin, Alexander, et al.
Published: (2026)

Inferring Equivalence Classes from Legacy Undocumented Embedded Binaries for ISO 26262-Compliant Testing
by: De Luca, Marco, et al.
Published: (2026)

HIVE: Scalable Hardware-Firmware Co-Verification using Scenario-based Decomposition and Automated Hint Extraction
by: Jayasena, Aruna, et al.
Published: (2023)

CodeSteer: Symbolic-Augmented Language Models via Code/Text Guidance
by: Chen, Yongchao, et al.
Published: (2025)

Algebraic Tools for Computing Polynomial Loop Invariants
by: Bayarmagnai, Erdenebayar, et al.
Published: (2024)

Algebraic and Algorithmic Methods for Computing Polynomial Loop Invariants
by: Bayarmagnai, Erdenebayar, et al.
Published: (2024)

From Affine to Polynomial: Synthesizing Loops with Branches via Algebraic Geometry
by: Bayarmagnai, Erdenebayar, et al.
Published: (2025)

Welding R and C++: A Tale of Two Programming Languages
by: Sepulveda, Mauricio Vargas
Published: (2024)

WebPie: A Tiny Slice of Dependent Typing
by: Scholliers, Christophe
Published: (2024)