In some posts on this blog I’ve already told you a little about what I research on theorem proofs (My research: baby walkers for theorem demonstrations ,Demonstrate theorems and earn chocolates).
However, Science and Scientists in Brazil need to make a continuous effort to show themselves present in a society in which the Minister of Education considers Education a right reserved for a few (https://g1.globo.com/educacao/noticia/2021/08/10/ministro-da-educacao-defende-que-universidade-seja-para-poucos.ghtml).
In this perspective, I would like to present the educational product resulting from team work (with my wife and mother) in the pre-acceleration program Ocean Novos Negócios (N2), in partnership between Samsung and USP, UNICAMP and State University of Amazons.
We entered this program with the objective of “giving shape” to this weird research that I carry out in my doctorate.
After many comings and goings, heated discussions, destroyed hypotheses and fieldwork, we arrived at a minimally functional organization 😛
Drag X (that’s the name of the project) is an initiative with the purpose of making the process of learning how to write proofs of theorems in mathematics more enjoyable (or less painful).
Simply put, it is a mathematical demonstration portal aimed at Higher Education with brief dialogues on some areas of Mathematics, in order to understand what it is about without losing the playfulness that a more serious explanation would have.
In this portal you can delve into formal content, seeing definitions, examples and traditional demonstrations, but also practice the demonstrations interactively, dragging and dropping your parts and receiving automatic feedback on your demonstration 🙂
Want to take a look at Drags o X?
Click here and learn more about this project 🙂
Cover image adapted from ohlenore.tumblr.com/post/60878390400