Buchumschlag

Formalizing Schwartz functions and tempered distributions

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Doll, Moritz
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science Analysis of PDEs
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Feasibly Constructive Proof of Schwartz-Zippel Lemma and the Complexity of Finding Hitting Sets
von: Atserias, Albert, et al.
Veröffentlicht: (2024)

Shock with Confidence: Formal Proofs of Correctness for Hyperbolic Partial Differential Equation Solvers
von: Gorard, Jonathan, et al.
Veröffentlicht: (2025)

Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting
von: Lichter, Moritz
Veröffentlicht: (2022)

Automatic Verification of Floating-Point Accumulation Networks
von: Zhang, David K., et al.
Veröffentlicht: (2025)

Time-Sensitive Importance Splitting
von: Dengler, Gabriel, et al.
Veröffentlicht: (2025)

Finite element method. Detailed proofs to be formalized in Coq
von: Clément, François, et al.
Veröffentlicht: (2024)

Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation
von: Dengler, Gabriel, et al.
Veröffentlicht: (2024)

Formalizing equivalences without tears
von: de Jong, Tom
Veröffentlicht: (2024)

Formalization of Amicable Numbers Theory
von: Chen, Zhipeng, et al.
Veröffentlicht: (2026)

Formalizing two-level type theory with cofibrant exo-nat
von: Uskuplu, Elif
Veröffentlicht: (2023)

Meta-Modelling in Formal Concept Analysis
von: Wang, Yingjian
Veröffentlicht: (2024)

Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
von: Pinsker, Michael, et al.
Veröffentlicht: (2025)

Univalence without function extensionality
von: Cavallo, Evan, et al.
Veröffentlicht: (2026)

Formal Verification of Isothermal Chemical Reactors
von: Feyzishendi, Parivash, et al.
Veröffentlicht: (2025)

Formal Modelling and Analysis of Slot Machines
von: Groote, Jan Friso, et al.
Veröffentlicht: (2024)

A Theory of Formal Choreographic Languages
von: Barbanera, Franco, et al.
Veröffentlicht: (2022)

The Klein-Gordon equation on asymptotically Minkowski spacetimes: the Feynman propagator
von: Baskin, Dean, et al.
Veröffentlicht: (2025)

Strong negation in the theory of computable functionals TCF
von: Köpp, Nils, et al.
Veröffentlicht: (2022)

On matrix rank function over bounded arithmetics
von: Ken, Eitetsu, et al.
Veröffentlicht: (2023)

A Rocq Formalization of Monomial and Graded Orders
von: Boldo, Sylvie, et al.
Veröffentlicht: (2025)

Exploring Formal Math on the Blockchain: An Explorer for Proofgold
von: Brown, Chad E., et al.
Veröffentlicht: (2025)

Proceedings Eighth Symposium on Working Formal Methods
von: Marin, Mircea, et al.
Veröffentlicht: (2024)

The Klein-Gordon equation on asymptotically Minkowski spacetimes: causal propagators
von: Baskin, Dean, et al.
Veröffentlicht: (2024)

Complete representation by partial functions for signatures containing antidomain restriction
von: McLean, Brett
Veröffentlicht: (2023)

Formalizing Representation Theorems for a Logical Framework with Rewriting
von: Traversié, Thomas, et al.
Veröffentlicht: (2025)

A Formalization of the Reversible Concurrent Calculus CCSKP in Beluga
von: Cecilia, Gabriele
Veröffentlicht: (2025)

Sequencelib: A Computational Platform for Formalizing the OEIS in Lean
von: Moreira, Walter, et al.
Veröffentlicht: (2026)

Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms
von: de Lima, Thaynara Arielly, et al.
Veröffentlicht: (2024)

Formal Quality Measures for Predictors in Markov Decision Processes
von: Baier, Christel, et al.
Veröffentlicht: (2024)

A Beluga Formalization of the Harmony Lemma in the $π$-Calculus
von: Cecilia, Gabriele, et al.
Veröffentlicht: (2024)

A Rocq Formalization of Simplicial Lagrange Finite Elements
von: Boldo, Sylvie, et al.
Veröffentlicht: (2026)

When Darwin met Ianus: dichotomies of expressivity
von: Brunar, Johanna, et al.
Veröffentlicht: (2025)

Formalizing the Real Numbers in Homotopy Type Theory with Cubical Agda
von: Brough, Jackson
Veröffentlicht: (2026)

Formally Verified Animation for RoboChart using Interaction Trees
von: Ye, Kangfeng, et al.
Veröffentlicht: (2023)

FORWORD: Accelerating Formal Datapath Verification via Word-Level Sweeping
von: Yang, Ziyi, et al.
Veröffentlicht: (2025)

Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification
von: Bacci, Giorgio, et al.
Veröffentlicht: (2025)

A Formal Analysis of Capacity Scaling Algorithms for Minimum-Cost Flows
von: Abdulaziz, Mohammad, et al.
Veröffentlicht: (2026)

Conway Normal Form: Bridging Approaches for Comprehensive Formalization of Surreal Numbers
von: Pąk, Karol, et al.
Veröffentlicht: (2024)

A Practical Formalization of Monadic Equational Reasoning in Dependent-type Theory
von: Affeldt, Reynald, et al.
Veröffentlicht: (2023)

Discrete Heat Equation with irregular thermal conductivity and tempered distributional data
von: Chatzakou, Marianna, et al.
Veröffentlicht: (2023)