An application of knowledge-base technology in education: a geometry theorem prover

Authors:
M. Hadzikadic;F. Lichtenberger;D. Y. Y. Yun
Affiliations:
Southern Methodist Univ., Dallas, TX;Southern Methodist Univ., Dallas, TX;Southern Methodist Univ., Dallas, TX
Venue:
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Year:
1986

Realization of a geometry-theorem proving machine

Computers & thought
Using Prolog for Constructing Geometric Objects defined by Constraints

EUROCAL '85 Research Contributions from the European Conference on Computer Algebra-Volume 2
Menu-based natural language understanding

ACL '83 Proceedings of the 21st annual meeting on Association for Computational Linguistics
Self-explanatory symbolic computation for math education

ACM SIGSAM Bulletin
A radical proposal for computer algebra in education

ACM SIGSAM Bulletin
The geometry tutor

IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1

Hi-index	0.00