Mathematics

Original page: http://www.cs.cornell.edu/~ross/publications/proofgen/ POPL 2010: [pdf] [bibtex] [pptx] [mp4] Tekijät: Ross Tate, Michael Stepp, Sorin Lerner Tekninen raportti: [pdf] [bibtex] Video: http://www.cs.cornell.edu/~ross/publications/proofgen/Tate-POPL10.mp4  Abstrakti Esittelemme automaattisen tekniikan kääntäjäoptimointien tuottamiseksi esimerkkeistä konkreettisista ohjelmista ennen ja jälkeen niiden parannusten. Tekniikkamme keskeinen tekninen käsitys on […]

Original page: https://math.temple.edu/~reich/Fib/  Fibonacci-sekvenssi ilmentää tietty numeerinen malli, joka alunperin vastaus harjoitus ensimmäinen lukion algebran tekstiä. Tämä malli osoittautui olevan etua ja merkitys paljon suurempi kuin mitä sen luoja kuvitellut. Sitä voidaan käyttää […]

Original: http://www.math.stonybrook.edu/~tony/mazes/ Mukava kuva päästä meille alkoi (tämä sivu). Sokkeloita: Mikä on yksinkertainen, vuorotellen kauttakulku (la) sokkelo? Vanhin voidaan piirretty peli. Reitti matematiikka: taso sekvenssin, joka kyll sokkelo. Matematiikka: Counting kuinka monta erilaista n tason istui sokkeloita […]

Source: http://geocalc.clas.asu.edu/html/Evolution.html Vaikka Leibniz nivelletty unelma universaalin geometrinen calculus seitsemästoista luvulla, sen toteuttaminen alkoi vuonna 1844 Hermann Grassmann n suuri työ Die Lineale Ausdehnungslehre. Grassmann visio oli niin paljon edellä […]