Sign in
Structural types for systems of equations - Type refinements for structurally dynamic first-class modular systems of equations.
John Capper
Henrik Nilsson
Published in:
High. Order Symb. Comput. (2012)
Keyphrases
</>
knowledge based systems
artificial intelligence
dynamic environments
data sets
computing systems
linear systems
database
multiscale
management system
multi class
computer systems
numerical solution