article submitted to journal of symbolic computation commutative algebra in the mizar syste英文精品课件.pdfVIP

Article Submitted to Journal of Symbolic Computation Commutative Algebra in the Mizar System Piotr Rudnicki ∗ 1 , Christoph Schwarzweller2 and Andrzej Trybulec †3 1 University of Alberta, Canada email: piotr@cs.ualberta.ca 2 University of T¨ubingen, Germany email: schwarzw@informatik.uni-tuebingen.de 3 University of Bialystok, Poland