A Proof of Lie's Product Formula.

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

Keyphrases

life cycle
theorem prover
theorem proving
decision making
linear logic
neural network
machine learning
artificial intelligence
multi agent
search algorithm
product development