Boolean Algebra Analysis of Egyption Excavation Pieces

Boolean Algebra Analysis of Egyption Excavation Pieces

PID (if applicable): -

Problem Statement

Cachette de Karnak - Clustering of Excavation Pieces

Object of Research and Objective

Clustering of Excavation Pieces using relevant Features.

Procedure

Workflow Illustration

2. Data Extraction

Extract numerous excavation pieces and their characteristics from a large database (Karnak Cachette Database). Each statue encoded as boolean feature string, e.g. bold head True(1) or False(0).

3. Data Analysis

Cluster the statues by relevant features:

Ideal Formulation

From the feature strings of all statues an ideal is formulated, which contains all the rules to remove redundant information from the feature strings.

Relevant Feature Identification

Using the ideal, all feature strings are reduced to their relevant features. Statues with identical relevant feature strings are grouped.

4. Data Interpretation

Cluster groups of statues under certain features.

Involved Disciplines

NFDI4Culture (wikidata:Q98276929)

    $\Rightarrow$ Egyptology (wikidata:Q145903)

MaRDI (wikidata:Q108327788)

    $\Rightarrow$ Boolean Algebra (wikidata:Q173183)

Data Streams

NFDI4Culture $\Rightarrow$ MaRDI (.xlsx File containing feature strings)

MaRDI $\Rightarrow$ NFDI4Culture (.txt File containing relevant feature strings and grouped statues)

Model

Boolean Algebra

Discretization

• Time: -
• Space: -

Variables

Name	Unit	Symbol
Relevant Feature Strings	-	-
Feature Clusters	-	-

Process Informationen

Process Steps

Name	Description	Input	Output	Method	Parameter	Environment	Mathematical Area
Data Extraction	Feature String Definition	database	.xlsx	True/False	-	-	-
Data Analysis	Relevant Feature Identification	.xlsx	.txt	Algebraic Object Comparison	-	iJulia Notebook	Boolean Algebra
Data Interpretation	Feature Clustering	.txt	.txt	Algebraic Clustering	-	-	-

Applied Methods

ID	Name	Process Step	Parameter	implemented by
-	Algebraic Object Comparison	Data Analysis	$Modulus$, $cache$	iJulia Notebook
-	ResidueRing	Data Analysis - Ideal Formulation	$Modulus$	Oscar
-	PolynomialRing	Data Analysis - Ideal Formulation	$cache$	Oscar
-	Ideal	Data Analysis - Ideal Formulation	-	Oscar
-	Quo	Data Analysis - Ideal Formulation	-	Oscar
-	Factor	Data Analysis - Relevant Feature Identification	-	Oscar
-	Simplify!	Data Analysis - Relevant Feature Identification	-	Oscar

Software used

ID	Name	Description	Version	Programming Language	Dependencies	versioned	published	documented
sw:13986	Julia	Julia Interpreter	1.6.0	C, C++, Scheme, Julia	Windows, Mac, Linux	Yes	Yes	Yes
-	IJulia	Julia Kernel for Jupyter	1.21.2	Julia	Julia 0.7.0 or later, Python, Jupyter	Yes	Yes	Yes
sw:14460	Python	Python Interpreter	3.7.6	C	gcc	Yes	Yes	Yes
sw:21266	Jupyter Notebook	Interactive Computational Environment	6.4.6	Python, JavaScript, CSS, HTML	Python, gcc	Yes	Yes	Yes
sw:36845	OSCAR	Computer Algebra System	0.82	Julia	Julia 1.6.0, AbstractAlgebra 0.25.0 , DocStringExtensions 0.8, GAP 0.7.7, Hecke 0.13.0, Nemo 0.30.0, Polymake 0.7.1, RandomExtensions 0.4.3, Singular 0.10.1, msolve_jll 0.2.3, Preferences 1, JSON 0.20	Yes	Yes	Yes
sw:320	GAP	Groups, Algorithms, Programming	0.77	Julia	Julia 1.6.0 or higher	Yes	Yes	Yes
sw:866	Singular	(non)-commutative algebra, algebraic geometry, singularity theory	0.10.1	Julia	Julia	Yes	Yes	Yes
sw:724	Polymake	Polymake	0.7.1	Julia	Julia, polymake 4.0 or higher	Yes	Yes	Yes
sw:20279	Hecke	Algebraic Number Theory	0.13.0	Julia	Julia 1.0 or higher	Yes	Yes	Yes
sw:20280	Nemo	Computer Algebra package	0.30.0	Julia	Julia 1.6.0 or higher	Yes	Yes	Yes
sw:32610	Abstract Algebra	Algebra Package	0.25.0	Julia	Julia 1.6.0 or higher	Yes	Yes	Yes
-	DocStringExtensions	Extensions for Julia doc system	0.8	Julia	Julia 0.7 or higher	Yes	Yes	Yes
-	RandomExtensions	Random functionality extensions	0.4.3	Julia	Julia	Yes	Yes	Yes
-	msolve_jll	Package	0.2.3	Julia	Julia	Yes	Yes	Yes
-	Preferences	Store Configuration Switches	1	Julia	Julia 1.6.0 or higher	Yes	Yes	Yes
-	JSON	JSON parsing and printing	0.20	Julia	Julia	Yes	Yes	Yes

Hardware

ID	Name	Processor	Compiler	#Nodes	#Cores
-	GenunineIntel	Intel(R) Core(TM) i7-9700T CPU @ 2.00 GHz	g++, gcc, gfortran	8	8

Input Data

ID	Name	Size	Data Structure	Format Representation	Format Exchange	binary/text	proprietary	to publish	to archive
-	Feature Strings	small	Julia Matrix	dense matrix	.xlsx	text	no	Yes	Yes
-	Polynomial Ring Variables	small	string	-	-	text	no	Yes	Yes

Output Data

ID	Name	Size	Data Structure	Format Representation	Format Exchange	binary/text	proprietary	to publish	to archive
-	Relevant Deature Strings	small	string	text	.txt	text	No	Yes	Yes

Reproducibility

Mathematical Reproducibility

Yes

Runtime Reproducibility

Yes

Reproducibility of Results

Yes

Reproducibility on original Hardware

Yes

Reproducibility on other Hardware

Yes

Transferability to

a) other objects

Legend

The following abbreviations are used in the document to indicate/resolve IDs:

doi: https://dx.doi.org/

sw: https://swmath.org/software/

wikidata: https://www.wikidata.org/wiki/