Terme, Gleichungen, Ungleichungen

DOI10.1007/978-3-658-06193-7zbMATH Open1346.97001OpenAlexW2483064885MaRDI QIDQ2936472

Jürgen Tietze

Publication date: 16 December 2014

Full work available at URL: https://doi.org/10.1007/978-3-658-06193-7

Mathematics Subject Classification ID

Methodology of mathematics (00A35) Mathematics in general (00A05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematics education (97-01) Equations and inequalities (educational aspects) (97H30)

Recommendations

• Equality in computer algebra and beyond. 👍 👎
• Methods for justifying arithmetic hypotheses and computer algebra 👍 👎
• On algebra of program correctness and incorrectness 👍 👎
• From Calculus to Algorithms without Errors 👍 👎
• A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy 👍 👎
• Program correctness and matricial iteration theories 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Terme, Gleichungen, Ungleichungen

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2936472)