^^Links. Matematica.

Roberto Occa girovagare matematico.

 

ix GeoGebra.  
http://macosa.dima.unige.it/om/index.htm  
The R Project for Statistical Computing il software matematico gratuito più diffuso

http://macosa.dima.unige.it/ingiro/celle/rcucina.htm

matematicamente  
www.frattali.it frattali e trasformaz affini
Prof.ssa Oriana Pagliarone  
Università IUAV di Venezia prospettiva. FabrizioGay
Whirl.html  
scaroselli trigonometric functions
www.bdim.eu Biblioteca Digitale Italiana di Matematica
american_history/Metric_space  
http://museo.unimo.it/ Laboratorio Macchine Matematiche
algorithms-from-the-book  

Libri

  1. Elementary Mathematics from an Advanced Standpoint.
  2. http://it.wikipedia.org/wiki/Proofs_from_THE_BOOK
    1. https://www.math.psu.edu/tabachni/prints/NotBook4.pdf
    2. https://ia700405.us.archive.org/20/items/BookOfProof/BookOfProof.djvu

 

Varie

wp/Intuitionistic_type_theory

 

Mathmaticians: the strongest, self referential

Argomenti vari

  1. categories are the right intuition for talking about composing things with domains and ranges. https://cdsmith.wordpress.com/2012/04/18/why-do-monads-matter/
  2. Enrica ha segnalato:
    Il giorno 4 luglio, alle ore 15, presso il liceo classico “P. Rossi” di Massa, in via democrazia n° 26, si terrà un incontro con la prof.ssa MARIA DEDÒ a proposito del progetto MATHUP (http://www.mateinitaly.it/mathup/): un bilancio dell’esperienza del primo anno 2015-2016 e le prospettive per il prossimo anno 2016-2017.