A Determinant Proof of a Generalized Pythagorean Theorem.

Suk-Geun Hwang Ki-Bong Nam

Published in: Am. Math. Mon. (2020)

Keyphrases

interactive theorem proving
learning algorithm
image segmentation
search algorithm
expert systems
theorem prover
theorem proving
linear logic
databases
real world
learning environment
evolutionary algorithm