Cover Image

Revisiting the Fast Fourier Transform in Rocq

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Théry, Laurent
Format:	Preprint
Published:	2022
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

TableauxRocq: A Deep Embedding of Free-Variable Tableaux in Rocq
by: Rosain, Johann, et al.
Published: (2026)

TensorRocq: Enabling diagrammatic reasoning in Rocq
by: Caldwell, Benjamin, et al.
Published: (2026)

String Diagrams for Monoidal Categories, in Rocq
by: Pous, Damien
Published: (2026)

A Rocq Formalization of Monomial and Graded Orders
by: Boldo, Sylvie, et al.
Published: (2025)

Adhesive category theory for graph rewriting in Rocq
by: Arsac, Samuel, et al.
Published: (2025)

A Rocq Formalization of Simplicial Lagrange Finite Elements
by: Boldo, Sylvie, et al.
Published: (2026)

Putnam 2025 Problems in Rocq using Opus 4.6 and Rocq-MCP
by: Baudart, Guillaume, et al.
Published: (2026)

Nominal Sets in Rocq
by: Paranhos, Fabrício Sanches, et al.
Published: (2025)

RocqStar: Leveraging Similarity-driven Retrieval and Agentic Systems for Rocq generation
by: Kozyrev, Andrei, et al.
Published: (2025)

RocqSmith: Can Automatic Optimization Forge Better Proof Agents?
by: Kozyrev, Andrei, et al.
Published: (2026)

MiniF2F in Rocq: Automatic Translation Between Proof Assistants -- A Case Study
by: Viennot, Jules, et al.
Published: (2025)

Bridging Computational Notions of Depth
by: Bienvenu, Laurent, et al.
Published: (2024)

Relators and Notions of Simulation Revisited
by: Goncharov, Sergey, et al.
Published: (2025)

Unification in Matching Logic -- Revisited
by: Kurucz, Ádám, et al.
Published: (2024)

Revisiting Stateful Partial-Order Reduction
by: Herbreteau, Frédéric, et al.
Published: (2024)

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
by: Lyon, Tim S.
Published: (2024)

Confluence of Logically Constrained Rewrite Systems Revisited
by: Schöpf, Jonas, et al.
Published: (2024)

Revisiting Restarts of CDCL: Should the Search Information be Preserved?
by: Zhang, Xindi, et al.
Published: (2024)

Revisiting Assumptions Ordering in CAR-Based Model Checking
by: Dong, Yibo, et al.
Published: (2024)

SCL(FOL) Revisited
by: Bromberger, Martin, et al.
Published: (2023)

The Modal Cube Revisited: Semantics without Worlds (Technical Report)
by: Leme, Renato, et al.
Published: (2025)

Temporal Team Semantics Revisited
by: Gutsfeld, Jens Oliver, et al.
Published: (2021)

Revisiting DRUP-based Interpolants with CaDiCaL 2.0
by: Khouri, Basel, et al.
Published: (2025)

Generalised Reachability Games Revisited
by: Bose, Sougata, et al.
Published: (2025)

Stochastic Processes with Expected Stopping Time
by: Chatterjee, Krishnendu, et al.
Published: (2021)

When Do You Start Counting? Revisiting Counting and Pnueli Modalities in Timed Logics
by: Ho, Hsi-Ming, et al.
Published: (2024)

Physically Aware Synthesis Revisited: Guiding Technology Mapping with Primitive Logic Gate Placement
by: Pan, Hongyang, et al.
Published: (2024)

Type Isomorphisms for Multiplicative-Additive Linear Logic
by: Di Guardia, Rémi, et al.
Published: (2024)

Revisiting the expressiveness of metric temporal logic : A tale of "Je t'aime, moi non plus."
by: Foughali, Mohammed Aristide
Published: (2026)

Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families
by: Češka, Milan, et al.
Published: (2026)

Higher-Order Weakest Precondition Transformers via a CPS Transformation
by: Kura, Satoshi
Published: (2023)

Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability
by: Amat, Nicolas, et al.
Published: (2024)

Snakes can be fooled into thinking they live in a tree
by: Bartholdi, Laurent, et al.
Published: (2024)

Synthesising Full-Information Protocols
by: Berwanger, Dietmar, et al.
Published: (2023)

Sequent Calculi for Data-Aware Modal Logics
by: Areces, Carlos, et al.
Published: (2025)

Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP
by: Hanisch, Philipp, et al.
Published: (2026)

Formalising the Double-Pushout Approach to Graph Transformation
by: Söldner, Robert, et al.
Published: (2023)

Model Checking Markov Chains as Distribution Transformers
by: Aghamov, Rajab, et al.
Published: (2024)

Computing Supported Models via Transformation to Stable Models
by: Li, Fang, et al.
Published: (2025)

The Value Problem for Multiple-Environment MDPs with Parity Objective
by: Chatterjee, Krishnendu, et al.
Published: (2025)