Axiom

Results: 922



#Item
701Cross-platform software / Maple / Maplesoft / Macsyma / Sage / MuPAD / Maxima / Matrix / Function / Software / Computer algebra systems / Discontinued software

1 Introduction The following is a collection of synonyms for various operations in the computer algebra systems Axiom, Derive, GAP, Gmp, DoCon, Macsyma, Magnus, Maxima, Maple,

Add to Reading List

Source URL: axiom.axiom-developer.org

Language: English - Date: 2008-11-23 03:04:29
702WALL-E / Mathematics / Logic / Axiom / Film / City College of New York

Vol 38, No. 4, December[removed]Conference Announcement Conference on Axiom The City College of New York, Convent Avenue at 138th Street, New York

Add to Reading List

Source URL: axiom.axiom-developer.org

Language: English - Date: 2014-04-17 22:41:47
703Numerical software / Numerical linear algebra / LAPACK / Basic Linear Algebra Subprograms / Axiom / Computational science / Singular value decomposition / Algebra / Mathematics / Numerical analysis

The 30 Year Horizon M anuel Bronstein James Davenport Albrecht F ortenbacher Jocelyn Guidry M ichael M onagan

Add to Reading List

Source URL: axiom.axiom-developer.org

Language: English - Date: 2012-06-11 00:43:47
704Computer algebra systems / SIGSAM / CODEN / Association for Computing Machinery / Bill Schelter / Symbolic computation / Software / Axiom / Computing

The 30 Year Horizon M anuel Bronstein James Davenport Albrecht F ortenbacher Jocelyn Guidry M ichael M onagan

Add to Reading List

Source URL: axiom.axiom-developer.org

Language: English - Date: 2012-06-11 00:53:10
705Troff / Axiom / Indexing / MakeIndex / Noweb / Literate programming / S / WEB / LaTeX / Software / Computing / Application software

The 30 Year Horizon M anuel Bronstein James Davenport Albrecht F ortenbacher Jocelyn Guidry M ichael M onagan

Add to Reading List

Source URL: axiom.axiom-developer.org

Language: English - Date: 2012-06-11 00:44:53
706Lisp programming language / Functional languages / Axiom / Unix / Z notation / Common Lisp / Filesystem Hierarchy Standard / Lisp / S / Computing / Software engineering / Computer programming

The 30 Year Horizon M anuel Bronstein James Davenport Albrecht F ortenbacher Jocelyn Guidry M ichael M onagan

Add to Reading List

Source URL: axiom.axiom-developer.org

Language: English - Date: 2014-05-17 03:24:42
707Axiom / XHTML / MathML / Form / Computing / Markup languages / HTML

The 30 Year Horizon M anuel Bronstein James Davenport Albrecht F ortenbacher Jocelyn Guidry M ichael M onagan

Add to Reading List

Source URL: axiom.axiom-developer.org

Language: English - Date: 2012-06-11 00:44:21
708Ordinal numbers / Set theory / Cardinal number / Constructible universe / Ordinal arithmetic / Transfinite induction / Mahlo cardinal / Woodin cardinal / Mathematical logic / Large cardinals / Mathematics

Gra¸bczewski & Paulson Mechanizing Set Theory Mechanizing Set Theory: Cardinal Arithmetic and the Axiom of Choice

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2003-04-29 07:49:46
709Polynomials / Elementary algebra / Partial fraction / Axiom / Rational function / Euclidean algorithm / Square-free polynomial / Greatest common divisor / Integral / Mathematics / Mathematical analysis / Algebra

The 30 Year Horizon M anuel Bronstein James Davenport Albrecht F ortenbacher Jocelyn Guidry M ichael M onagan

Add to Reading List

Source URL: axiom.axiom-developer.org

Language: English - Date: 2012-06-11 00:33:59
710Procedural programming languages / C++ / Axiom / Cross-platform software / C++ classes / Subroutine / C / Function / Computer programming / Computing / Software engineering

The 30 Year Horizon M anuel Bronstein James Davenport Albrecht F ortenbacher Jocelyn Guidry M ichael M onagan

Add to Reading List

Source URL: axiom.axiom-developer.org

Language: English - Date: 2012-06-11 00:50:53
UPDATE