Login / Signup

Structural types for systems of equations - Type refinements for structurally dynamic first-class modular systems of equations.

John CapperHenrik 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