Back to Results
First PageMeta Content
Automated proof checking / Theoretical computer science / Applied mathematics / Mizar and Alcor / Mizar / Mathematics / Proof theory / Tarski–Grothendieck set theory / Correctness / Mizar system / Formal methods / Ursa Major constellation


STUDIES IN LOGIC, GRAMMAR AND RHETORIC[removed]Gradual Computerisation/Formalisation of
Add to Reading List

Document Date: 2010-03-05 21:10:35

Open Document

File Size: 428,65 KB

Share Result on Facebook

Company

Trybulec / TSa / mentioning TSa / /

Facility

Mizar library / Mizar Mathematical Library / /

IndustryTerm

declarative systems / mathematical editing/checking tools / proof checking tool / software utilities / Proof checking tools / search engines / computer processing / /

Organization

Heriot-Watt University / /

Person

Manuel Maarek / /

Position

author / editor / ordinary mathematician / mathematician / /

Product

TEXmacs / CGa / Mizar / /

ProgrammingLanguage

Mathematica / XML / /

Technology

XML / artificial intelligence / /

URL

http /

SocialTag