Results 21 to 30 of about 726,677 (214)
Modularity of strong normalization and confluence in the algebraic-λ-cube [PDF]
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 2002 Contains fulltext : 104051.pdf (Author’s version preprint ) (Open Access)
Franco Barbanera +2 more
openalex +5 more sources
Visualizing a Cubic Linkage through the Use of CAS and DGS
Mathematics, 2022 Our goal is to discuss the different issues that arise when attempting to visualize a joints-and-bars cube through GeoGebra, a widespread program that combines dynamic geometry (DGS) and computer algebra systems (CAS). As is standard in the DGS framework,
Tomás Recio +3 more
doaj +1 more source
Perluasan Masalah Isoperimetrik pada Bangun Ruang
Jambura Journal of Mathematics, 2023 In this paper, several extensions of the isoperimetric problem in solid figures are explored, focusing on oblique and right prisms with rectangular, right-angled triangular, and regular hexagonal bases. The objective of this research is to find the prism
Andri Setiawan +2 more
doaj +1 more source
Improved Division Property Based Cube Attacks Exploiting Algebraic Properties of Superpoly [PDF]
IET Information Security, 2018 Cube attacks are an important type of key recovery attacks against nonlinear feedback shift register (NFSR)‐based cryptosystems. The key step in cube attacks closely related to key recovery is recovering superpolies. However, in the previous cube attacks including original, division property based and correlation cube attacks, the algebraic normal form
Qingju Wang +5 more
+9 more sources
A note on the gap between rank and border rank [PDF]
, 2017 We study the tensor rank of the tensor corresponding to the algebra of n-variate complex polynomials modulo the dth power of each variable. As a result we find a sequence of tensors with a large gap between rank and border rank, and thus a counterexample
Zuiddam, Jeroen
core +8 more sources
Boolean reducts of relation and cylindric algebras and the cube problem [PDF]
Proceedings of the American Mathematical Society, 1987 It is shown that not every Boolean algebra is the Boolean part of a nondiscrete relation or cylindric algebra, but every nonatomless Boolean algebra is. Solutions of Tarski’s Cube Problem for nondiscrete relation and cylindric algebras are given.
Hajnal Andréka
openalex +2 more sources
Учёные записки Казанского университета: Серия Физико-математические науки, 2020 The step Boolean function is a function of the algebra of logic of n Boolean variables, n = 1, 2, … , reducing to 1 on all of the sets of an n -dimensional unit cube, the ordinal numbers of which are not lower than the given set.
S.A. Lozhkin, D.S. Kinzhikeyeva
doaj +1 more source
Fourteen years of cube attacks
Applicable Algebra in Engineering, Communication and Computing, 2023 Algebraic Cryptanalysis is a widely used technique that tackles the problem of breaking ciphers mainly relying on the ability to express a cryptosystem as a solvable polynomial system. Each output bit/word can be expressed as a polynomial equation in the
Marco Cianfriglia +3 more
semanticscholar +1 more source
Asymptotic distribution of traces of singular moduli
Discrete Analysis, 2022 Asymptotic distribution of traces of singular moduli, Discrete Analysis 2022:4, 14 pp. This paper concerns the modular $j$-function, a famous function that is fundamental to algebraic number theory and has remarkable connections to other areas of ...
Nickolas Andersen, William Duke
doaj +1 more source
Drinfeld-Manin solutions of the Yang-Baxter equation coming from cube complexes [PDF]
International journal of algebra and computation, 2020 The most common geometric interpretation of the Yang-Baxter equation is by braids, knots and relevant Reidemeister moves. So far, cubes were used for connections with the third Reidemeister move only.
A. Vdovina
semanticscholar +1 more source