Login / Signup
Computer Algebra meets Finite Elements: an Efficient Implementation for Maxwell's Equations
Christoph Koutschan
Christoph Lehrenfeld
Joachim Schöberl
Published in:
CoRR (2011)
Keyphrases
</>
finite element
computer algebra
finite difference
numerical solution
mathematical model
case study
efficient implementation
theorem prover
boundary element
mesh generation
finite element model
automated theorem provers
information systems
differential equations
modal logic
training data
knowledge base