Formalized linear algebra over Elementary Divisor Rings in Coq
Cano, Guillaume, Cohen, Cyril, Dénès, Maxime, Mörtberg, Anders, Siles, Vincent
Published in Logical methods in computer science (01.01.2016)
Published in Logical methods in computer science (01.01.2016)
Get full text
Journal Article
Formalized linear algebra over Elementary Divisor Rings in Coq
Cano, Guillaume, Cohen, Cyril, Dénès, Maxime, Mörtberg, Anders, Siles, Vincent
Published in arXiv.org (20.06.2016)
Published in arXiv.org (20.06.2016)
Get full text
Paper
Journal Article
Transparent and polarizing vision element having areas which are associated with polarization filters that are respectively vertically and horizontally oriented
BEGON CEDRIC,BITEAU JOHN,BIVER CLAUDINE,BOSMANS RICHARD,CANO JEAN-PAUL,GIRAUDET GUILLAUME,MUISENER RICHARD
Year of Publication 04.04.2007
Get full text
Year of Publication 04.04.2007
Patent