Results 41 to 50 of about 1,842,228 (287)
The Principle of Covariance and the Hamiltonian Formulation of General Relativity
Entropy, 2021 The implications of the general covariance principle for the establishment of a Hamiltonian variational formulation of classical General Relativity are addressed.
Massimo Tessarotto, Claudio Cremaschini
doaj +1 more source
Timed Multiparty Session Types [PDF]
, 2014 We propose a typing theory, based on multiparty session types, for modular verification of real-time choreographic interactions. To model real-time implementations, we introduce a simple calculus with delays and a decidable static proof system. The proof
A. Lapadula +10 more
core +2 more sources
Inextendibilty of the Maximal Global Hyperbolic Development in Electrogowdy spacetimes
EPJ Web of Conferences, 2013 The problem of determinism in General Relativity appears even if one assumes that the spacetime is globally hyperbolic, i.e. that it contains a hypersurface that is intersected by any causal curve exactly once.
Nungesser Ernesto
doaj +1 more source
Bounds on the power of proofs and advice in general physical theories [PDF]
Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, 2016 Quantum theory presents us with the tools for computational and communication advantages over classical theory. One approach to uncovering the source of these advantages is to determine how computation and communication power vary as quantum theory is replaced by other operationally defined theories from a broad framework of such theories.
Ciarán M. Lee, Matty J. Hoban
openaire +6 more sources
Termination Casts: A Flexible Approach to Termination with General Recursion [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 This paper proposes a type-and-effect system called Teqt, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambda calculus with general recursion and equality types.
Aaron Stump +2 more
doaj +1 more source
Log-concavity of characteristic polynomials and the Bergman fan of matroids [PDF]
, 2012 In a recent paper, the first author proved the log-concavity of the coefficients of the characteristic polynomial of a matroid realizable over a field of characteristic 0, answering a long-standing conjecture of Read in graph theory.
Huh, June, Katz, Eric
core +1 more source
A Generalization of Equational Proof Theory? [PDF]
, 2002 Recently rule based languages focussed on the use of rewriting as a modeling tool which results in making specifications executable. To extend the modeling capabilities of rule based languages, we explored in a previous work the possibility of making the rule applications subject to probabilistic choices, and started to study the generalization of the ...
openaire +3 more sources
Isabelle/HOL/GST: A Formal Proof Environment for Generalized Set Theories
, 2022 A generalized set theory (GST) is like a standard set theory but also can have non-set structured objects that can contain other structured objects including sets. This paper presents Isabelle/HOL support for GSTs, which are treated as type classes that combine features that specify kinds of mathematical objects, e.g., sets, ordinal numbers, functions,
Dunne, Ciarán, Wells, J. B.
openaire +2 more sources
Local newforms for the general linear groups over a non-archimedean local field
Forum of Mathematics, Pi, 2022 In [14], Jacquet–Piatetskii-Shapiro–Shalika defined a family of compact open subgroups of p-adic general linear groups indexed by nonnegative integers and established the theory of local newforms for irreducible generic representations. In this paper, we
Hiraku Atobe +2 more
doaj +1 more source
, 2003 G. L\"uders and W. Pauli proved the $\mathcal{CPT}$ theorem based on Lagrangian quantum field theory almost half a century ago. R. Jost gave a more general proof based on ``axiomatic'' field theory nearly as long ago.
B.L. Waerden van der +12 more
core +1 more source