Ausgabe 1/2015
Special Focus on Formal Proofs for Mathematics and Computer Science (1-62)
Inhalt (8 Artikel)
Foreword to the Special Focus on Formal Proofs for Mathematics and Computer Science
Laurent Théry, Freek Wiedijk
Coquelicot: A User-Friendly Library of Real Analysis for Coq
Sylvie Boldo, Catherine Lelay, Guillaume Melquiond
A Single Sweep AGE Algorithm based on Off-Step Discretization for the Solution of Viscous Burgers’ Equation on a Variable Mesh
Jyoti Talwar, Ranjan Kumar Mohanty
Antimagicness of Generalized Corona and Snowflake Graphs
Jacqueline W. Daykin, Costas S. Iliopoulos, Mirka Miller, Oudone Phanalasy
L(2, 1)-Labeling of Permutation and Bipartite Permutation Graphs
Satyabrata Paul, Madhumangal Pal, Anita Pal