numerical methods

"Post-Hopf algebroids, post-Lie-Rinehart algebras and geometric numerical integration."

"The source is ArXiv."

"The article is from ArXiv."

"The research focuses on the Generalized Alternating-Direction Implicit (GADI) method."

"A Pick function approach for designing energy-decay preserving schemes."

"The paper focuses on preconditioning techniques for Hybridizable Discontinuous Galerkin Discretizations on GPU Architectures."

"The research likely focuses on using Isabelle/HOL."