Alternative Aggregates in Mizar

DOI10.1007/978-3-540-73086-6_26MaRDI QIDQ5428281zbMATH OpenOpenAlexFDO

Authors Gilbert Lee, Piotr Rudnicki

Publication date 28 November 2007

Published in Towards Mechanized Mathematical Assistants (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73086-6_26

Mathematics Subject Classification ID

Recommendations

• Miscellaneous graph preliminaries
• On the Structure of Mizar Types
• Miscellaneous graph preliminaries. I
• A Brief Overview of Mizar
• Custom automations in Mizar

Cited in

(11)

• Formalizing network flow algorithms: a refinement approach in Isabelle/HOL
• Semantics of Mizar as an Isabelle object logic
• Formalizing the Edmonds-Karp algorithm
• scientific article; zbMATH DE number 5850143 (Why is no real title available?)
• Edmonds-Karp
• Flow Networks
• Prpu_Maxflow
• Introduction to graph enumerations
• About regular graphs
• Some number relations
• About path and cycle graphs

Describes a project that uses

Uses Software

• Mizar

This page was built for publication: Alternative Aggregates in Mizar

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