Symbolic Itô calculus in AXIOM: An ongoing story.

Wilfrid S. Kendall

Published in: Stat. Comput. (2001)

Keyphrases

symbolic representation
story generation
inference rules
provably correct
digital storytelling
story telling
real time
real world
multimedia
image sequences
digital libraries
modal logic
intermediate level
automated deduction
neural learning
computer algebra