scientific article; zbMATH DE number 1951634
From MaRDI portal
Publication:4413887
zbMath1022.68610MaRDI QIDQ4413887
Grzegorz Bancerek, Piotr Rudnicki
Publication date: 21 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2594/25940119.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Database theory (68P15) Knowledge representation (68T30) Information storage and retrieval of data (68P20)
Related Items
A survey on retrieval of mathematical knowledge ⋮ Mizar: State-of-the-art and Beyond ⋮ Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library ⋮ A Query Language for Formal Mathematical Libraries ⋮ A Brief Overview of Mizar ⋮ MizarMode -- an integrated proof assistance tool for the Mizar way of formalizing mathematics ⋮ Crystal: Integrating structured queries into a tactic language ⋮ MPTP 0.2: Design, implementation, and initial experiments ⋮ An integrated web platform for the Mizar Mathematical Library ⋮ User interaction with the Matita proof assistant ⋮ Integrating searching and authoring in Mizar ⋮ MML ⋮ Semantics of Mizar as an Isabelle object logic ⋮ Presenting and Explaining Mizar
Uses Software
