AxiomaticTheory

Non disponibile

Forme

AxiomaticTheory["theory"]

AxiomaticTheory[{"theory", <| "op1" -> s1, "op2" -> s2, … |>}]

AxiomaticTheory[theory, "property"]

Cerca nella guida

Correlate

FindEquationalProof Groupings

Tutte le 6300 funzioni · Usa questo da un client MCP