MatisseProjecto Matisse: Que Matemática para a Sociedade da Informação?
|
NavegaçãoNovidades20 Abril, 2010 — Lançamento da inicitiva Computação sem fronteiras ... Matemática em movimento para alunos do Ensino Secundário integrado no Verão no Campus 2010, detalhes aqui 20 Fevereiro, 2010 — Artigo Designing an Algorithmic Proof of the Two-Squares Theorem aceite na MPC'10 (Tenth International Conference on Mathematics of Program Construction), detalhes aqui 9 Janeiro, 2010 — Artigo Should Mathematics remain invisible? aceite na EIMI Study Conference “Educational Interfaces between Mathematics and Industry, detalhes aqui 4 Janeiro, 2010 — Artigo On Euclid's Algorithm and Elementary Number Theory aceite aceite para publicação na Science of Computer Programming, detalhes aqui 1 Julho, 2009 — Artigo Which Mathematics for the Information Society? aceite na TMF'09 (2nd Int. FME Conference on Teaching Formal Methods), detalhes aqui 22 Junho, 2009 — Artigo Galois: A Language for Proofs Using Galois Connections and Fork Algebras aceite na PLMMS'09(ACM SIGSAM 2009 International Workshop on Programming Languages for Mechanized Mathematics Systems), detalhes aqui 24 Abril, 2009 — Artigo Students' Feedback on Teaching Mathematics Through The Calculational Method aceite na Frontiers in Education 2009, detalhes aqui 2 Março, 2009 — Call pública para 2 BI (bolsas de investigação FCT)no âmbito do projecto MathIS 1 Janeiro, 2009 — Comunicação da homolgação e início oficial do MathIS 14 Abril, 2008 — Primeira versão da página do projecto disponível. |
[1] Towards "middle school MPC", by J.N. Oliveira. Talk at IFIP WG 2.1 #64 Meeting, Weltenburg Abbey, Bavaria, Germany. (slides)
[2] Paulo F. Silva, Joost Visser, and José N. Oliveira, Galois: A Language for Proofs Using Galois Connections and Fork Algebras. PLMMS'09: The ACM SIGSAM 2009 International Workshop on Programming Languages for Mechanized Mathematics Systems, Munich, Germany, 2009. To appear. (Draft) (Slides) (Pre-proceedings)
[3] Luiz F. Lopes, "MathIS Project: Reconhecimento de Matemática Manuscrita". Technical Report. Centro de Ciências e Tecnologias de Computação, Departamento de Informática, Universidade do Minho, Braga, Portugal, 2009.
[4] João F. Ferreira and Alexandra Mendes, Students' Feedback on Teaching Mathematics Through The Calculational Method.
Accepted for publication at Frontiers in Education 2009. Link
[5] João F. Ferreira, Alexandra Mendes, Roland Backhouse and L. S. Barbosa, Which Mathematics for the Information Society?.
Published in Teaching Formal Methods, Springer-Verlag, LNCS 5846, pp. 39—56 (proceedings of the 2nd Int. FME Conference on Teaching Formal Methods, TFM09, Eindhoven, The Netherlands, November 6, 2009) Link
[6] Roland Backhouse and João F. Ferreira, On Euclid's Algorithm and Elementary Number Theory. Accepted for publication in the journal Science of Computer Programming, 2010 Link
[7] João F. Ferreira, Designing an Algorithmic Proof of the Two-Squares Theorem. To be presented at the Tenth International Conference on Mathematics of Program Construction (MPC'10) in June 2010 Link
| ||
