Formal proofs of operator identities by a single formal computation
| Autor: | Raab, Clemens G., Regensburger, Georg, Hossein Poor, Jamal |
|---|---|
| Zdroj: | In Journal of Pure and Applied Algebra May 2021 225(5) |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Raab, Clemens G., Regensburger, Georg, Hossein Poor, Jamal |
|---|---|
| Zdroj: | In Journal of Pure and Applied Algebra May 2021 225(5) |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect