Transactions on Advanced Research

Click on the title to view the text:
Simić, Danijela
Formalizing Algebrization of Geometry Statements


Input the password here to see reviews: