Volume: Vol-4116 SC-Square 2025 | Year: 2025

Paper: « paper114 | paper136 | paper137 »

Recycling Algebraic Proof Certificates

• Daniela Kaufmann
• Clemens Hofstadler

35-40 PDF