Back to Results
First PageMeta Content
Formal methods / Automated theorem proving / Mizar system / QED manifesto / Proof assistant / Automated proof checking / Automated reasoning / Mizar and Alcor / Mizar / Theoretical computer science / Mathematics / Applied mathematics


Escape to ATP for Mizar Piotr Rudnicki∗ Josef Urban† University of Alberta
Add to Reading List

Document Date: 2011-08-12 05:51:25

Open Document

File Size: 250,72 KB

Share Result on Facebook

City

New Orleans / Server / /

Company

ATP / Google / /

/

Facility

Mizar Piotr Rudnicki∗ Josef Urban† University of Alberta Edmonton / Mizar Mathematical Library / Mizar library / SUMO library / /

IndustryTerm

automated reasoning online service / proof presentation tools / software tools / presentation tools / subsumption tool / keyword-based web search / Web-based Collaborative Authoring Environment / Web access / web services / /

Organization

Association of Mizar Users / Mizar Piotr Rudnicki∗ Josef Urban† University of Alberta Edmonton / /

Person

Piotr Rudnicki∗ Josef Urban / Alberta Edmonton / Pascal Fontaine / Ingo Dahn / Aaron Stump / /

Position

proof checkers/verifiers/advisors / author / advisor / The Mizar Proof Advisor / Mizar proof assistant / first author / second author / proof advisor / Mizar author / /

ProgrammingLanguage

XML / HTML / /

Technology

XML / artificial intelligence / machine learning / html / Mizar processor / /

URL

http /

SocialTag