Searching for authors named "Yury Puzis" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

Automated Generation of Interesting Theorems
by Yury Puzis, Yi Gao, Geoff Sutcliffe — 2004 — University of Miami, Miami, USA
…In the logical theory of a set of axioms there are many boring logical consequences, and scattered among them there are a few interesting ones. The few interesting ones include those that are singled out as theorems by experts in the domain. This paper describes the techniques, implementation, and r…
Cited by 4 (0 self) – Add To MetaCart

Combining Mizar and TPTP Semantic Presentation Tools Josef
by Steven Trac, Geoff Sutcliffe, Yury Puzis
…This paper describes a combination of several Mizar-based tools (the MPTP translator, XSL style sheets for Mizar), and TPTP-based tools (IDV, AGInT, SystemOnTPTP) used for visualizing and analyzing Mizar proofs. The combination delivers to the readers of the Mizar Mathematical Library (MML) an easy,…
Cited by 1 (1 self) – Add To MetaCart

An Interactive Derivation Viewer
by Steven Trac, Yury Puzis, Geoff Sutcliffe — 2006 — Proceedings of the 7th Workshop on Workshop on User Interfaces for Theorem Provers, 3rd International Joint Conference on Automated Reasoning, volume 174 of Electronic Notes in Theoretical Computer Science
…This work describes the Interactive Derivation Viewer (IDV) tool for graphical rendering of derivations that are written in the TPTP language. IDV provides an interactive interface that allows the user to quickly view various features of the derivation. A particularly novel feature of IDV is its abi…
Cited by 6 (3 self) – Add To MetaCart

Showing 1 through 3.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB