Cover Image

An Automatic Pipeline for the Integration of Python-Based Tools into the Galaxy Platform: Application to the anvi'o Framework

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Cumbo, Fabio, Joshi, Jayadev, Blankenberg, Daniel
Format:	Preprint
Published:	2026
Subjects:	Symbolic Computation
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Quantum Hyperdimensional Computing: a foundational paradigm for quantum neuromorphic architectures
by: Cumbo, Fabio, et al.
Published: (2025)

Ontolearn-A Framework for Large-scale OWL Class Expression Learning in Python
by: Demir, Caglar, et al.
Published: (2025)

A Generalisation of Goursat's Algorithm for Integration in Finite Terms
by: Blake, Sam
Published: (2026)

Towards Practical Automatic Piano Reduction using BERT with Semi-supervised Learning
by: Wong, Wan Ki, et al.
Published: (2025)

DNLSAT: A Dynamic Variable Ordering MCSAT Framework for Nonlinear Real Arithmetic
by: Wang, Zhonghan
Published: (2024)

Tree-Based Deep Learning for Ranking Symbolic Integration Algorithms
by: Barket, Rashid, et al.
Published: (2025)

Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, with Applications
by: Kop, Cynthia, et al.
Published: (2025)

Fast Matrix Multiplication in Small Formats: Discovering New Schemes with an Open-Source Flip Graph Framework
by: Perminov, A. I.
Published: (2026)

Advancing Symbolic Discovery on Unsupervised Data: A Pre-training Framework for Non-degenerate Implicit Equation Discovery
by: Yufei, Kuang, et al.
Published: (2025)

Botfip-LLM: An Enhanced Multimodal Scientific Computing Framework Leveraging Knowledge Distillation from Large Language Models
by: Chen, Tianhao, et al.
Published: (2024)

Case Frames and Case-Based Arguments in Statutory Interpretation
by: Araszkiewicz, Michal
Published: (2024)

Exhaustive Symbolic Integration: Integration by Differentiation and the Landscape of Symbolic Integrability
by: Desmond, Harry
Published: (2026)

Transformers to Predict the Applicability of Symbolic Integration Routines
by: Barket, Rashid, et al.
Published: (2024)

Statistical Analysis of Hairpins and BasePairs in RNA Secondary Structures
by: Bu, AJ, et al.
Published: (2026)

NePTune: A Neuro-Pythonic Framework for Tunable Compositional Reasoning on Vision-Language
by: Kamali, Danial, et al.
Published: (2025)

PyRigi -- a general-purpose Python package for the rigidity and flexibility of bar-and-joint frameworks
by: Gallet, Matteo, et al.
Published: (2025)

A Probabilistic Framework for Hierarchical Goal Recognition
by: Zhang, Chenyuan, et al.
Published: (2026)

Solving parametric polynomial systems using Generic Rational Univariate Representation
by: Corniquel, Florent
Published: (2026)

Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits
by: Hofstadler, Clemens, et al.
Published: (2026)

Meta Flip Graph meets Serendipitous Product: new Fast Matrix Multiplication results
by: Perminov, A. I.
Published: (2026)

Computational Explorations on Semifields
by: Dumas, Jean-Guillaume, et al.
Published: (2026)

Faster modular composition using two relation matrices
by: Neiger, Vincent, et al.
Published: (2026)

Order Bounds for Hypergeometric and q-Hypergeometric Creative Telescoping
by: Huang, Hui
Published: (2026)

On the Summability Problem of Multivariate Rational Functions in the Mixed Case
by: Chen, Shaoshi, et al.
Published: (2026)

Computing submatrices of the Hermite normal form of a structured polynomial matrix
by: Berthomieu, Jérémy, et al.
Published: (2026)

Degree bounds for linear differential equations and recurrences
by: Gaillard, Louis
Published: (2026)

LawMind: A Law-Driven Paradigm for Discovering Analytical Solutions to Partial Differential Equations
by: Zheng, Min-Yi, et al.
Published: (2026)

A Dataset of Nonlinear Equations for Subdivision
by: Xu, Juan, et al.
Published: (2026)

Symbolic-Neural Soft-Logic Reasoning: Towards Robust and Verifiable Thinking Chains via Cooperative Evolution
by: Wang, Rui, et al.
Published: (2026)

Computing a holonomic submodule of the partial Weyl closure
by: Brochet, Hadrien
Published: (2026)

Exploiting the Structure in Tensor Decompositions for Matrix Multiplication
by: Kauers, Manuel, et al.
Published: (2026)

Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting
by: Huang, Wei-Jia, et al.
Published: (2026)

Faster multivariate integration in D-modules
by: Brochet, Hadrien, et al.
Published: (2025)

How to generate all possible rational Wilf-Zeilberger forms?
by: Chen, Shaoshi, et al.
Published: (2024)

Algorithmic Detection of Jacobi Stability for Systems of Second Order Differential Equations
by: Böhmer, Christian G., et al.
Published: (2025)

Consequences of the Moosbauer-Poole Algorithms
by: Kauers, Manuel, et al.
Published: (2025)

Deducing Closed-Form Expressions for Bright-Solitons in Strongly Magnetized Plasmas with Physics Informed Symbolic Regression (PISR)
by: Finkelstein, Edward
Published: (2025)

Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks
by: Stübbe, Jonas, et al.
Published: (2025)

Telescoping Algorithms for $Σ^*$-Extensions via Complete Reductions
by: Chen, Shaoshi, et al.
Published: (2025)

More is Less: Adding Polynomials for Faster Explanations in NLSAT
by: Promies, Valentin, et al.
Published: (2025)