scientific article; zbMATH DE number 1951639

zbMath1022.68623MaRDI QIDQ4413894

Freek Wiedijk

Publication date: 21 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2594/25940188.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Knowledge representation (68T30)

Related Items

Formalization and implementation of modern SAT solvers ⋮ \textit{Theorema}: Towards computer-aided mathematical theory exploration ⋮ MPTP 0.2: Design, implementation, and initial experiments ⋮ A User-friendly Interface for a Lightweight Verification System ⋮ On the Structure of Mizar Types ⋮ MPTP-motivation, implementation, first experiments ⋮ Supra-logic: using transfinite type theory with type variables for paraconsistency ⋮ Proof Auditing Formalised Mathematics

Uses Software

• Theorema
• PVS

This page was built for publication: