scientific article; zbMATH DE number 1254010
From MaRDI portal
Publication:4226991
zbMath0923.68073MaRDI QIDQ4226991
Andreas Dolzmann, Thomas Sturm
Publication date: 23 February 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
A reconstruction and extension of Maple's assume facility via constraint contextual rewriting ⋮ A logic based approach to finding real singularities of implicit ordinary differential equations ⋮ GUARDIAN
Uses Software
This page was built for publication: