Axiom

Results: 922



#Item
161Elementary mathematics / Sine / Trigonometry / Sinc function / Complex analysis / Integration by reduction formulae / Partial fractions in integration / Mathematical analysis / Mathematics / Integral calculus

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

Add to Reading List

Source URL: axiom-developer.org

Language: English - Date: 2008-07-09 01:50:32
162

Erratta for “Axiomatizing Binding Bigraphs” In Table I, the following categorical axiom concerned with symmetries was mistakenly omitted: γI⊗J,K = (γI,K ⊗ idJ ) (idI ⊗ γJ,K ) . Also, in Lemma 2, replace Pπ(

Add to Reading List

Source URL: www.itu.dk

- Date: 2007-03-26 11:30:14
    163

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

    Add to Reading List

    Source URL: axiom-developer.org

    Language: English - Date: 2008-07-09 01:51:30
      164WALL-E / Mathematics / Logic / Axiom / Film / City College of New York

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

      Add to Reading List

      Source URL: axiom-developer.org

      Language: English - Date: 2014-04-17 22:41:47
      165Differential 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-developer.org

      Language: English - Date: 2008-12-30 18:00:19
      166Axiom / Cre / Real estate / Property management / Corporate Real Estate

      Microsoft Word - Heywood & Kenley 2013 Final.docx

      Add to Reading List

      Source URL: www.prres.net

      Language: English - Date: 2013-03-17 20:48:52
      167

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

      Add to Reading List

      Source URL: axiom-developer.org

      Language: English - Date: 2008-07-09 01:51:36
        168Philosophers of mathematics / Formal systems / Giuseppe Peano / Peano axioms / Richard Dedekind / Henri Poincaré / Axiomatic system / Axiom / Philosophy of mathematics / Mathematics / Mathematical logic / Number theorists

        VI.61. Jules Henri Poincaré Further Reading Cooke, RThe Mathematics of Sonya Kovalevskaya.

        Add to Reading List

        Source URL: press.princeton.edu

        Language: English - Date: 2008-08-22 12:44:37
        169Logarithms / 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-developer.org

        Language: English - Date: 2008-07-09 01:50:10
        170Knowledge / Cognition / Hypothesis / Scientific theory / Axiom / Karl Popper / Science / Philosophy of science / Scientific method

        Against Mulder’s Parallel vs Diverse Determination Distinction

        Add to Reading List

        Source URL: www.phil.muni.cz

        Language: English - Date: 2008-02-18 15:33:04
        UPDATE