Volume 9, Issue 1

March 2015

Special Focus on Formal Proofs for Mathematics and Computer Science (1-62)

Issue Editors:

8 articles in this issue

Foreword to the Special Focus on Formal Proofs for Mathematics and Computer Science
Laurent Théry
Freek Wiedijk
EditorialNotes 28 October 2014 Pages: 1 - 3
HOL(y)Hammer: Online ATP Service for HOL Light
Cezary Kaliszyk
Josef Urban
OriginalPaper Open access 28 June 2014 Pages: 5 - 22
A Graph Library for Isabelle
Lars Noschinski
OriginalPaper 28 June 2014 Pages: 23 - 39
Coquelicot: A User-Friendly Library of Real Analysis for Coq
Sylvie Boldo
Catherine Lelay
Guillaume Melquiond
OriginalPaper 28 June 2014 Pages: 41 - 62
Quantum Computation and Real Multiplication
Matilde Marcolli
John Napp
OriginalPaper 24 April 2014 Pages: 63 - 84
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
OriginalPaper 04 July 2014 Pages: 85 - 103
Antimagicness of Generalized Corona and Snowflake Graphs
Jacqueline W. Daykin
Costas S. Iliopoulos
Oudone Phanalasy
OriginalPaper 04 September 2014 Pages: 105 - 111
L(2, 1)-Labeling of Permutation and Bipartite Permutation Graphs
Satyabrata Paul
Madhumangal Pal
Anita Pal
OriginalPaper 12 June 2014 Pages: 113 - 123

Search