CoqEAL

swMATH3703MaRDI QIDQ16057FDOQ16057

Author name not available (Why is that?)

Cited In (5)

• Title not available (Why is that?)
• ML4PG in Computer Algebra Verification
• A Certified Reduction Strategy for Homological Image Processing
• Title not available (Why is that?)
• Formalized linear algebra over Elementary Divisor Rings in Coq

This page was built for software: CoqEAL