log-concavity A collection of OSCAR methods to verify log concavity conjectures for valuated matroids and similar objects.