|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 31 publication records. Showing 31 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Serge Autexier, Pedro Quaresma (eds.) |
Proceedings of the 12th Workshop on User Interfaces for Theorem Provers, UITP 2016, Coimbra, Portugal, 2nd July 2016.  |
UITP  |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Linker, Jim Burton 0001, Mateja Jamnik |
Tactical Diagrammatic Reasoning. |
UITP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Ring, Christoph Lüth |
Interactive Proof Presentations with Cobra. |
UITP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Conchon, Mohamed Iguernelala, Alain Mebsout |
AltGr-Ergo, a Graphical User Interface for the SMT Solver Alt-Ergo. |
UITP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Emilio Jesús Gallego Arias, Benoît Pin, Pierre Jouvelot |
jsCoq: Towards Hybrid Theorem Proving Interfaces. |
UITP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Carst Tankink |
PIDE for Asynchronous Interaction with Coq. |
UITP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Gudmund Grov, Aleks Kissinger, Yuhui Lin |
Tinker, tailor, solver, proof. |
UITP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Rabe 0001 |
A Logic-Independent IDE. |
UITP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomer Libal, Martin Riener, Mikheil Rukhaia |
Advanced Proof Viewing in ProofTool. |
UITP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Butterfield |
UTP2: Higher-Order Equational Reasoning by Pointing. |
UITP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Benzmüller, Bruno Woltzenlogel Paleo (eds.) |
Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, UITP 2014, Vienna, Austria, 17th July 2014. |
UITP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Sarah Grebing, Florian Böhl |
How to Put Usability into Focus: Using Focus Groups to Evaluate the Usability of Interactive Theorem Provers. |
UITP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Sternagel, René Thiemann |
The Certification Problem Format. |
UITP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Makarius Wenzel |
System description: Isabelle/jEdit in 2014. |
UITP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Cezary Kaliszyk, Christoph Lüth (eds.) |
Proceedings 10th International Workshop On User Interfaces for Theorem Provers, UITP 2012, Bremen, Germany, July 11th, 2012. |
UITP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Windsteiger |
Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System. |
UITP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Makarius Wenzel |
READ-EVAL-PRINT in Parallel and Asynchronous Proof-checking. |
UITP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Carst Tankink |
Proof in Context - Web Editing with Rich, Modeless Contextual Feedback. |
UITP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ekaterina Komendantskaya, Jónathan Heras, Gudmund Grov |
Machine Learning in Proof General: Interfacing Interfaces |
UITP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller 0001, Bruno Woltzenlogel Paleo |
PROOFTOOL: a GUI for the GAPT Framework. |
UITP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | David Aspinall 0001, Claudio Sacerdoti Coen (eds.) |
Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers, UITP 2010, Edinburgh, UK, July 15, 2010 |
UITP |
2012 |
DBLP BibTeX RDF |
|
| 1 | Carst Tankink, Herman Geuvers, James McKinna |
Narrating Formal Proof (Work in Progress). |
UITP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Lapets, Assaf J. Kfoury |
A User-friendly Interface for a Lightweight Verification System. |
UITP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Freek Wiedijk |
Pollack-inconsistency. |
UITP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | John K. Slaney |
Visualising Reasoning: What ATP Can Learn From CP. |
UITP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura I. Meikle, Jacques D. Fleuriot |
Integrating Systems around the User: Combining Isabelle, Maple, and QEPCAD in the Prover's Palette. |
UITP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Aspinall 0001, Claudio Sacerdoti Coen |
Preface. |
UITP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Makarius Wenzel |
Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit. |
UITP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Gast |
Engineering the Prover Interface. |
UITP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Komendantsky, Alexander Konovalov 0001, Steve Linton |
Interfacing Coq + SSReflect with GAP. |
UITP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tuan-Minh Pham, Yves Bertot |
A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs. |
UITP |
2010 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #31 of 31 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license