Image de couverture de livre

Fast Trigonometric Functions using the RLIBM Approach

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Park, Sehyeok, Nagarakatte, Santosh
Format:	Preprint
Publié:	2025
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Odd but Error-Free FastTwoSum: More General Conditions for FastTwoSum as an Error-Free Transformation for Faithful Rounding Modes
par: Park, Sehyeok, et autres
Publié: (2026)

RLibm-MultiRound: Correctly Rounded Math Libraries Without Worrying about the Application's Rounding Mode
par: Park, Sehyeok, et autres
Publié: (2025)

FLoPS: Semantics, Operations, and Properties of P3109 Floating-Point Representations in Lean
par: Chang, Tung-Che, et autres
Publié: (2026)

Functional Reactive Programming with Effects, A More Permissive Approach
par: Dabrowski, Frédéric, et autres
Publié: (2025)

Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
par: Lybech, Stian, et autres
Publié: (2025)

Fast Atomicity Monitoring
par: Tun, Hünkar Can, et autres
Publié: (2026)

Phaedrus: Predicting Dynamic Application Behavior with Lightweight Generative Models and LLMs
par: Chatterjee, Bodhisatwa, et autres
Publié: (2024)

Fast and Extensible Hybrid Embeddings with Micros
par: Bocirnea, Sean, et autres
Publié: (2025)

FPMoE: A Sparse Mixture-of-Experts Approach to Functional Code Generation
par: Pham, Loc, et autres
Publié: (2026)

Latent Idiom Recognition for a Minimalist Functional Array Language using Equality Saturation
par: Van der Cruysse, Jonathan, et autres
Publié: (2023)

Tensor Evolution: A Framework for Fast Evaluation of Tensor Computations using Recurrences
par: Absar, Javed, et autres
Publié: (2025)

Augmented Weak Distance for Fast and Accurate Bounds Checking
par: Fu, Zhoulai, et autres
Publié: (2025)

Fast Collection Operations from Indexed Stream Fusion
par: Kovach, Scott, et autres
Publié: (2025)

KATch: A Fast Symbolic Verifier for NetKAT
par: Moeller, Mark, et autres
Publié: (2024)

Fail Faster: Staging and Fast Randomness for High-Performance PBT
par: Richey, Cynthia, et autres
Publié: (2025)

TPDE: A Fast Adaptable Compiler Back-End Framework
par: Schwarz, Tobias, et autres
Publié: (2025)

A Novel Compiler Transformation for Fast Sparse Matrix Multiplication in GPUs
par: Albakri, Hossein, et autres
Publié: (2025)

Making Formulog Fast: An Argument for Unconventional Datalog Evaluation (Extended Version)
par: Bembenek, Aaron, et autres
Publié: (2024)

Abstraction Functions as Types
par: Grodin, Harrison, et autres
Publié: (2025)

Finite Functional Programming
par: Arntzenius, Michael, et autres
Publié: (2026)

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version)
par: Cutler, Joseph W., et autres
Publié: (2024)

Foundational VeriFast: Pragmatic Certification of Verification Tool Results through Hinted Mirroring
par: Jacobs, Bart
Publié: (2026)

Functional Meaning for Parallel Streaming
par: Rioux, Nick, et autres
Publié: (2025)

Functional Logic Program Transformations
par: Hanus, Michael, et autres
Publié: (2026)

Abstracting Extensible Recursive Functions
par: Hubers, Alex, et autres
Publié: (2024)

Reactive Programming without Functions
par: Oeyen, Bjarno, et autres
Publié: (2024)

Debugging Functional Programs by Interpretation
par: Whitington, John
Publié: (2024)

Functional Reasoning for Distributed Systems with Failures
par: Ni, Haobin, et autres
Publié: (2025)

Grokking the Sequent Calculus (Functional Pearl)
par: Binder, David, et autres
Publié: (2024)

Functional Ownership through Fractional Uniqueness
par: Marshall, Danielle, et autres
Publié: (2023)

Functional Programming in Learning Electromagnetic Theory
par: Walck, Scott N.
Publié: (2024)

Optimizing Quantum Circuits, Fast and Slow
par: Xu, Amanda, et autres
Publié: (2024)

VeriFast's separation logic: a logic without laters for modular verification of fine-grained concurrent programs
par: Jacobs, Bart
Publié: (2025)

Invertible Syntax without the Tuples (Functional Pearl)
par: Boespflug, Mathieu, et autres
Publié: (2025)

Lazy Linearity for a Core Functional Language
par: Mesquita, Rodrigo, et autres
Publié: (2025)

Typed Embedding of miniKanren for Functional Conversion
par: Engel, Igor, et autres
Publié: (2025)

Step in Tine: Forking Processes in Functional Choreographies
par: Samuelson, Ashley, et autres
Publié: (2026)

A Monadic Implementation of Functional Logic Programs
par: Hanus, Michael, et autres
Publié: (2026)

A Complementary Approach to Incorrectness Typing
par: Li, Celia Mengyue, et autres
Publié: (2025)

From Algebraic Word Problem to Program: A Formalized Approach
par: Wiemerslage, Adam, et autres
Publié: (2020)