scientific article; zbMATH DE number 1232824
From MaRDI portal
Publication:4223144
zbMath0903.00080MaRDI QIDQ4223144
No author found.
Publication date: 15 December 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Numerical algorithms for specific classes of architectures (65Y10) Computational number theory (11Yxx)
Related Items (2)
The control layer in open mechanized reasoning systems: Annotations and tactics ⋮ Challenges of symbolic computation: My favorite open problems. With an additional open problem by Robert M. Corless and David J. Jeffrey
Uses Software
This page was built for publication:
