Journal of symbolic computation

• 

  Año 2001, Vol. 32, Número 4

  • FOREWORD OF THE GUEST EDITORS

    págs. 303-304

    

  • The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics

    Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia, Silvio Ranise

    págs. 305-332

    

  • Automatic Derivation of the Irrationality of e

    Michael Beeson

    págs. 333-350

    

  • On the Role of OpenMath in Interactive Mathematical Documents

    Arjeh M. Cohen, Olga Caprotti

    págs. 351-364

    

  • MBASE: Representing Knowledge and Context for the Integration of Mathematical Software Systems

    M. Kohlhase

    págs. 365-402

    

  • A General Framework to Build Contextual Cover Set Induction Provers

    Sorin Stratulat

    págs. 403-445