Results 201 to 210 of about 22,264 (219)

Non-Linear Reasoning in the Superposition Calculus

2022
Das Beweisen arithmetischer Eigenschaften hat viele Anwendungsgebiete. Diese reichen von klassischen Einsatzf llen in der Computeralgebra oder Funktionsanalyse bis hin zu angewandten Fallstudien aus dem Bereich der Softwareanalyse und Verifikation.Beispielsweise werden Operationen wie Addition, Multiplikation oder Potenzierung durch Programmschleifen
openaire   +1 more source

Automated Reasoning over Arrays in the Superposition Calculus

2020
In den letzen Jahren gab es enorme Fortschritte im Bereich automatisierter Softwareverifikation und Programanalyse. Dennoch wurden einige Herausforderungen noch nicht vollständig bezwungen, sowie das automatisierte Verifizieren von unbeschrenkten Datenstrukturen, insbesondere Arrays, und Programme, die diese manipulieren.
openaire   +1 more source

A Combined Superposition and Model Evolution Calculus

2011
We present a new calculus for first-order theorem proving with equality, ME+Sup, which generalizes both the Superposition calculus and the Model Evolution calculus (with equality) by integrating their inference rules and redundancy criteria in a non-trivial way.
Baumgartner, P., Waldmann, U. ; https://orcid.org/0000-0002-0676-7195   +1 more
openaire   +1 more source

Superposition and Geometry for Evidence and Quantum Mechanics in the Tensor Calculus

2013
In this chapter we prove that the interference in Coherent Quantum Mechanics is represented by a deformed space of the intensity for different particle beams. In the interference the complex number representation of the quantum mechanics is substituted by general real coordinates where the angles between general coordinates are the difference of the ...
openaire   +1 more source

Quantum Mechanics and Dirac Calculus in Schwartz Distribution Spaces vol. 1 Superpositions in Distribution Spaces, Postulates of Quantum Mechanics in Sn′ Schwartz Linear Algebra, S Representation in Quantum Mechanics Dirac Orthogonality, SLinear Quantum Statistics

2014
We propose here a pretty orthodox development of Laurent Schwartz Distribution Theory, conducted by following the way of Weak Duality on topological vector spaces, aiming at the construction of a feasible and manageable framework for Quantum Mechanics.
openaire   +2 more sources

Superposition with Lambdas

Journal of Automated Reasoning, 2021
Jasmin Christian Blanchette, Sophie Tourret, Petar Vukmirović   +2 more
exaly  

A Superposition Calculus for Divisible Torsion-Free Abelian Groups

1997
Variable overlaps are one of the main sources for the inefficiency of AC or ACU theorem proving calculi. In the presence of the axioms of abelian groups or at least cancellative abelian monoids, ordering restrictions allow us to avoid some of these overlaps, but inferences with unshielded variables remain necessary.
openaire   +1 more source

Superposition for Higher-Order Logic

Journal of Automated Reasoning, 2023
Jasmin Christian Blanchette, Sophie Tourret, Petar Vukmirović   +2 more
exaly  

Quantum superposition of distinct macroscopic states

Nature, 2000
Jonathan R Friedman, Sergey K Tolpygo
exaly  

A Guide to the Stochastic Network Calculus

IEEE Communications Surveys and Tutorials, 2015
Markus, Amr Rizk
exaly