scientific article; zbMATH DE number 1497748
From MaRDI portal
Publication:4499159
zbMath0958.68156MaRDI QIDQ4499159
Publication date: 6 March 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
\textit{Theorema}: Towards computer-aided mathematical theory exploration ⋮ A new symbolic method for solving linear two-point boundary value problems on the level of operators ⋮ Automated conjecture making in number theory using HR, Otter and Maple ⋮ Using Theorema in the Formalization of Theoretical Economics
Uses Software
This page was built for publication:
