Gains and pitfalls of quantifier elimination as a teaching tool
| Author: | Reinhard OldenburgORCiDGND |
|---|---|
| Frontdoor URL | https://opus.bibliothek.uni-augsburg.de/opus4/106068 |
| ISSN: | 1744-2710OPAC |
| Parent Title (English): | The International Journal for Technology in Mathematics Education |
| Publisher: | Research Information |
| Place of publication: | Hemel Hempstead |
| Type: | Article |
| Language: | English |
| Date of Publication (online): | 2023/07/17 |
| Year of first Publication: | 2015 |
| Publishing Institution: | Universität Augsburg |
| Release Date: | 2023/07/18 |
| Volume: | 22 |
| Issue: | 4 |
| First Page: | 163 |
| Last Page: | 167 |
| Institutes: | Mathematisch-Naturwissenschaftlich-Technische Fakultät |
| Mathematisch-Naturwissenschaftlich-Technische Fakultät / Institut für Mathematik | |
| Mathematisch-Naturwissenschaftlich-Technische Fakultät / Institut für Mathematik / Lehrstuhl für Didaktik der Mathematik |
