Login / Signup

Efficient Syntax-Driven Lumping of Differential Equations.

Luca CardelliMirco TribastoneMax TschaikowskiAndrea Vandin
Published in: TACAS (2016)
Keyphrases
  • differential equations
  • dynamical systems
  • ordinary differential equations
  • numerical solution
  • search algorithm
  • machine learning
  • neural network
  • natural language
  • brownian motion
  • difference equations