Copertina

A Rocq Formalization of Simplicial Lagrange Finite Elements

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Boldo, Sylvie, Clément, François, Martin, Vincent, Mayero, Micaela, Mouhcine, Houda
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Teaching Divisibility and Binomials with Coq
di: Boldo, Sylvie, et al.
Pubblicazione: (2024)

Maths with Coq in L1, a pedagogical experiment
di: Kerjean, Marie, et al.
Pubblicazione: (2025)

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

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

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

String Diagrams for Monoidal Categories, in Rocq
di: Pous, Damien
Pubblicazione: (2026)

Revisiting the Fast Fourier Transform in Rocq
di: Théry, Laurent
Pubblicazione: (2022)

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

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

A Logic of Secrecy on Simplicial Models
di: Wang, Shanxia
Pubblicazione: (2026)

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

Simplicial Belief
di: Cachin, Christian, et al.
Pubblicazione: (2026)

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

A Spatial Logic for Simplicial Models
di: Loreti, Michele, et al.
Pubblicazione: (2021)

A Dynamic Deontic Simplicial Logic for Joint Commitments
di: Cignarale, Giorgio, et al.
Pubblicazione: (2026)

Belief in Simplicial Complexes
di: Sink, Philip, et al.
Pubblicazione: (2025)

Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta -- Extended Version
di: Bezhanishvili, Nick, et al.
Pubblicazione: (2024)

Distributed Knowledge in Simplicial Models
di: Goubault, Éric, et al.
Pubblicazione: (2026)

Bisimulation for Impure Simplicial Complexes
di: Bílková, Marta, et al.
Pubblicazione: (2024)

Formal P-Category Theory and Normalization by Evaluation in Rocq
di: Berry, David G., et al.
Pubblicazione: (2025)

FSLI: An Interpretable Formal Semantic System for One-Dimensional Ordering Inference
di: Alkhairy, Maha, et al.
Pubblicazione: (2025)

Impure Simplicial Complexes: Complete Axiomatization
di: Randrianomentsoa, Rojo, et al.
Pubblicazione: (2022)

The Pebble-Relation Comonad in Finite Model Theory
di: Montacute, Yoàv, et al.
Pubblicazione: (2021)

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

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

Embedded Finite Models Beyond Restricted Quantifier Collapse
di: Benedikt, Michael, et al.
Pubblicazione: (2023)

Impure Simplicial Complex and Term-Modal Logic with Assignment Operators
di: Yang, Yuanzhe
Pubblicazione: (2025)

Abstract Scene Graphs: Formalizing and Monitoring Spatial Properties of Automated Driving Functions
di: Saxena, Ishan, et al.
Pubblicazione: (2025)

A Theory of Formal Choreographic Languages
di: Barbanera, Franco, et al.
Pubblicazione: (2022)

Formalization of Amicable Numbers Theory
di: Chen, Zhipeng, et al.
Pubblicazione: (2026)

Formalizing equivalences without tears
di: de Jong, Tom
Pubblicazione: (2024)

Formalizing two-level type theory with cofibrant exo-nat
di: Uskuplu, Elif
Pubblicazione: (2023)

Characterisation of Lawvere-Tierney Topologies on Simplicial Sets, Bicolored Graphs, and Fuzzy Sets
di: Rosset, Aloïs, et al.
Pubblicazione: (2024)

Meta-Modelling in Formal Concept Analysis
di: Wang, Yingjian
Pubblicazione: (2024)

Sequencelib: A Computational Platform for Formalizing the OEIS in Lean
di: Moreira, Walter, et al.
Pubblicazione: (2026)

A Beluga Formalization of the Harmony Lemma in the $π$-Calculus
di: Cecilia, Gabriele, et al.
Pubblicazione: (2024)

A Formalization of the Reversible Concurrent Calculus CCSKP in Beluga
di: Cecilia, Gabriele
Pubblicazione: (2025)

Formal Modelling and Analysis of Slot Machines
di: Groote, Jan Friso, et al.
Pubblicazione: (2024)

Formal Verification of Isothermal Chemical Reactors
di: Feyzishendi, Parivash, et al.
Pubblicazione: (2025)