:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Joswig, Michael, Kastner, Lars, Lorenz, Benjamin
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Mathematical Software 68N30
Accesso online:	https://arxiv.org/abs/2404.06241
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Drawing real plane algebraic curves in OSCAR
di: Frühbis-Krüger, Anne, et al.
Pubblicazione: (2026)

MAGNET: an open-source library for mesh agglomeration by Graph Neural Networks
di: Antonietti, Paola F., et al.
Pubblicazione: (2025)

SHAPR: Operationalising Human-AI Collaborative Research Through Structured Knowledge Generation
di: Chan, Ka Ching
Pubblicazione: (2026)

Compilation of Generalized Matrix Chains with Symbolic Sizes
di: López, Francisco, et al.
Pubblicazione: (2025)

Adding complex numbers to expression template algorithmic differentiation tools
di: Sagebaum, Max, et al.
Pubblicazione: (2025)

Algorithmic differentiation for domain specific languages in C++ with expression templates
di: Sagebaum, Max, et al.
Pubblicazione: (2026)

OpenDerisk: An Industrial Framework for AI-Driven SRE, with Design, Implementation, and Case Studies
di: Di, Peng, et al.
Pubblicazione: (2025)

Concepts for Composing Finite Element Function Space Bases
di: Engwer, Christian, et al.
Pubblicazione: (2025)

SubalgebraBases in Macaulay2
di: Burr, Michael, et al.
Pubblicazione: (2023)

Comparison of SeDuMi and SDPT3 Solvers for Stability of Continuous-time Linear System
di: Xu, Guangda
Pubblicazione: (2023)

A FAIR File Format for Mathematical Software
di: Della Vecchia, Antony, et al.
Pubblicazione: (2023)

Evaluating Developer-written Unit Test Case Reduction for Java -- A Replication Study
di: Le, Tuan D, et al.
Pubblicazione: (2025)

Methods for evaluating software accessibility
di: Kuz, Mykola, et al.
Pubblicazione: (2025)

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

CoderUJB: An Executable and Unified Java Benchmark for Practical Programming Scenarios
di: Zeng, Zhengran, et al.
Pubblicazione: (2024)

Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution
di: Helbling, Caleb, et al.
Pubblicazione: (2026)

Securing the Dark Matter: A Semantic-Enhanced Neuro-Symbolic Framework for Supply Chain Analysis of Opaque Industrial Software
di: Ning, Bowei, et al.
Pubblicazione: (2026)

Mind the Metrics: Patterns for Telemetry-Aware In-IDE AI Application Development using the Model Context Protocol (MCP)
di: Koc, Vincent, et al.
Pubblicazione: (2025)

AdvFusion: Adapter-based Knowledge Transfer for Code Summarization on Code Language Models
di: Saberi, Iman, et al.
Pubblicazione: (2023)

The Meta-Prompting Protocol: Orchestrating LLMs via Adversarial Feedback Loops
di: Fu, Fanzhe
Pubblicazione: (2025)

A natural language framework for non-conforming hybrid polytopal methods in Gridap.jl
di: Manyer, Jordi, et al.
Pubblicazione: (2026)

Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
di: Lauer, Alexander, et al.
Pubblicazione: (2026)

RSE of a Quantum Transport Code and its Effects
di: Conrads, Christoph, et al.
Pubblicazione: (2026)

Utilization of Pre-trained Language Model for Adapter-based Knowledge Transfer in Software Engineering
di: Saberi, Iman, et al.
Pubblicazione: (2023)

cozy: Comparative Symbolic Execution for Binary Programs
di: Helbling, Caleb, et al.
Pubblicazione: (2025)

Polylab: A MATLAB Toolbox for Multivariate Polynomial Modeling
di: Niu, Yi-Shuai, et al.
Pubblicazione: (2026)

TDAD: Test-Driven Agentic Development - Reducing Code Regressions in AI Coding Agents via Graph-Based Impact Analysis
di: Alonso, Pepe, et al.
Pubblicazione: (2026)

SCARA: A Semantics-Constrained Autonomous Remediation Agent for Opaque Industrial Software Vulnerabilities
di: Ning, Bowei, et al.
Pubblicazione: (2026)

CosmoCore-Evo: Evolutionary Dream-Replay Reinforcement Learning for Adaptive Code Generation
di: Ravindran, Santhosh Kumar
Pubblicazione: (2025)

Tool-Assisted Conformance Checking to Reference Process Models
di: Rumpe, Bernhard, et al.
Pubblicazione: (2025)

DRS-OSS: Practical Diff Risk Scoring with LLMs
di: Sayedsalehi, Ali, et al.
Pubblicazione: (2025)

The Distributed and Unified Numerics Environment (DUNE), Version 2.10
di: Blatt, Markus, et al.
Pubblicazione: (2025)

Validation of an analyzability model for quantum software: a family of experiments
di: Díaz-Muñoz, Ana, et al.
Pubblicazione: (2026)

RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
di: Guo, Jinyao, et al.
Pubblicazione: (2025)

Three Decades of Formal Methods in Business Process Compliance: A Systematic Literature Review
di: López, Hugo A., et al.
Pubblicazione: (2024)

The ACPATH Metric: Precise Estimation of the Number of Acyclic Paths in C-like Languages
di: Bagnara, Roberto, et al.
Pubblicazione: (2016)

A C implementation of the Smith massager algorithm
di: Wang, Ziwen, et al.
Pubblicazione: (2026)

On systematic construction of correct logic programs
di: Drabent, Włodzimierz
Pubblicazione: (2025)

Multiple Query Satisfiability of Constrained Horn Clauses
di: De Angelis, Emanuele, et al.
Pubblicazione: (2022)

Parameter Estimation in ODE Models with Certified Polynomial System Solving
di: Demin, Alexander, et al.
Pubblicazione: (2025)