2021
DOI: 10.1016/j.jpaa.2020.106564
|View full text |Cite
|
Sign up to set email alerts
|

Formal proofs of operator identities by a single formal computation

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2
1

Citation Types

0
10
0

Year Published

2021
2021
2024
2024

Publication Types

Select...
4
1
1

Relationship

2
4

Authors

Journals

citations
Cited by 7 publications
(10 citation statements)
references
References 10 publications
0
10
0
Order By: Relevance
“…To end this section, we recall some of the notions related to the framework developed in [17] that are also relevant for the work presented here. For a short, more formal summary see also the appendix in [4].…”
Section: Preliminariesmentioning
confidence: 99%
See 4 more Smart Citations
“…To end this section, we recall some of the notions related to the framework developed in [17] that are also relevant for the work presented here. For a short, more formal summary see also the appendix in [4].…”
Section: Preliminariesmentioning
confidence: 99%
“…Informally speaking, a polynomial is compatible with Q if and only if it can be translated into a valid operator in the setting encoded by Q. The main result of [17] then says the following. If the polynomials F ⊆ K X representing the assumptions of a statement about operators as well as the polynomial f ∈ K X corresponding to the claimed property are all compatible with the quiver Q encoding the domains and codomains, then the ideal membership f ∈ (F ) is equivalent to the correctness of the statement about operators.…”
Section: Preliminariesmentioning
confidence: 99%
See 3 more Smart Citations