Dynamics, numerical analysis, and some geometry Ludwig Gauckler ∗ Ernst Hairer †

Source URL: eta.impa.br

• Hamiltonian mechanics
• Mathematical analysis
• Mathematics
• Theoretical physics
• Symplectic integrator
• Semi-implicit Euler method
• Multisymplectic integrator
• Variational integrator
• Leapfrog integration
• Integrable system
• Hamiltonian vector field
• Hamiltonian system

Acceleration of the Abstract Fixpoint Computation in Numerical Program Analysis Olivier Bouissou CEA LIST, Laboratory for the Modeling and Analysis of Interacting SystemsGif-sur-Yvette, France

Source URL: perso.ensta-paristech.fr

• Mathematics
• Metaphysics
• Fixed point
• Game theory
• Abstract interpretation
• Sequence
• Structure
• Dynamical system
• Model theory
• Series
• KnasterTarski theorem
• operator

A Study on Real-time Multibody Simulation with Contacts Carl Johan Gribel Numerical Analysis Lund Institute of Technology Supervisor: Prof. Claus F¨

Source URL: fileadmin.cs.lth.se

User’s Manual for SyGRD (System of Graph Reading and numerical data Displaying with image analysis software) Version 2.00 Ohmi, Hirokazu and JCPRG October 12, 2001 Revised March 9, 2002

Source URL: www.jcprg.org

Numerical Analysis Group Internal ReportResults from a numerical evaluation of LANCELOT B Nicholas I. M. Gould

Source URL: www.numerical.rl.ac.uk

206 Nonlinear Analysis: Modelling and Control, 2011, Vol. 16, No. 2, 206–219 A seventh order numerical method for singular perturbed differential-difference equations with negative shift

Source URL: www.lana.lt

POLITECNICO DI TORINO Numerical analysis of blasting: Explosion modeling, FEM code validation and application in explosive metal forming. Giacomo Bolla INTRODUCTION

Source URL: proceedings2015.caeconference.com

Motivation A combined abstract domain for lists Analysis of list-manipulating programs Static Analysis of List-Manipulating Programs via Bit-Vectors and Numerical Abstractions

Source URL: lqchen.github.io

On the Approximability of the Maximum Common Subgraph Problem Viggo Kann Department of Numerical Analysis and Computing Science Royal Institute of Technology SStockholm

Source URL: www.nada.kth.se

Numerical Static Analysis of Interrupt-Driven Programs via Sequentialization Xueguang Wu ∗† Liqian Chen †

Source URL: lqchen.github.io