CAN Newsletter 14, April 1995

Contents

• Contents
• CAN News
  • The CAN Foundation
    • Voorlopig Programma
  • The CAN Expertise Center
    • Programma
    • New Software
    • Upcoming CAN Courses and Events
  • Distribution of Mathematical Software
    • MathOffice
    • MathEdge
  • RIACA
    • RIACA Preprint Series
    • OpenMath News
    • Introduction
    • OpenMath Objectives
      • Dissemination of scientific knowledge
      • Open distributed processing
  • Let me Introduce Myself
    • Roderik Lindenbergh
• RIACA Annual Report
  • The HISC Project at RIACA
    • Introduction
    • Participants to the Project
    • Goals of the Project
    • Main results
    • Collaborations
    • HISC workshop
    • Publications
      • Books and monographs
      • Articles and chapters
      • Papers in conference proceedings
      • Technical reports
      • Lectures delivered during workshops and seminars
      • Lectures delivered at the HISC seminar
    • Prospects
  • The CAGO Project
    • Introduction
    • Participants to the Project
    • Goals of the Project
    • Results
    • Workshop
    • Papers and Lectures
    • Papers
      • Lectures during workshops and seminars
      • Lectures delivered at the CAGO seminar
    • Prospects
• CONCAVO
  • Verslag Workshop ``Computer Algebra in het Wiskunde Curriculum'', 6 - 8 maart 1995, Univ. Twente
    • Inleiding
    • Ontwikkelingen in Computeralgebra
    • Computeralgebra in het onderwijs
      • Inleiding
      • Ervaringen
    • Programmeren met en algoritmen voor Computeralgebrasystemen
    • Toepassingen van computeralgebra in de praktijk
    • Discussie
  • CONCAVO Materiaal in CAIN
• CAIN
  • News
  • Call for Collaboration
• CA-mogelijkheden aan de Hanzehogeschool Groningen
  • Onderzoek naar de mogelijkheden van implementatie van een computeralgebra-programma. De implementatievoorbereiding bij de afdeling Werktuigbouwkunde van de Hanzehogeschool, Hogeschool van Groningen.
    • Eerst even voorstellen
    • Aanleiding
    • Waarom zo'n onderzoek naar de mogelijkheden van implementatie?
    • De voorbereiding van de implementatie op de Hanzehogeschool, Hogeschool van Groningen (HvG).
• Static Analysis of a Sleeper with Mathematica
  • Abstract
  • Introduction
  • Acknowledgements
  • The Problem
  • The Mathematical Model
  • The Computer Algebra
    • Beam on Elastic Foundation
    • Partially Supported Beam
  • Conclusion
  • References
• Talking about Chance
  • Birth of a Formula
  • Derive Session
• Letters about Wester's Review
  • Letter from Tom Issaevitch, Wolfram Research Inc.
  • Letter from Michael Wester, Univ. New Mexico
• Wester's test suite in MuPAD 1.2.2
  • Numbers
  • Statistics
  • Algebra
  • Trigonometry
  • Determining Zero Equivalence
  • The Complex Domain
  • Equations
  • Matrix Algebra
  • Sums and products
  • Calculus
  • Indefinite Integrals
  • Definite Integrals
  • Series
  • Differential Equations
  • Operators
  • Programming
  • Translation
  • Boolean Logic
    • Acknowledgement.
  • Bibliography
• Maple V in A.I.: The Boolean Algebra Associated to a KBS
  • Abstract
  • Introduction
    • Basic Concepts Regarding KBS
    • The Polynomial Algebra Isomorphic to a Propositional Boolean Algebra
    • The Polynomial Algebra Isomorphic to the Boolean Algebra Associated to a KBS
  • Implementation in Maple V
    • Theoretical Details
    • The Implementation
  • Applications to Propositional Boolean Algebras
    • Equivalence of Propositions in a Propositional Boolean Algebra
    • Implications Between Propositions in a Propositional Boolean Algebra
  • Applications to Knowledge Based Systems
    • Equivalence of Propositions and Implications in the Boolean Algebra Associated to a KBS
    • Verification of the Forward Reasoning Consistency of a KBS
  • Conclusions
  • Literature
• Book Announcements
  • Computer Algebra in Industry 2: Problem Solving in Practice
    • Contents
    • Preface
  • The Mathematica Graphics Guidebook
    • Contents
  • Applied Electronic Engineering with Mathematica
    • Contents
  • Calcul Formel : mode d'emploi --- Exemples en MAPLE
    • Contents
  • Essential Maple: A Guide for Scientific Programmers
  • Macsyma Version 2: Systematische und praxisnahe Einführung mit Anwendungsbeispielen
• Computer Algebra Meetings
• About this document ...

Last updated: April 23, 1995