Venn Diagrams Program(s) and Output

Brenner, Sofia; Mütze, Torsten; Verciani, Francesco

doi:10.4230/artifacts.26092

Artifact

Venn Diagrams Program(s) and Output Software

Authors Sofia Brenner , Torsten Mütze , Francesco Verciani

Part of: Collection: Supplementary Materials
License: GNU General Public License v3.0 only
Publication Date: 2026-05-27

Document Identifiers

DOI: 10.4230/artifacts.26092
URN: urn:nbn:de:0030-drops-260925

Author Details

Sofia Brenner

Institute of Mathematics, University of Kassel, Germany

Torsten Mütze

Institute of Mathematics, University of Kassel, Germany

Francesco Verciani

Institute of Mathematics, University of Kassel, Germany

Content

Software: https://tmuetze.de/papers/venn.zip
archived version

Version/Status

Content created at: 2025-12-08

Cite As Get BibTex

Sofia Brenner, Torsten Mütze, Francesco Verciani. Venn Diagrams Program(s) and Output (Software). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/artifacts.26092

Description

Programs to: compute all simple n-Venn diagrams (C++); compute all simple monotone n-Venn diagrams (C++); process the output files generated by the other programs (Sagemath/Jupiter notebook) Data files containing processed output

Subject Classification

Programming Languages

C++
Python (Sagemath)

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