„proving“

Suchergebnisse

1.000+ Treffer

• Proving that China has a Profession of Engineering: A Case Study in Operationalizing a Concept Across a Cultural Divide
  Davis, Michael ; Zhang, Hengli
• Superposition: Types and Induction
  Wand, Daniel ; Weidenbach, Christoph 2017 Saarländische Universitäts- und Landesbibliothek
• Theorem Proving and Logic Programming with Constraints (Dagstuhl Seminar 9143)
  Comon, Hubert ; Ganzinger, Harald ; Kirchner, Claude ; Kirchner, Hélène ; Lassez, Jean-Louis ; Smolka, Gert 1992 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171)
  Beyer, Dirk ; Huisman, Marieke ; Klebanov, Vladimir ; Monahan, Rosemary
• Quinoxalinophenanthrophenazines (QPPs) and Hexabenzoovalenes (HBOs) – Proving the Solubility Enhancement by Triptycene End‐Capping
  Kohl, Bernd ; Baumgärtner, Kevin ; Rominger, Frank ; Mastalerz, Michael
• Theorems from compiler verification – a problem set for automated theorem provers
  Schellhorn, Gerhard ; Reif, Wolfgang 1998 Univ., Fak. für Informatik
• Proving properties of finite enumerations – a problem set for automated theorem provers
  Schellhorn, Gerhard ; Reif, Wolfgang 1997 Univ., Fak. für Informatik
• Pirotte, A., Automatic Theorem Proving Basedon Resolution (Automatic Programming), Volume 7, Part 4 (1973). IV. 201–266 S. Oxford/New York/Toronto/Sydney/Braunschweig 1973. Pergamon Press. Preis brosch. £ 2.00
  Metz, J.
• Formalisation of Additive Combinatorics in Isabelle/HOL (Invited Talk)
  Koutsoukou-Argyraki, Angeliki 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Proving the equivalence of c-extremization and its gravitational dual for all toric quivers
  Hosseini, Seyed Morteza ; Zaffaroni, Alberto
• Reading, Writing, and Proving – A Closer Look at Mathematics
  Daepp, Ulrich ; Gorkin, Pamela 2003 Springer International Publishing
• Concise Guide to Formal Methods – Theory, Fundamentals and Industry Applications
  O'Regan, Gerard 2017 Springer International Publishing
• Reading, Writing, and Proving – A Closer Look at Mathematics
  Daepp, Ulrich ; Gorkin, Pamela 2011 Springer New York
• Proving SIFA protection of masked redundant circuits
  Hadžić, Vedad ; Primas, Robert ; Bloem, Roderick
• Lagrange's Theorem for Binary Squares
  Madhusudan, P. ; Nowotka, Dirk ; Rajasekaran, Aayush ; Shallit, Jeffrey O. 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• CPE: a calculus for proving equivalence of expressions in a non-strict functional language
  Schmidt-Schauß, Manfred 1996 Univ.-Bibliothek Frankfurt am Main
• On proving the equivalence of concurrency primitives
  Schwinghammer, Jan ; Sabel, David ; Niehren, Joachim ; Schmidt-Schauß, Manfred 2008 Univ.-Bibliothek Frankfurt am Main
• Design optimization of aircraft structures using virtual proving ground
  Gorskii, Yuriy ; Gavrilov, Petr ; Nikitin, Georgiy ; Pautova, Tatiana ; Tamm, Aleksandr
• Computer-Assisted Proof Verification for Higher-Order Automated Reasoning within the Dedukti Framework
  Taprogge, Melanie ; Steen, Alexander ; Blanqui, Frédéric ; Liebscher, Volkmar 2024 Universität Greifswald
• Verification of B+ trees: an experiment combining shape analysis and interactive theorem proving
  Ernst, Gidon ; Schellhorn, Gerhard ; Reif, Wolfgang ; Barthe, Gilles ; Pardo, Alberto ; Schneider, Gerardo 2011 Universität Augsburg