Some number relations

DOI10.2478/FORMA-2024-0023MaRDI QIDQ6966290zbMATH OpenFDO

Authors Sebastian Koch

Publication date 30 June 2025

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 3.0 Unported

Full work available at URL https://doi.org/10.2478/FORMA-2024-0023

zbMATH Keywords

binary relationgraph theorynumber relation

Mathematics Subject Classification ID

Enumeration in graph theory (05C30) Algebraic number theory: global fields (11R99) Formalization of mathematics in connection with theorem provers (68V20)

Cites work

• Algebraic graph theory. Morphisms, monoids and matrices
• Alternative Aggregates in Mizar
• Four decades of \textsc{Mizar}. Foreword
• scientific article; zbMATH DE number 3394154 (Why is no real title available?)
• Introduction to graph colorings
• Introduction to graph enumerations
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Unification of graphs and relations in Mizar

This page was built for publication: Some number relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6966290)