Mathias Schack Rabing

According to our database¹, Mathias Schack Rabing authored at least 3 papers between 2023 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Formalization of Weighted Sets.

[DOI]

Arch. Formal Proofs, 2026

Formalization of Countable Multisets.

[DOI]

Arch. Formal Proofs, 2026

2023

Ceva's Theorem.

[DOI]

Arch. Formal Proofs, 2023