scientific article; zbMATH DE number 2079831
From MaRDI portal
Publication:4471938
zbMath1042.00511MaRDI QIDQ4471938
Publication date: 30 July 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/1930/19300032.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Knowledge representation (68T30) General and miscellaneous specific topics (00A99) Problem books, competitions, examinations (aspects of mathematics education) (97U40) Technological tools, calculators (aspects of mathematics education) (97U70)
Related Items (8)
Innovations in computational type theory using Nuprl ⋮ Student proof exercises using MathsTiles and Isabelle/HOL in an intelligent book ⋮ MBase: Representing knowledge and context for the integration of mathematical software systems ⋮ Checking content consistency of integrated web documents ⋮ OMDoc ⋮ Proof assistants: history, ideas and future ⋮ Web Interfaces for Proof Assistants ⋮ PlatΩ: A Mediator between Text-Editors and Proof Assistance Systems
Uses Software
This page was built for publication:
