Search

Your search keyword '"Stojanovic, Sana"' showing total 3 results
Start Over Author "Stojanovic, Sana"
3 results on '"Stojanovic, Sana"'

1. A Vernacular for Coherent Logic

Author

Stojanovic, Sana, Narboux, Julien, Bezem, Marc, and Janicic, Predrag

Subjects
Computer Science - Logic in Computer Science
Abstract

We propose a simple, yet expressive proof representation from which proofs for different proof assistants can easily be generated. The representation uses only a few inference rules and is based on a frag- ment of first-order logic called coherent logic. Coherent logic has been recognized by a number of researchers as a suitable logic for many ev- eryday mathematical developments. The proposed proof representation is accompanied by a corresponding XML format and by a suite of XSL transformations for generating formal proofs for Isabelle/Isar and Coq, as well as proofs expressed in a natural language form (formatted in LATEX or in HTML). Also, our automated theorem prover for coherent logic exports proofs in the proposed XML format. All tools are publicly available, along with a set of sample theorems., Comment: CICM 2014 - Conferences on Intelligent Computer Mathematics (2014)

Published
2014

2. Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs

Author

Stojanović, Sana, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Ida, Tetsuo, editor, and Fleuriot, Jacques, editor

Published
2013
Full Text
View/download PDF

3. A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs

Author

Stojanović, Sana, Pavlović, Vesna, Janičić, Predrag, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Schreck, Pascal, editor, Narboux, Julien, editor, and Richter-Gebert, Jürgen, editor

Published
2011
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results