Open AccessVerification of redecoration for infinite triangular matrices using coinduction
Author(s) -
Ralph Matthes,
Célia Picard
Publication year - 2011
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - coinduction , type (biology) , proof assistant , diagonal , computer science , discrete mathematics , data type , mathematics , algebra over a field , programming language , pure mathematics , mathematical proof , ecology , geometry , biology