Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Constructing Orthogonal Designs in Powers of Two: Gröbner Bases Meet Equational Unification - MaRDI portal

Constructing Orthogonal Designs in Powers of Two: Gröbner Bases Meet Equational Unification

From MaRDI portal

Publication:5277882

Jump to:navigation, search

DOI10.4230/LIPIcs.RTA.2015.241zbMath1366.68122OpenAlexW2290038473MaRDI QIDQ5277882

Dimitris E. Simos, Temur Kutsia, Ilias S. Kotsireas

Publication date: 12 July 2017

Full work available at URL: http://drops.dagstuhl.de/opus/volltexte/2015/5200/pdf/20.pdf

zbMATH Keywords

algorithms Gröbner bases orthogonal designs unification theory

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Orthogonal arrays, Latin squares, Room squares (05B15) Grammars and rewriting systems (68Q42)

Related Items (2)

Algebraic Modelling of Covering Arrays ⋮ Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques

This page was built for publication: Constructing Orthogonal Designs in Powers of Two: Gröbner Bases Meet Equational Unification

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5277882&oldid=19920269"