Boolean Algebra Analysis of Egyption Excavation Pieces: Difference between revisions

From MaRDI portal
← Older editNewer edit →
VisualWikitext
T4 reidelbach (talk | contribs)
private
342 edits
No edit summary
T4 reidelbach (talk | contribs)
private
342 edits
m Links, Figures, wikitables
Line 12: Line 12:


=== Procedure ===
=== Procedure ===
 
[[File:CultureWorkflowII II.png|thumb|Workflow Illustration]]
<b>2. Data Extraction</b>
<b>2. Data Extraction</b>


Line 35: Line 35:
=== Involved Disciplines ===
=== Involved Disciplines ===


NFDI4Culture (wikidata:Q98276929)
NFDI4Culture (wikidata:[[doi:Q98276929|Q98276929]])


    <math> \Rightarrow </math> Egyptology (wikidata: Q145903)
    <math> \Rightarrow </math> Egyptology (wikidata:[[doi:Q145903|Q145903]])


MaRDI (wikidata:Q108327788)
MaRDI (wikidata:[[doi:Q108327788|Q108327788]])


    <math> \Rightarrow </math> Boolean Algebra (wikidata:Q173183)
    <math> \Rightarrow </math> Boolean Algebra (wikidata:[[doi:Q173183|Q173183]])


=== Data Streams ===
=== Data Streams ===
Line 60: Line 60:
=== Variables ===
=== Variables ===


{|
{| class="wikitable"
! Name
! Name
! Unit
! Unit
Line 79: Line 79:
=== Process Steps ===
=== Process Steps ===


{|
{| class="wikitable"
! Name
! Name
! Description
! Description
Line 120: Line 120:
=== Applied Methods ===
=== Applied Methods ===


{|
{| class="wikitable"
! ID
! ID
! Name
! Name
Line 173: Line 173:
=== Software used ===
=== Software used ===


{|
{| class="wikitable"
! ID
! ID
! Name
! Name
Line 184: Line 184:
! documented
! documented
|-
|-
| sw:13986
| sw:[https://swmath.org/software/13986 13986]
| Julia
| Julia
| Julia Interpreter
| Julia Interpreter
Line 204: Line 204:
| [https://docs.juliahub.com/IJulia/nfu7T/1.21.2/autodocs/ Yes]
| [https://docs.juliahub.com/IJulia/nfu7T/1.21.2/autodocs/ Yes]
|-
|-
| sw:14460
| sw:[https://swmath.org/software/14460 14460]
| Python
| Python
| Python Interpreter
| Python Interpreter
Line 214: Line 214:
| [https://docs.python.org/3.7/ Yes]
| [https://docs.python.org/3.7/ Yes]
|-
|-
| sw:21266
| sw:[https://swmath.org/software/21266 21266]
| Jupyter Notebook
| Jupyter Notebook
| Interactive Computational Environment
| Interactive Computational Environment
Line 224: Line 224:
| [https://jupyter-notebook.readthedocs.io/en/stable/ Yes]
| [https://jupyter-notebook.readthedocs.io/en/stable/ Yes]
|-
|-
| sw:36845
| sw:[https://swmath.org/software/36845 36845]
| OSCAR
| OSCAR
| Computer Algebra System
| Computer Algebra System
Line 234: Line 234:
| [https://oscar.computeralgebra.de/documentation/ Yes]
| [https://oscar.computeralgebra.de/documentation/ Yes]
|-
|-
| sw:320
| sw:[https://swmath.org/software/320 320]
| GAP
| GAP
| Groups, Algorithms, Programming
| Groups, Algorithms, Programming
Line 244: Line 244:
| [https://www.gap-system.org/Doc/doc.html Yes]
| [https://www.gap-system.org/Doc/doc.html Yes]
|-
|-
| sw:866
| sw:[https://swmath.org/software/866 866]
| Singular
| Singular
| (non)-commutative algebra, algebraic geometry, singularity theory
| (non)-commutative algebra, algebraic geometry, singularity theory
Line 254: Line 254:
| [https://www.singular.uni-kl.de/Manual/latest/ Yes]
| [https://www.singular.uni-kl.de/Manual/latest/ Yes]
|-
|-
| sw:724
| sw:[https://swmath.org/software/724 724]
| Polymake
| Polymake
| Polymake
| Polymake
Line 264: Line 264:
| [https://polymake.org/doku.php/documentation/latest/start Yes]
| [https://polymake.org/doku.php/documentation/latest/start Yes]
|-
|-
| sw:20279
| sw:[https://swmath.org/software/20279 20279]
| Hecke
| Hecke
| Algebraic Number Theory
| Algebraic Number Theory
Line 274: Line 274:
| [http://home.in.tum.de/~traytel/hecke/chap0.html Yes]
| [http://home.in.tum.de/~traytel/hecke/chap0.html Yes]
|-
|-
| sw:20280
| sw:[https://swmath.org/software/20280 20280]
| Nemo
| Nemo
| Computer Algebra package
| Computer Algebra package
Line 284: Line 284:
| [https://nemocas.github.io/Nemo.jl/dev/ Yes]
| [https://nemocas.github.io/Nemo.jl/dev/ Yes]
|-
|-
| sw:32610
| sw:[https://swmath.org/software/32610 32610]
| Abstract Algebra
| Abstract Algebra
| Algebra Package
| Algebra Package
Line 348: Line 348:
=== Hardware ===
=== Hardware ===


{|
{| class="wikitable"
! ID
! ID
! Name
! Name
Line 367: Line 367:
=== Input Data ===
=== Input Data ===


{|
{| class="wikitable"
! ID
! ID
! Name
! Name
Line 405: Line 405:
=== Output Data ===
=== Output Data ===


{|
{| class="wikitable"
! ID
! ID
! Name
! Name

Revision as of 20:03, 17 June 2022

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)

    ⇒ Egyptology (wikidata:Q145903)

MaRDI (wikidata:Q108327788)

    ⇒ Boolean Algebra (wikidata:Q173183)

Data Streams

NFDI4Culture ⇒ MaRDI (.xlsx File containing feature strings)

MaRDI ⇒ 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/

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Boolean_Algebra_Analysis_of_Egyption_Excavation_Pieces&oldid=103796"
Powered by MediaWiki