Imagen de Portada

Rigorous Function Calculi in Ariadne

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Collins, Pieter, Geretti, Luca, Gonzalez, Sanja Zivanovic, Bresolin, Davide, Villa, Tiziano
Formato:	Preprint
Publicado:	2023
Materias:	Mathematical Software
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Adaptive Sketching Based Construction of H2 Matrices on GPUs
por: Boukaram, Wajih Halim, et al.
Publicado: (2025)

Accuracy of Mathematical Functions in Julia
por: Mikaitis, Mantas, et al.
Publicado: (2025)

Correctly Rounded Functions For Vector Applications: A Performance Study
por: Anderson, Cristina, et al.
Publicado: (2026)

SARIS: Accelerating Stencil Computations on Energy-Efficient RISC-V Compute Clusters with Indirect Stream Registers
por: Scheffler, Paul, et al.
Publicado: (2024)

Rigorous Error Analysis for Logarithmic Number Systems
por: Nguyen, Thanh Son, et al.
Publicado: (2024)

UGrid: An Efficient-And-Rigorous Neural Multigrid Solver for Linear PDEs
por: Han, Xi, et al.
Publicado: (2024)

Leveraging Network Methods for Hub-like Microservice Detection
por: Bakhtin, Alexander, et al.
Publicado: (2025)

Optimizing Tensor Contraction Paths: A Greedy Algorithm Approach With Improved Cost Functions
por: Orgler, Sheela, et al.
Publicado: (2024)

A Monadic, Functional Implementation of Real Numbers
por: O'Connor, Russell
Publicado: (2006)

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

Towards Richer Challenge Problems for Scientific Computing Correctness
por: Sottile, Matthew, et al.
Publicado: (2025)

Enhancing non-Perl bioinformatic applications with Perl: Building novel, component based applications using Object Orientation, PDL, Alien, FFI, Inline and OpenMP
por: Argyropoulos, Christos
Publicado: (2024)

Experience converting a large mathematical software package written in C++ to C++20 modules
por: Bangerth, Wolfgang
Publicado: (2025)

Implementing a Restricted Function Space Class in Firedrake
por: Rothwell, Emma
Publicado: (2024)

Hardware-Accelerated Algorithm for Complex Function Roots Density Graph Plotting
por: Tang, Ruibai, et al.
Publicado: (2025)

Democratizing Uncertainty Quantification
por: Seelinger, Linus, et al.
Publicado: (2024)

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

CDL: A fast and flexible library for the study of permutation sets with structural restrictions
por: Zhou, Bei, et al.
Publicado: (2023)

Deriving Algorithms for Triangular Tridiagonalization a Skew-Symmetric Matrix
por: van de Geijn, Robert, et al.
Publicado: (2023)

AsaPy: A Python Library for Aerospace Simulation Analysis
por: Dantas, Joao P. A., et al.
Publicado: (2023)

RLibm-MultiRound: Correctly Rounded Math Libraries Without Worrying about the Application's Rounding Mode
por: Park, Sehyeok, et al.
Publicado: (2025)

Analyzing Computational Approaches for Differential Equations: A Study of MATLAB, Mathematica, and Maple
por: Ogethakpo, Arhonefe Joseph, et al.
Publicado: (2025)

Harnessing Batched BLAS/LAPACK Kernels on GPUs for Parallel Solutions of Block Tridiagonal Systems
por: Jin, David, et al.
Publicado: (2025)

ORTHOCUB: integral and differential cubature rules by orthogonal moments
por: Rinaldi, Laura, et al.
Publicado: (2025)

JetSCI: A Hybrid JAX-PETSc Framework for Scalable Differentiable Simulation
por: Cattaneo, Alberto, et al.
Publicado: (2026)

ATC: an Advanced Tucker Compression library for multidimensional data
por: Baert, Wouter, et al.
Publicado: (2021)

Minimization of Nonlinear Energies in Python Using FEM and Automatic Differentiation Tools
por: Béreš, Michal, et al.
Publicado: (2024)

An Efficient Batch Solver for the Singular Value Decomposition on GPUs
por: Abdelfattah, Ahmad, et al.
Publicado: (2026)

Fast Large-Scale Model-Based Iterative Tomography via Exploiting Mathematical Structure, Hierarchical Optimization, Smart Initialization, and Distributed GPU Computing
por: Kumar, Dinesh, et al.
Publicado: (2026)

On a vectorized basic linear algebra package for prototyping codes in MATLAB
por: Moskovka, Alexej, et al.
Publicado: (2024)

A Novel SIMD-Optimized Implementation for Fast and Memory-Efficient Trigonometric Computation
por: Goyal, Nikhil Dev, et al.
Publicado: (2025)

QHyper: an integration library for hybrid quantum-classical optimization
por: Lamża, Tomasz, et al.
Publicado: (2024)

svds-C: A Multi-Thread C Code for Computing Truncated Singular Value Decomposition
por: Feng, Xu, et al.
Publicado: (2024)

Porting the Nonlinear Optimization Library HiOp to Accelerator-Based Hardware Architectures
por: Peles, Slaven, et al.
Publicado: (2026)

Finch: Sparse and Structured Tensor Programming with Control Flow
por: Ahrens, Willow, et al.
Publicado: (2024)

Interprocess Communication of Algebraic Data
por: Della Vecchia, Antony
Publicado: (2026)

FLoPS: Semantics, Operations, and Properties of P3109 Floating-Point Representations in Lean
por: Chang, Tung-Che, et al.
Publicado: (2026)

PyOptInterface: Design and implementation of an efficient modeling language for mathematical optimization
por: Yang, Yue, et al.
Publicado: (2024)

Grassland: A Rapid Algebraic Modeling System for Million-variable Optimization
por: Li, Xihan, et al.
Publicado: (2021)

A Proposed Framework for Advanced (Multi)Linear Infrastructure in Engineering and Science (FAMLIES)
por: Matthews, Devin A., et al.
Publicado: (2026)