## Stem geomet$ (all stems)

### 1 papers:

- CADE-1988-CyrlukHK #algebra #geometry #named #proving #theorem proving
- GEOMETER: A Theorem Prover for Algebraic Geometry (DC, RMH, DK), pp. 770–771.

- CADE-1988-CyrlukHK #algebra #geometry #named #proving #theorem proving
- GEOMETER: A Theorem Prover for Algebraic Geometry (DC, RMH, DK), pp. 770–771.

Hosted as a part of SLEBOK on GitHub.