Wyniki wyszukiwania - Biblioteka Nauki

Ten serwis zostanie wyłączony 2025-02-11.

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: orthogonal matrices

Sortuj według:

Ogranicz wyniki do:

Two-level Cretan matrices constructed using SBIBD

100%

Balonin N. A. , Seberry J.

tom 3

nr 1

Two-level Cretan matrices are orthogonal matrices with two elements, x and y. At least one element per row and column is 1 and the other element has modulus ≤ 1. These have been studied in the Russian literature for applications in image processing and compression. Cretan matrices have been found by both mathematical and computational methods but this paper concentrates on mathematical solutions for the first time. We give, for the first time, families of Cretan matrices constructed using the incidence matrix of a symmetric balanced incomplete block design and Hadamard related difference sets.

SAT as a Programming Environment for Linear Algebra

100%

Srebrny M. , Stępień L.

tom Vol. 102, nr 1

115-127

In this paper we pursue the propositional calculus and the SATisfiability solvers as a powerful declarative programming environment that makes it possible to create and run the propositional declarative programs for computational tasks in various areas of mathematics. We report some experimental results on our application of the propositional SATisfiability environment to computing some simple orthogonal matrices and the orders of some orthogonal groups. Some encouraging (and not very encouraging) experiments are reported for the proposed propositional search procedures using off-the-shelf general-purpose SAT solvers. Our new software toolkit SAT4Alg is announced.