Cover Image

Axiom : the scientific computation system /

Recent advances in hardware performance and software technology have made possible a wholly different approach to computational mathematics. Symbolic computation systems have revolutionized the field, building upon established and recent mathematical theory to open new possibilities in virtually eve...

Full description

Bibliographic Details
Main Authors:	Jenks, Richard D. (Author), Sutor, Robert S. (Author)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	New York, NY : Springer Science + Business Media, 1992.
Subjects:	Axiom (Computer file) Mathematics > Data processing. Mathematics. Mathematics, general. AXIOM (computerprogramma) Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

The axiom of choice /
by: Jech, Thomas J.
Published: (1973)

Equivalents of the axiom of choice, II /
by: Rubin, Herman
Published: (1985)

Equivalents of the axiom of choice
by: Rubin, Herman, et al.
Published: (1963)

The axiom of constructibility : a guide for the mathematician /
by: Devlin, Keith J.
Published: (1977)

Axiom of choice /
by: Herrlich, Horst
Published: (2006)

The axiom of choice /
by: Jech, Thomas J.
Published: (1973)

The axiomatic method /
Published: (1959)

The axiom of constructibility : a guide for the mathematician /
by: Devlin, Keith J.
Published: (1977)

Consequences of the axiom of choice /
by: Howard, Paul, 1943-
Published: (1998)

Equivalents of the axiom of choice, II /
by: Rubin, Herman
Published: (1985)

Direct and converse theorems : the elements of symbolic logic /
by: Gradshteĭn, I. S. (Izrailʹ Solomonovich)
Published: (1963)

Zermelo's axiom of choice : its origins, development, & influence /
by: Moore, Gregory H.
Published: (2013)

A crash course in Mathematica /
by: Kaufmann, Stephan, 1951-
Published: (1999)

The Maple handbook : Maple V release 4 /
by: Redfern, Darren
Published: (1996)

Mathematica as a tool : an introduction with practical examples /
by: Kaufmann, Stephan, 1951-
Published: (1994)

The role of axiomatics and problem solving in mathematics.
Published: (1966)

Axiom of choice /
by: Herrlich, Horst
Published: (2006)

Direct and converse theorems ; the elements of symbolic logic /
by: Gradshtein, I. S.
Published: (1963)

Machine proofs in geometry : automated production of readable proofs for geometry theorems /
by: Chou, Shang-Ching, 1946-
Published: (1994)

Axiomatik : Mathematik und Erfahrung /
by: Beckert, Herbert
Published: (1985)

The axiomatic method with special reference to geometry and physics. : Proceedings of an international symposium held at the University of California, Berkeley, December 26, 1957-January 4, 1958 /
by: Henkin, Leon
Published: (1959)

Proof in geometry /
by: Fetisov, A. I.
Published: (2006)

Axioms for lattices and boolean algebras /
by: Padmanabhan, R. (Ranganathan), 1938-
Published: (2008)

Getting started with Mathematica /
Published: (2009)

Axiomatic geometry /
by: Gemignani, Michael C.
Published: (1971)

Synthetic geometry /
by: Jolly, R. F. (Robert Franklin), 1933-
Published: (1969)

Uber Geometrie /
by: Helmholtz, Hermann von, 1821-1894
Published: (1968)

An axiomatic basis for quantum mechanics /
by: Ludwig, Günther, 1918-
Published: (1985)

Mathematics in computer science.
Published: (2007)

An axiomatic approach to geometry /
by: Borceux, Francis, 1948-
Published: (2014)

Fundamentals of probability theory : axiomatic approach /
by: Eideh, Abdulhakeem Abdulhay Ahmad
Published: (2009)

Probability theory with the essential analysis /
by: Milton, J. Susan (Janet Susan)
Published: (1976)

Applying Math with Python Over 70 Practical Recipes for Solving Real-World Computational Math Problems.
by: Morley, Sam
Published: (2022)

Essential Maple 7 : an introduction for scientific programmers /
by: Corless, Robert M.
Published: (2002)

Discovering mathematics with Maple : an interactive exploration for mathematicians, engineers, and econometricians /
by: Stroeker, Roelof J.
Published: (1999)

Maple V programming guide /
Published: (1998)

Mathematical programming computation.
Published: (2009)

An introduction to estimation with choice-based sample data /
by: Hosek, James R.
Published: (1979)

An axiomatic theory of language : with applications to English /
by: Pak, Ty
Published: (1979)

Experiments in mathematics using Maple /
by: Dodson, C. T. J.
Published: (1995)