[ < ] [ globale Übersicht ] [ Kapitelübersicht ] [ Stichwortsuche ] [ > ]

AxiomLogo

  • Hersteller:
  • Plattformen:

    • Product Code:

    Computer/Op. System:

    Mark:

    Prec. Compiler:

    Magnetic Media Format:
    AXH972ANAK HP9000/700 2.0a N/App. HP-UX 9 cartridge: 4mm DAT
    AXH972ANBK HP9000/700 2.0a N/App. HP-UX 10 cartridge: 4mm DAT
    AXIB62ANAI IBM RISC System/6000 2.0a N/App. AIX 3.2.5 cartridge: 0.25"
    AXIB62ANAJ IBM RISC System/6000 2.0a N/App. AIX 3.2.5 cartridge: 8mm
    AXIB62ANAK IBM RISC System/6000 2.0a N/App. AIX 3.2.5 cartridge: 4mm DAT
    AXSOL2ANAI SPARC Solaris 2.0a N/App. Sol 2.3 cartridge: 0.25"
    AXSOL2ANAJ SPARC Solaris 2.0a N/App. Sol 2.3 cartridge: 8mm
    AXSOL2ANAK SPARC Solaris 2.0a N/App. Sol 2.3 cartridge: 4mm DAT
    AXSOL2ANAN SPARC Solaris 2.0a N/App. Sol 2.3 CD-ROM
    AXSOL2ANBI SPARC Solaris 2.0a N/App. Sol 2.4 cartridge: 0.25"
    AXSOL2ANBJ SPARC Solaris 2.0a N/App. Sol 2.4 cartridge: 8mm
    AXSOL2ANBK SPARC Solaris 2.0a N/App. Sol 2.4 cartridge: 4mm DAT
    AXSOL2ANBN SPARC Solaris 2.0a N/App. Sol 2.4 CD-ROM
    AXSU42ANAI Sun 4 SunOS 2.0a N/App. Sun 4.1.2 cartridge: 0.25"
    AXSU42ANAJ Sun 4 SunOS 2.0a N/App. Sun 4.1.2 cartridge: 8mm
    AXSU42ANAK Sun 4 SunOS 2.0a /App. Sun 4.1.2 cartridge: 4mm DAT
    AXW322CNAD Windows NT/95 2.1.1 N/App. 95/NT3.51 disks: 3.5" HD
    AXW322CNAN Windows NT/95 2.1.1 N/App. 95/NT3.51 CD-ROM

  • Beschreibung:

    • Scratchpad und AXIOM wurden von den IBM research laboratories über viele Jahre entwickelt, bevor sie auf den Markt kamen.. Heute wird AXIOM für diverse Plattformen von der Numerical Algorithms Group, Inc. (NAG) (Downer's Grove, IL, USA. and Oxford, UK), angeboten.

    Axiom ist ein interaktives Programmpaket (symbolische Algebra) mit umfangreicher 2-D und 3-D Graphikfähigkei. Es ist vollständig objektorientiert programmiert, läuft allerdings nur auf Workstations und bietet als besonderen Leckerbissen eine Standardschnittstelle zur Numerikbibliothek von NAG an.

  • Weitere Informationen des Hersteller / der Distributoren:

    • PRESS RELEASE

    AXIOM is a powerful computer algebra system which provides a complete environment for anyone needing to manipulate and solve mathematical formulae. Its application is wide-ranging, from pure mathematics research through branches of physics, chemistry, biology and engineering to financial modelling and cryptography.

    AXIOM was originally developed as a research tool by IBM in collaboration with experts around the world; IBM has a long history of research in symbolic algebra with many significant contributions to the field. The copyright of AXIOM is now assigned to NAG.

    (Oxford, UK, July 24 1996) - AXIOM the symbolic solver for mathematical computation is now available under Windows NT and Windows 95 providing scientists and engineers with a powerful problem solving environment within the familiar Windows graphical user interface. The Windows release builds upon Open Inventor™ to provide sophisticated 3D graphical output, and includes the AXIOM XL compiler allowing users to customise extensions to the code, plus an interactive link with numerical routines from the NAG Fortran Library.

    "AXIOM was always much more than just a symbolic solver", said Dr.Steve Hague, Deputy Director of NAG Ltd, "it is a powerful and comprehensive system which provides an integrated environment for the solution of any problem that can be expressed in mathematical terms. By exploiting Open Inventor as the graphics engine for the Windows version, we have created something unique in computer algebra systems. AXIOM now has superb graphics capabilities to complement its unrivalled problem solving power."

    Porting AXIOM to the latest generation of Windows environments brings workstation functionality to a much wider user base. Already available on popular workstations including IBM, Hewlett-Packard and Sun (with more ports, including Linux on the way), the Windows NT and Windows 95 release means users of top-end PCs can now enjoy the benefits of what is widely regarded as the state-of-the-art in symbolic solvers for the solution of both simple and complex algebraic problems.

    The use of Open Inventor allows graphical output to be exported to other Open Inventor systems, such as IRIS Explorer™, for post processing of graphical objects. AXIOM provides a document style interface allowing users to mix text, mathematics and graphics with their computations.The interface can display documents written in LaTeX, HTML and can also include images. AXIOM comes complete with over 1000 packages of algorithms and mathematical objects covering many areas of algebra including calculus, number theory and analysis. It is supported by a hypertext help system which includes a full user guide and live examples plus documentation on every function contained within the system.

    Developed by NAG with technical support from IBM, AXIOM is the successor to the system originally developed by the internationally renowned computer algebraists at IBM Yorktown Heights and other leading specialists. Its object-oriented design is unique in its recognition of a universe of mathematical components and the relationships amongst them. The strong typing and hierarchical structure of the system makes it both consistent and robust. AXIOM employs comprehensive type-inferencing techniques to overcome the problems of strongly typed languages encountered in some older packages. It is a very open system with all library source code held on-line, and all the algorithms employed and type-inferencing performed on behalf of the user readily visible. These aspects, together with the ability in the Windows NT and Windows 95 versions for users to share 3D geometry over the Internet using VRML compliant viewers, makes AXIOM particularly attractive for teaching and research purposes.

    The AXIOM XL Library Compiler supports both object-oriented and functional programming styles and can produce stand-alone executable programs, object libraries in native operating system formats, portable byte code libraries and C or Lisp source code. This means that users can develop and add their own compiled code to the AXIOM library for significant performance improvements. AXIOM is the only computer algebra package providing such a facility. Several other features of the compiler language provide broad functionality without performance degradation and enable it to produce executable programs often as efficient as those produced by C or Fortran compilers.

    The interactive link to the NAG Foundation Library allows numerical routines to be called directly from within the AXIOM environment, extending functionality still further.

    AXIOM library code can be combined with user-generated code and with code from other libraries and programs to create customised solutions to varied applications. With these new capabilities AXIOM is highly competitive with current computer algebra systems and in many ways it is the ideal platform for application development.

    NAG Ltd has over 25 years experience in developing, porting, distributing and supporting scientific software. NAG is a not-for-profit company which supplies a range of compilers, tools, software libraries and associated products for the professional programmer and for educational and industrial use. NAG Ltd is based in Oxford, UK, with subsidiary companies in Chicago, Tokyo and Munich, as well as distributors worldwide.

    NOTES FOR EDITORS:

    1. Context

    Symbolic solvers have revolutionised the computation of mathematical problems allowing the machine and the user to communicate in terms of algebraic formulae, in the language of the scientist. Mathematics underpins so many different subjects that the list of potential applications is very long. AXIOM will appeal to scientists and engineers across all disciplines - mathematics, physics, chemistry, biology, telecommunications, finance, economics, statistics and many more.

    2. Background to AXIOM

    AXIOM has a distinctive pedigree. It was originally developed as a research tool by Richard Jenks' Symbolic Computation Group at the IBM Thomas J Watson Research Center in Yorktown Heights. The project began in 1978 under the name Scratchpad and the first release of AXIOM was launched in 1991. The research group is widely recognised for its outstanding achievements in the field of computer algebra and this work has been augmented by contributions from a multitude of experts around the world. Collaboration continues to play an important role in the development of AXIOM. NAG Ltd has now taken over responsibility for the development, porting, distribution marketing and sales of AXIOM through an agreement with IBM.

    3. Hardware Configuration for PCs

    Processor: 486 or Pentium Disk Space: 100Mb Memory: 32Mb (NT) or 16Mb (95) RAM plus equal amount of virtual memory Monitor: Standard Graphics card: 16 bit colour capacity to 1024x768 resolution or 2Mb video RAM CD ROM: Preferably quad-speed Operating System: Windows NT, Windows 95

    AXIOM is a registered trademark of The Numerical Algorithms Group Ltd. Windows is a registered trademark and Windows 95 and Windows NT are trademarks of Microsoft Corporation. Open Inventor and IRIS Explorer are trademarks of Silicon Graphics Inc. IBM is a registered trademark of International Business Machines. Hewlett-Packard is a registered trademark of Hewlett-Packard Company in the U.S. and other countries. SUN is a registered trademark of SUN Microsystems, Inc. All other brand or product names are trademarks of their respective organisations. Copyright 1996 NAG Ltd. All rights reserved.

    Description of the System

    1. Introduction

    AXIOM is a powerful computer algebra system which provides a complete environment for anyone needing to manipulate and solve mathematical formulae. Its application is wide-ranging, from pure mathematics research through branches of physics, chemistry, biology and engineering to financial modelling and cryptography.

    It was originally developed as a research tool by IBM in collaboration with experts around the world; IBM has a long history of research in symbolic algebra with many significant contributions to the field. The copyright of AXIOM is now assigned to NAG.

    2. Symbolic Solvers

    Symbolic solvers have revolutionised the way that people think about the computation of mathematical problems. Computers are now able to manipulate formulae as well as data, providing analytical insight and precision in results which was previously unattainable.

    The symbolic solver allows the machine and the user to communicate in terms of algebraic formulae, in the language of the scientist. Both input and output can be purely algebraic or in numerical form of specified precision.

    3. What can AXIOM do for you?

    For the novice, AXIOM can be used as easily as a sophisticated desk calculator. The User Interface provides hypertext and graphics so that familiarisation is straightforward and rapidly achieved. There is an extensive library of mathematical functions and operations so that AXIOM is immediately useful in the educational field for a range of courses in algebra and computational mathematics generally.

    The more expert user can perform complex mathematical calculations using the built-in capabilities which are available for use in the fields of calculus, modern algebra and number theory.

    The system is designed to be used by scientists and engineers, undergraduates, research and teaching staff, financial analysts, planners and of course, mathematicians.

    4. What does AXIOM Provide?

    The mathematical consistency and sheer power of the AXIOM system delivers reliable, accurate and usable results. There is an interactive language, an on-line help and documentation facility in hypertext format and a powerful graphics capability for the manipulation of 2D and 3D objects.

    Please refer to the end of this document for a list of some of the features provided.

    The unique strength of AXIOM is derived from its object oriented approach and its overall structure which is strongly typed and hierarchical. This means that algorithms can be implemented in their most natural setting and that users can develop their own extensions in a robust, consistent environment without recourse to the supplier.

    A further advantage is found in the open nature of the software. AXIOM Library source code and definitions are available on-line so that users can see exactly how AXIOM computes its solutions and thus be reassured that they are getting the 'right' answer.

    5. What is Different about AXIOM?

    AXIOM provides an interactive command-line driven environment like other systems. It employs a very expressive language with concise syntax. Procedural and functional styles of programming are readily accommodated. Although it is a strongly typed language, the interpreter uses powerful type inferencing techniques to minimize the need for type declarations.

    Speed cannot always be traded for comfort. In AXIOM, you (the user) have the best of both worlds. User-written functions are automatically compiled for appropriate types at first invocation. The user has the further option of creating an AXIOM Library module. The new functions (and associated documentation) will then be treated by AXIOM exactly as the system supplied functions. The more care you put into writing your module, the more widely usable and efficient it can be. AXIOM was designed around the basic idea of unlimited extensibility without performance or usability degradation.

    The AXIOM Library is unique in its design, scope and rigour. The object-oriented hierarchy of datatypes follows closely the development of Modern Algebra. As a result, AXIOM is the ideal prototyping and developing environment for advanced symbolic algorithms.

    To help you get started with the AXIOM system, the command-line interface is augmented by extensive on-line help in hypertext format and common commands are introduced by a fill-in-the-blanks form. The AXIOM User Guide is available on-line and contains thousands of examples of AXIOM commands ready to be run at the click of a button. Hypertext links take you across related topics. The AXIOM Reference Guide to the contents of the AXIOM Library is only available in hypertext form (as befits an object-oriented Library). Thousands of operations from hundreds of modules are documented. Furthermore, we provide all the source code for the AXIOM Library.

    6. Release 2.0

    The next release of AXIOM (Release 2.0) will offer two new powerful facilities.

    A new compiler will allow the construction of stand-alone applications linked with the AXIOM Library and other foreign-language libraries (graphics/numerics libraries). This feature is unique among comparable systems and frees you from the constraints of an interactive system.

    The second facility is interactive interpreter access to the NAG Fortran Library (possibly residing and executing at a remote fast machine). Tools will be provided to enable similar access to user-specified programs and libraries. This will be the first such integrated and supported link for a comparable application.

    7. The Future

    NAG and AXIOM contributors will continue to co-operate and collaborate towards further development of AXIOM. The AXIOM Library compiler will be enhanced and the algebraic components of the package will continue to be extended. The software will be made available on an increasing number of hardware platforms and heterogeneous networks.

    Symbolic solvers have long been expected to become the new paradigm in technical computing; AXIOM fulfils that promise now and for the future.

    8. Features of AXIOM include:

  • Weitere Links:

    • [ < ] [ globale Übersicht ] [ Kapitelübersicht ] [ Stichwortsuche ] [ > ]