AxiomaticTheory

Không khả dụng

Dạng

AxiomaticTheory["theory"]

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

AxiomaticTheory[theory, "property"]

Tìm trong tài liệu tham chiếu

Liên quan

FindEquationalProof Groupings

Tất cả 6300 hàm · Dùng cái này từ một client MCP