scientific article; zbMATH DE number 2151186
From MaRDI portal
Publication:4660652
zbMath1072.68663MaRDI QIDQ4660652
Publication date: 4 April 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Specification and verification (program logics, model checking, etc.) (68Q60) Computer aspects of numerical algorithms (65Y99)
Related Items (1)
Uses Software
This page was built for publication: