Used together with:
prover
(1)
theorem
(1)
mathematica
(1)
Stem
analytica$ (
all stems
)
1 papers:
CADE-1992-ClarkeZ
#named
#proving
#theorem proving
Analytica — A Theorem Prover in Mathematica (
EMC
,
XZ
), pp. 761–765.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.
CADE-1992-ClarkeZ #named #proving #theorem proving
CADE-1992-ClarkeZ #named #proving #theorem proving