scientific article; zbMATH DE number 1863374

zbMath1005.68543MaRDI QIDQ4790648

Natarajan Shankar

Publication date: 4 February 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2152/21520005

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

Mathematics Subject Classification ID

Related Items

TPS: A hybrid automatic-interactive system for developing proofs ⋮ Providing a formal linkage between MDG and HOL ⋮ Linear Arithmetic with Stars ⋮ Integrating external deduction tools with ACL2 ⋮ Efficiently checking propositional refutations in HOL theorem provers ⋮ Data compression for proof replay

Uses Software

• Coq
• TPS
• PVS
• ETPS
• Nuprl
• LCF
• PROSPER