MathIS

Projecto MathIS: Que Matemática para a Sociedade da Informação?

View   r4  >  r3  >  r2  >  r1

MathISAnnouncements 4 - 23 Jun 2009 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="MathIS"

Two BI grants are available:

Changed:
<
<
(edital in pdf)
>
>
(Call in pdf)
 

BI1: Refactoring School Mathematics (6 months)


MathISAnnouncements 3 - 04 Mar 2009 - Main.LuisSoaresBarbosa
Line: 1 to 1
 
META TOPICPARENT name="MathIS"

Two BI grants are available:

Added:
>
>
(edital in pdf)
 

BI1: Refactoring School Mathematics (6 months)

Line: 28 to 29
 Read a brief project description here (in portuguese)

META FILEATTACHMENT attachment="BI2.pdf" attr="h" comment="" date="1236040754" name="BI2.pdf" path="BI2.pdf" size="36837" stream="BI2.pdf" user="Main.LuisSoaresBarbosa" version="1"
Added:
>
>
META FILEATTACHMENT attachment="Edital_2BI_MathIS.pdf" attr="h" comment="" date="1236187341" name="Edital_2BI_MathIS.pdf" path="Edital_2BI_MathIS.pdf" size="224326" stream="Edital_2BI_MathIS.pdf" user="Main.LuisSoaresBarbosa" version="1"

MathISAnnouncements 2 - 03 Mar 2009 - Main.JoaoFerreira
Line: 1 to 1
 
META TOPICPARENT name="MathIS"

Two BI grants are available:

Line: 23 to 23
 The main goal of this project is to create a C# application for recognition of handwritten mathematics as part of a Tablet PC tool for structured editing handwritten mathematics. The project will be developed
Changed:
<
<
in close connection to AlexandraMendes at Nottingham University.
>
>
in close connection to Alexandra Mendes at Nottingham University.
 Read a brief project description here (in portuguese)

MathISAnnouncements 1 - 03 Mar 2009 - Main.LuisSoaresBarbosa
Line: 1 to 1
Added:
>
>
META TOPICPARENT name="MathIS"

Two BI grants are available:

BI1: Refactoring School Mathematics (6 months)

This BI-supported project intends to compare calculational techniques developed in the context of the "correct-by-construction" approach to systems design, to common practice in general maths contexts (both in discrete or continuous mathematics and applications, including physics). In particular, we want to inspect and, in a sense, "re-factor" proofs found in middle school and high-school textbooks "along such techniques". Example areas are the vectorial calculus, the diferential calculus, analytical geometry, and so on.

The task will consist of

  • collecting proof specimen from textbooks and classify them according several parameters such as kind of proof (eg. reductio ad absurdum), level of informality (eg. graphical, textual, symbolic), level of completeness (eg. relying on "obvious" steps), etc
  • re-factoring such proofs constructively and calculationally, with an eye on genericity
  • evaluating the outcome (best if with the feedback of maths teachers, students - cf. intended interaction with maths clubs and so on)
  • drawing conclusions about the feasibility of such techniques outside computer science
  • writing one or two papers about the whole experiment, one more inclined to the education theorist and the other to the information scientist.

BI2: Recognition of Handwritten Mathematics (6 months)

The main goal of this project is to create a C# application for recognition of handwritten mathematics as part of a Tablet PC tool for structured editing handwritten mathematics. The project will be developed in close connection to AlexandraMendes at Nottingham University.

Read a brief project description here (in portuguese)

META FILEATTACHMENT attachment="BI2.pdf" attr="h" comment="" date="1236040754" name="BI2.pdf" path="BI2.pdf" size="36837" stream="BI2.pdf" user="Main.LuisSoaresBarbosa" version="1"

Revision 4r4 - 23 Jun 2009 - 08:47:38 - JoseNunoOliveira
Revision 3r3 - 04 Mar 2009 - 17:25:15 - LuisSoaresBarbosa
Revision 2r2 - 03 Mar 2009 - 13:00:40 - JoaoFerreira
Revision 1r1 - 03 Mar 2009 - 00:47:15 - LuisSoaresBarbosa
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM