A new proof of Seymour's 6-flow theorem.

Matt DeVos Edita Rollová Robert Sámal

Published in: J. Comb. Theory, Ser. B (2017)

Keyphrases

interactive theorem proving
flow field
theorem proving
information retrieval
linear logic
automated theorem proving
flow patterns
decision trees
case study
three dimensional
multiscale
optimal solution
video sequences
real world
von neumann
proof theory
proof planning
machine learning