Formally Verifying Proofs for Algebraic Identities of Matrices
Work
Year: 2020
Type: book-chapter
Authors Leonard Schmitz, Viktor Levandovskyy
Institution RWTH Aachen University
Cites: 16
Cited by: 10
Related to: 10
FWCI: 5.274
Citation percentile (by year/subfield): 90.29
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed