Axiom

Results: 922



#Item
241Exponentials / Analytic functions / Trigonometry / Functions and mappings / Exponentiation / Sine / Trigonometric functions / Differential equation / Exponential function / Mathematics / Mathematical analysis / Special functions

$SPAD/src/input kamke0.input Timothy Daly December 30, 2008 Abstract This is the first 50 of the Kamke test suite as published by E. S. ChebTerrab[1]. They have been rewritten using Axiom syntax. Where possible we show t

Add to Reading List

Source URL: axiom.axiom-developer.org

Language: English - Date: 2008-12-30 18:00:15
242Exponentials / Hyperbolic geometry / Hyperbolic function / Tanh-sinh quadrature / Bending of plates / Mathematics / Mathematical analysis / Geometry

$SPAD/input schaum30.input Timothy Daly June 15, 2008 1

Add to Reading List

Source URL: axiom.axiom-developer.org

Language: English - Date: 2008-07-09 01:51:13
243Exponentials / Hyperbolic function / Hyperbolic geometry / Differentiation rules / Bending of plates / Mathematical analysis / Special functions / Mathematics

$SPAD/input schaum31.input Timothy Daly June 15, 2008 1

Add to Reading List

Source URL: axiom.axiom-developer.org

Language: English - Date: 2008-07-09 01:51:15
244Integral calculus / Natural logarithm / Complex analysis / Integration by reduction formulae / Differential equation / Mathematical analysis / Mathematics / Logarithms

$SPAD/input schaum25.input Timothy Daly June 15, 2008 1

Add to Reading List

Source URL: axiom.axiom-developer.org

Language: English - Date: 2008-07-09 01:50:56
245

PDF Document

Add to Reading List

Source URL: daly.axiom-developer.org

- Date: 2013-06-26 13:01:15
    246

    $SPAD/input schaum4.input Timothy Daly June 15, 2008 1

    Add to Reading List

    Source URL: axiom.axiom-developer.org

    Language: English - Date: 2008-07-09 01:51:30
      247Exponentials / Analytic functions / Logarithms / Hyperbolic function / Exponential function / Natural logarithm / Integration by parts / Special functions / Mathematical analysis / Mathematics

      $SPAD/input schaum8.input Timothy Daly June 15, 2008 1

      Add to Reading List

      Source URL: axiom.axiom-developer.org

      Language: English - Date: 2008-07-09 01:51:41
      248Logarithms / Natural logarithm / Integral calculus / X2 / Inverse trigonometric functions / Special functions / Mathematics / Mathematical analysis

      $SPAD/input schaum10.input Timothy Daly June 15, 2008 1

      Add to Reading List

      Source URL: axiom.axiom-developer.org

      Language: English - Date: 2008-07-09 01:50:10
      249Software development / Assembly languages / Computer architecture / X86 assembly language / Low-level programming language / JMP / DO-178B / Avionics software / Software verification / X86 architecture / Computing / Avionics

      Function Extraction: Automated Behavior Computation for Aerospace Software Verification and Certification Redge Bartholomew Software Design Support Engineering and Technology Rockwell Collins, Inc.

      Add to Reading List

      Source URL: daly.axiom-developer.org

      Language: English - Date: 2007-09-10 11:09:21
      250Differential equation / Differential calculus / Inverse functions / Hermite polynomials / Classical orthogonal polynomials / Mathematical analysis / Mathematics / Orthogonal polynomials

      $SPAD/src/input kamke1.input Timothy Daly December 30, 2008 Abstract This is the next 50 of the Kamke test suite as published by E. S. Cheb-Terrab[1]. They have been rewritten using Axiom syntax. Where

      Add to Reading List

      Source URL: axiom.axiom-developer.org

      Language: English - Date: 2008-12-30 18:00:19
      UPDATE