User Portlet User Portlet

Discussions
Hello! I'm testing the new tools of "Mathematica12" about synthetic geometry, and I see that Mathematica can't find an exemple with E=A, the intersection of lines AB and AC. It's stays thinking, without stopping. Is it so blind? How I can write...
As a math teacher in the Spanish school, I like to support my lessons with self-correcting worksheets as complementary materials, mainly as homework. Throughout the years I have developed a huge collection of worksheets. Before my students had...