Work

A Formal Analysis of Algorithms for Matroids and Greedoids

Year: 2025

Type: preprint

Abstract: A formal mathematical library of graph-theoretic results. Focus is on algorithmic results.

Source: arXiv (Cornell University)

DOI: 10.4230/lipics.itp.2025.2

Authors: Thomas Ammer, Mohammad Abdulaziz, Adem Rimpapa, Shriya Meenakshisundaram, Christoph Madlener, lammich

Language: English

Topic: Complexity and Algorithms in Graphs

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W4414587217

Cites:

Cited by:

Related to: