Buchumschlag

Vampire

Fuente: Zenodo

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bártek, Filip, Bhayat, Ahmed, Coutelier, Robin, Hajdu, Márton, Hetzenberger, Matthias, Hozzová, Petra, Kovács, Laura, Rath, Jakob, Rawson, Michael, Reger, Giles, Schoisswohl, Johannes, Suda, Martin, Voronkov, Andrei
Format:	Recurso digital
Sprache:	Englisch
Veröffentlicht:	Zenodo 2025
Schlagworte:	automated theorem proving
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The Vampire Diary
von: Bártek, Filip, et al.
Veröffentlicht: (2025)

Automated Deduction – CADE 29
Veröffentlicht: (2023)

Failing at the Floor: LLM Formal Reasoning Collapse on the Primitive Duplicating Recursor
von: Rahnama, Moses
Veröffentlicht: (2026)

Automated Reasoning with Analytic Tableaux and Related Methods
Veröffentlicht: (2023)

Getting Saturated with Induction
von: Hajdu, Márton, et al.
Veröffentlicht: (2024)

Hernán Cortés y sus fieles repetidores
von: Marialba Pastor
Veröffentlicht: (2016)

Term Ordering Diagrams
von: Hajdu, Márton, et al.
Veröffentlicht: (2025)

Análisis de proveniencia de las arenas del complejo de dunas parabólicas El Socorro, Baja California, México, mediante una caracterización mineralógica y granulométrica
von: Natalia Rodríguez Revelo
Veröffentlicht: (2014)

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
Veröffentlicht: (2018)

The Stäckel theorem in the Lagrangian formalism and the use of local times
von: G. F Torres del Castillo
Veröffentlicht: (2021)

THEOREM OF PYTHAGORAS. FOUR NEW PROOFS
von: Vladimir M. Moskovkin
Veröffentlicht: (2025)

A fractional generalization of the Lauwerier formulation of the temperature field problem in oil strata
von: Mridula Garg
Veröffentlicht: (2007)

From the Rank Theorem to the Vaschy-Buckingham Theorem
von: Olivier Ky Thiêp CHOFFRUT-PHAN
Veröffentlicht: (2026)

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
von: Ahmed, Amal
Veröffentlicht: (2018)

The theorem existence and uniqueness of the solution of a fractional differential equation.
von: Juan Martínez Ortiz
Veröffentlicht: (2013)

Superposition with Delayed Unification
von: Bhayat, Ahmed, et al.
Veröffentlicht: (2024)

SAT-Based Subsumption Resolution
von: Coutelier, Robin, et al.
Veröffentlicht: (2024)

Lean on Vampire Proofs (Short Paper)
von: Bodingbauer, Jonas, et al.
Veröffentlicht: (2026)

Partial Redundancy in Saturation
von: Hajdu, Márton, et al.
Veröffentlicht: (2025)

Synthesis Benchmarks for Automated Reasoning
von: Hajdu, Márton, et al.
Veröffentlicht: (2025)

Existence of a unique solution for a third-order boundary value problem with nonlocal conditions of integral type.
von: Sergey Smirnov
Veröffentlicht: (2021)

Monteiro Theorem: «
von: Monteiro, João Tiago
Veröffentlicht: (2026)

Smartphones: a new approach to the parallel-axis theorem
von: Sánchez Ruiz, L. M., et al.
Veröffentlicht: (2019)

A Higher-Order Vampire (Short Paper)
von: Bhayat, Ahmed, et al.
Veröffentlicht: (2024)

Scalar Impossibility in Multi-Pillar Complexity Measures: Why a Single Number Cannot Capture Algorithmic, Information-Theoretic, Dynamical, and Geometric Complexity
von: Sudoma, Oksana
Veröffentlicht: (2025)

Statistical Independence Reconsidered: A Deterministic Critique of Bell's Theorem
von: Christopher O'Brien Halliwell
Veröffentlicht: (2025)

Wavelength calculation using dimensional analysis technique
von: Ronnie Torres Hugues
Veröffentlicht: (2011)

A more direct proof of Gerschgorin´s theorem
von: Danny Gómez
Veröffentlicht: (2006)

Teorema del trastorno obsesivo-compulsivo
von: José A. Yaryura Tobías
Veröffentlicht: (2001)

IMPORTANCE OF INTEGRATION OF AUTHOMATIZATION IN THE WORK OF MEDICAL LABORATORIES
von: Kadirkulov K.
Veröffentlicht: (2025)

SAT Solving for Variants of First-Order Subsumption
von: Coutelier, Robin, et al.
Veröffentlicht: (2024)

Program Synthesis in Saturation
von: Hozzová, Petra, et al.
Veröffentlicht: (2024)

Global Executable Uniqueness Theorem: Why Only One Reality Compiles
von: Fedor, Kapitanov
Veröffentlicht: (2026)

Can We Identify the Theorem in Metaphysics 9, 1051a24-27 with Euclid’s Proposition 32? Geometric Deductions for the Discovery of Mathematical Knowledge
von: Francisco Miguel Ortiz Delgado
Veröffentlicht: (2023)

Chapter Independent sentences of mathematical character
von: Duccio, Pianigiani
Veröffentlicht: (2026)

Completeness of Synthesis under Realizability Assumptions using Superposition
von: Hajdu, Márton, et al.
Veröffentlicht: (2026)

Fermat's Last Theorem
von: Keen, Joseph
Veröffentlicht: (2026)

The Fundamental Theorem of Arithmetic
von: Keen, Joseph
Veröffentlicht: (2026)

Dimensional analysis applied to jacketed shell and tube heat exchangers modeling
von: Andres A. Sánchez-Escalona
Veröffentlicht: (2021)

Describir y reflexionar: sobre las autodescripciones de la sociedad en la teoría de Niklas Luhmann
von: Santiago Gabriel Calise
Veröffentlicht: (2023)