Lean Proofs and Video Creation Scripts for the Paper "Asymptotic Subspace Consensus in Dynamic Networks"

Függer, Matthias; Nowak, Thomas

doi:10.4230/artifacts.26596

Artifact

Lean Proofs and Video Creation Scripts for the Paper "Asymptotic Subspace Consensus in Dynamic Networks" Software

Authors Matthias Függer , Thomas Nowak

Part of: Collection: Supplementary Materials
License: Apache License 2.0
Publication Date: 2026-06-24

Document Identifiers

DOI: 10.4230/artifacts.26596
URN: urn:nbn:de:0030-drops-265969

Author Details

Matthias Függer

Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF, Gif-sur-Yvette, France

Thomas Nowak

Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF, Gif-sur-Yvette, France
Institut Universitaire de France, Paris, France

Content

Software (Source Code): https://github.com/BioDisCo/roots
archived version

Version/Status

Content created at: 2026-02-22
Status: Active (at the time of publication 2026-06-24)

Cite As Get BibTex

Matthias Függer, Thomas Nowak. Lean Proofs and Video Creation Scripts for the Paper "Asymptotic Subspace Consensus in Dynamic Networks" (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/artifacts.26596

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata

0

Downloads

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail