Results 41 to 50 of about 726,677 (214)
Cube-Based Isomorph-Free Finite Model Finding [PDF]
European Conference on Artificial IntelligenceComplete enumeration of finite models of first-order logic (FOL) formulas is pivotal to universal algebra, which studies and catalogs algebraic structures.
Choiwah Chow +2 more
semanticscholar +1 more source
Gamma factors for the Asai cube representation [PDF]
Mathematische Zeitschrift, 2019 We prove an equality between the gamma factors for the Asai cube representation of RE/FGL2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs ...
Shih-Yu Chen
semanticscholar +1 more source
Equational investigation of zero algebras, algebras of a boolean cube and a Zhegalkin cube
Науковий вісник Ужгородського університету. Серія «Математика і інформатика», 2021 In this paper, investigation of Boolean universal algebras, the signature of which includes zero, unary and part of binary Boolean operations is conducted. Equational and signature lattices of the class of trivial algebras are constructed. Lattice elements are represented as a square. The class of universal Boolean algebras consists of 8 algebras.
Мич, I. А. +1 more
openaire +1 more source
Infinite series of quaternionic 1-vertex cube complexes, the doubling construction, and explicit cubical Ramanujan complexes [PDF]
International journal of algebra and computation, 2018 We construct vertex transitive lattices on products of trees of arbitrary dimension [Formula: see text] based on quaternion algebras over global fields with exactly two ramified places.
Nithi Rungtanapirom, J. Stix, A. Vdovina
semanticscholar +1 more source
Radical cube zero selfinjective algebras of finite complexity
Journal of Pure and Applied Algebra, 2011 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Erdmann, K, Solberg, O
openaire +2 more sources
Enumeration and investigation of acute 0/1-simplices modulo the action of the hyperoctahedral group
Special Matrices, 2017 The convex hull of n + 1 affinely independent vertices of the unit n-cube In is called a 0/1-simplex. It is nonobtuse if none its dihedral angles is obtuse, and acute if additionally none of them is right.
Brandts Jan, Cihangir Apo
doaj +1 more source
On the universal sl_2 invariant of ribbon bottom tangles
, 2009 A bottom tangle is a tangle in a cube consisting of arc components whose boundary points are on a line in the bottom square of the cube. A ribbon bottom tangle is a bottom tangle whose closure is a ribbon link.
Lawrence +6 more
core +1 more source
, 2015 We characterize absorption in finite idempotent algebras by means of J\'onsson absorption and cube term blockers. As an application we show that it is decidable whether a given subset is an absorbing subuniverse of an algebra given by the tables of its ...
Barto, Libor, Kazda, Alexandr
core +1 more source
Visualization of finite groups: The case of the Rubik's cube and supporting properties in GeoGebra
Journal of Research and Advances in Mathematics EducationIn this text, we present a discussion about the Rubik's Cube and its relationship with Group Theory, particularly permutation groups, as well as possibilities for exploring it using the GeoGebra software interface.
Renata Teófilo de Sousa +2 more
doaj +1 more source
On Link Homology Theories from Extended Cobordisms [PDF]
, 2009 This paper is devoted to the study of algebraic structures leading to link homology theories. The originally used structures of Frobenius algebra and/or TQFT are modified in two directions. First, we refine 2-dimensional cobordisms by taking into account
Beliakova, Anna, Wagner, Emmanuel
core +3 more sources