📰 Journal of Automated Reasoning 2012 — papers

The works of Journal of Automated Reasoning published in 2012 that our library holds (publisher: Springer Science+Business Media): 1 work, listed below with the most cited first; each has a page with our summary, its key points and its references.

Most cited papers

By their OpenAlex citations; a paper with our summary links to its page here, the others to the original.

1. The HOL Light Theory of Euclidean Space ↗John Harrison101 citations
2. Formalization of Bernstein Polynomials and Applications to Global Optimization ↗Cesar A. Munoz, Anthony Joseph Narkawicz73 citations
3. Wave Equation Numerical Resolution: A Comprehensive Mechanized Proof of a C Program ↗Sylvie Boldo, François Clément, Jean-Christophe Filliâtre et al.69 citations
4. ATP and Presentation Service for Mizar Formalizations ↗Josef Urban, Piotr Rudnicki, Geoff Sutcliffe68 citations
5. 6 Years of SMT-COMP ↗Clark Barrett, Morgan Deters, Leonardo de Moura et al.56 citations
6. The Mizar Mathematical Library in OMDoc: Translation and Applications ↗Mihnea Iancu, Michael Kohlhase, Florian Rabe et al.48 citations
7. On Rewriting Rules in Mizar ↗Artur Korniłowicz38 citations
8. Methods of Lemma Extraction in Natural Deduction Proofs ↗Karol Pąk31 citations
9. Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models ↗Mauro Ferrari, Camillo Fiorentini, Guido Fiorino28 citations
10. Formal Mathematics for Mathematicians ↗Andrzej Trybulec, Artur Korniłowicz, Adam Naumowicz et al.22 citations

All works of the year (28)

The most cited first; 1 with our summary link to their page here, the others to the original.

1. The HOL Light Theory of Euclidean Space ↗John Harrison101 citations
2. Formalization of Bernstein Polynomials and Applications to Global Optimization ↗Cesar A. Munoz, Anthony Joseph Narkawicz73 citations
3. Wave Equation Numerical Resolution: A Comprehensive Mechanized Proof of a C Program ↗Sylvie Boldo, François Clément, Jean-Christophe Filliâtre et al.69 citations
4. ATP and Presentation Service for Mizar Formalizations ↗Josef Urban, Piotr Rudnicki, Geoff Sutcliffe68 citations
5. 6 Years of SMT-COMP ↗Clark Barrett, Morgan Deters, Leonardo de Moura et al.56 citations
6. The Mizar Mathematical Library in OMDoc: Translation and Applications ↗Mihnea Iancu, Michael Kohlhase, Florian Rabe et al.48 citations
7. On Rewriting Rules in Mizar ↗Artur Korniłowicz38 citations
8. Methods of Lemma Extraction in Natural Deduction Proofs ↗Karol Pąk31 citations
9. Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models ↗Mauro Ferrari, Camillo Fiorentini, Guido Fiorino28 citations
10. Formal Mathematics for Mathematicians ↗Andrzej Trybulec, Artur Korniłowicz, Adam Naumowicz et al.22 citations
11. Set Graphs. III. Proof Pearl: Claw-Free Graphs Mirrored into Transitive Hereditarily Finite Sets ↗Eugenio Giovanni Omodeo, Alexandru Ioan Tomescu21 citations
12. Proof Pearl—A Mechanized Proof of GHC’s Mergesort ↗Christian Sternagel14 citations
13. Uncurrying for Termination and Complexity ↗Nao Hirokawa, Aart Middeldorp, Harald Zankl13 citations
14. Multi-Completion with Termination Tools ↗Sarah Winkler, Haruhiko Sato, Aart Middeldorp et al.11 citations
15. Custom Automations in Mizar ↗Marco B. Caminati, Giuseppe Rosolini9 citations
16. Specification and Verification of Concurrent Programs Through Refinements ↗Sandip Ray, Rob Sumners8 citations
17. A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid Logic with Binders, Converse and Global Modalities ↗Serenella Cerrito, Marta Cialdea Mayer5 citations
18. Case Splitting in an Automatic Theorem Prover for Real-Valued Special Functions ↗James P. Bridge, Lawrence Charles Paulson5 citations
19. Preface ↗Benjamin C. Pierce, Stephanie Weirich4 citations
20. Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar ↗Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama3 citations
21. Emptiness and Finiteness for Tree Automata with Global Reflexive Disequality Constraints ↗Carles Creus, Adrià Gascón, Guillem Godoy2 citations
22. “Handbook of Practical Logic and Automated Reasoning,” by John R. Harrison, Cambridge University Press, 2009 ↗Freek Wiedijk2 citations
23. A Two-Valued Logic for Properties of Strict Functional Programs Allowing Partial Functions ↗David Sabel, Manfred Schmidt-Schauß1 citation
24. Eliciting Implicit Assumptions of Mizar Proofs by Property Omission ↗Jesse Alama1 citation
25. On the Formalization of Theories ↗Jan Mycielski1 citation

See all 28 papers in Journal of Automated Reasoning 2012 — papers →

📄 Works with our summary in our library (1)

The most cited first (OpenAlex citations plus our library's).

1. Learning-Assisted Automated Reasoning with FlyspeckJournal of Automated ReasoningCezary Kaliszyk, Josef Urban2012 · 165 citations

🧭 Top topics

Topics of its works in our library, with the number of works on each.

🧮Reasoning (1)

📚 Fields

🖥️Computer Science (1)

🧑‍🔬 Top authors

Authors with a page who published here most often: their works here, and the citations of those works.

🏛️ Top institutions

Institutions on the bylines of its works here, by the number of works.

🎓Radboud University NijmegenNijmegen · Netherlands1 work here🎓Universität InnsbruckInnsbruck · Austria1 work here

works and citations from OpenAlex and our library.

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/venues/journal-of-automated-reasoning/2012/