Alternative Aggregates in Mizar

DOI10.1007/978-3-540-73086-6_26zbMath1202.68385OpenAlexW1497642397MaRDI QIDQ5428281

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

Related Items (6)

Introduction to graph enumerations ⋮ About regular graphs ⋮ Formalizing network flow algorithms: a refinement approach in Isabelle/HOL ⋮ Formalization of the fundamental group in untyped set theory using auto2 ⋮ Formalizing the Edmonds-Karp Algorithm ⋮ Semantics of Mizar as an Isabelle object logic

Uses Software

• Mizar

This page was built for publication: Alternative Aggregates in Mizar