Temat: computational algebra

Skocz do pozycji: 1.

Tytuł:: Elementary Matrix-computational Proof of Quillen-Suslin Theorem for Ore Extensions
Autorzy:: Fajardo, William
Lezama, Oswaldo
Data publikacji:: 2019
Słowa kluczowe:: maple
non-commutative computational algebra
ore extensions
projective modules
symbolic algorithms; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: A Computational Maple Library for Skew PBW Extensions
Autorzy:: Fajardo, William
Data publikacji:: 2019
Słowa kluczowe:: Grbner bases
library SPBWE.lib
maple
noncommutative computational algebra
skew PBW extensions; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Computational study of polynomial automorphisms
Obliczeniowe badania automorfizmów wielomianowych
Autorzy:: Bogdan, Paweł
Współwytwórcy:: Hajto, Zbigniew
Data publikacji:: 2017-10-13
Słowa kluczowe:: Jacobian Conjecture
różniczkowa teoria Galois
automorfizmy wielomianowe
differential Galois theory
hipoteza jakobianowa
polynomial automorphisms
algebra obliczeniowa
computational algebra; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Książka

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Right Buchberger Algorithm over Bijective Skew PBW Extensions
Autorzy:: Fajardo, William
Data publikacji:: 2021
Słowa kluczowe:: Non-commutative computational algebra
skew P BW extensions
Buchberger algorithm
Gröbner bases
SPBWE library
Maple; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: On the tractability of some minions below AT.
Złożoność obliczeniowa dla niektórych minionów poniżej AT.
Autorzy:: Banakh, Demian
Słowa kluczowe:: spełnianie więzów, CSP, PCSP, podejście algebraiczne, algebra uniwersalna, złożoność obliczeniowa
constraint satisfaction, CSP, PCSP, algebraic approach, universal algebra, computational complexity; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Dichotomy for Boolean minions of weighted-sum functions with threshold.
Dychotomia dla minionów Boolowskich funkcji sum ważonych z progiem.
Autorzy:: Banakh, Demian
Słowa kluczowe:: spełnianie więzów, CSP, PCSP, podejście algebraiczne, algebra uniwersalna, złożoność obliczeniowa
constraint satisfaction, CSP, PCSP, algebraic approach, universal algebra, computational complexity; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Term equation satisfiability over finite algebras
Autorzy:: Krzaczkowski, Jacek
Gorazd, Tomasz
Data publikacji:: 2010
Słowa kluczowe:: satisfiability
eqution
computational complexity
clones
universal algebra; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Complexity of the inversion algorithm of polynomial mappings
Autorzy:: Bogdan, Paweł
Data publikacji:: 2016
Słowa kluczowe:: polynomial automorphism
computer algebra system
differential Galois theory
computational complexity; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Using place invariants to isolate faults in concurrent systems
Autorzy:: Tabakow, I.
Data publikacji:: 2003
Słowa kluczowe:: concurrency control
Petri nets
invariance
matrix algebra
computational complexity
functions
set theory
Boolean algebra
probability
algorithms; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Complexity of the Inversion Algorithm of Polynomial Mappings
Autorzy:: Bogdan, P.
Data publikacji:: 2016
Słowa kluczowe:: polynomial automorphism
differential Galois theory
computational complexity
computer algebra system; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Equivalence constraint satisfaction problems
Autorzy:: Wrona, Michał
Bodirsky, Manuel
Data publikacji:: 2012
Wydawca:: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Słowa kluczowe:: computational complexity
temporal reasoning
model theory
universal algebra
constraint satisfaction problems; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Implementation and evaluation of medical imaging techniques based on conformal geometric algebra
Autorzy:: Franchini, Silvia
Gentile, Antonio
Vassallo, Giorgio
Vitabile, Salvatore
Data publikacji:: 2020
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: medical image segmentation
medical image registration
computational geometry
Clifford algebra
conformal geometric algebra
segmentacja obrazu
rejestracja obrazu medycznego
geometria obliczeniowa
algebra Clifforda; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Implementation and evaluation of medical imaging techniques based on conformal geometric algebra
Autorzy:: Franchini, Silvia
Gentile, Antonio
Vassallo, Giorgio
Vitabile, Salvatore
Data publikacji:: 2020
Słowa kluczowe:: medical image segmentation
medical image registration
computational geometry
Clifford algebra
conformal geometric algebra
segmentacja obrazu
rejestracja obrazu medycznego
geometria obliczeniowa
algebra Clifforda; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing
Autorzy:: Wang, Y.
Data publikacji:: 2009
Słowa kluczowe:: cognitive informatics
denotational mathematics
concept algebra
system algebra
process algebras
RTPA
visual semantic algebra
intelligence science
AI
computational intelligence
software engineering
knowledge engineering
cognitive computing
case studies; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: On the Computational Complexity of Bongartz’s Algorithm
Autorzy:: Mróz, A.
Data publikacji:: 2013
Słowa kluczowe:: algorithm
computational complexity
computer algebra
GAP
module
common direct summand
Gaussian elimination
decomposition
isomorphism problem; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Computing Duals of Finite Gödel Algebras
Autorzy:: Codara, Pietro
Maurina, Gabriele
Valota, Diego
Data publikacji:: 2020
Słowa kluczowe:: computer science
algebra
finite element analysis
computational efficiency
information systems
informatyka
analiza elementów skończonych
wydajność obliczeniowa
systemy informacyjne; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "computational algebra" wg kryterium: Temat