Results 11 to 20 of about 2,981,187 (316)
ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics [PDF]
arXiv.org, 2023 We introduce ProofNet, a benchmark for autoformalization and formal proving of undergraduate-level mathematics. The ProofNet benchmarks consists of 371 examples, each consisting of a formal theorem statement in Lean 3, a natural language theorem ...
Zhangir Azerbayev +5 more
semanticscholar +1 more source
Spectral resolutions in effect algebras [PDF]
Quantum, 2022 Effect algebras were introduced as an abstract algebraic model for Hilbert space effects representing quantum mechanical measurements. We study additional structures on an effect algebra $E$ that enable us to define spectrality and spectral resolutions ...
Anna Jenčová, Sylvia Pulmannová
doaj +1 more source
Quantum mechanics of open systems: Dissipaton theories. [PDF]
Journal of Chemical Physics, 2022 This Perspective presents a comprehensive account of the dissipaton theories developed in our group since 2014, including the physical picture of dissipatons and the phase-space dissipaton algebra.
Yao Wang, Yijing Yan
semanticscholar +1 more source
Mathematics, 2023 In this paper, a novel hyper-rectangle cover theory is developed. Two important concepts, the cover order and the cover length, are introduced. We construct a specific échelon form of the matrix in the same manner as that employed to determine the rank ...
Xiaoxuan Chu +3 more
doaj +1 more source
مجلة اداب ذي قار, 2022 In this research, there is an approach to estimating the quality of soils in an arid environment, as it has an arid and semi-arid climate in southern Iraq, which is Al-Suwayr district of Al-Muthanna Governorate.
م.د قدس اسامة قوام الكليدار الكليدار
doaj +1 more source
Digital Circuit Design Utilizing Equation Solving over ‘Big’ Boolean Algebras [PDF]
International Journal of Mathematical, Engineering and Management Sciences, 2018 A task frequently encountered in digital circuit design is the solution of a two-valued Boolean equation of the form h(X,Y,Z)=1, where h: B_2^(k+m+n)→ B_2 and X,Y, and Z are binary vectors of lengths k, m, and n, representing inputs, intermediary values,
Ali Muhammad Ali Rushdi, Waleed Ahmad
doaj +1 more source
Neutrosophic Cubic Subalgebras and Neutrosophic Cubic Closed Ideals of B-algebras [PDF]
Neutrosophic Sets and Systems, 2016 The objective of this paper is to introduced the concept of neutrosophic cubic set to subalgebras, ideals and closed ideals of B-algebra. Links among neutrosophic cubic subalgebra with neutrosophic cubic ideals and neutrosophic closed ideals of B ...
Rakib Iqbal +2 more
doaj +1 more source
The periplectic Brauer algebra [PDF]
, 2016 We study the periplectic Brauer algebra introduced by Moon in the study of invariant theory for periplectic Lie superalgebras. We determine when the algebra is quasi‐hereditary, when it admits a quasi‐hereditary 1‐cover and, for fields of characteristic ...
K. Coulembier
semanticscholar +1 more source
Completeness for the coalgebraic cover modality [PDF]
Logical Methods in Computer Science, 2012 We study the finitary version of the coalgebraic logic introduced by L. Moss. The syntax of this logic, which is introduced uniformly with respect to a coalgebraic type functor, required to preserve weak pullbacks, extends that of classical propositional
Clemens Kupke +2 more
doaj +1 more source
A Blended Learning Approach for an Introductory Computer Science Course
Education Sciences, 2021 In this paper, we present our experience with redesigning an introductory computer science course for (electrical) engineers with blended learning concepts.
Anna Förster +9 more
doaj +1 more source