arXiv Open Access 2013

Software for Evaluating Relevance of Steps in Algebraic Transformations

Rein Prank

Lihat Sumber

Abstrak

Students of our department solve algebraic exercises in mathematical logic in a computerized environment. They construct transformations step by step and the program checks the syntax, equivalence of expressions and completion of the task. With our current project, we add a program component for checking relevance of the steps.

Topik & Kata Kunci

cs.SC

Penulis (1)

Rein Prank

Format Sitasi

APA MLA BibTeX

Prank, R. (2013). Software for Evaluating Relevance of Steps in Algebraic Transformations. https://arxiv.org/abs/1306.6749

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2013
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓