AcceLogiChip Comment 2
Jump to navigation Jump to search
... more about "AcceLogiChip Comment 2"
Text"Text" is a predefined property that represents text of arbitrary length and is provided by Semantic MediaWiki.
Maybe not the floating point stuff, but the matrix accelerators in modern graphic processing units could maybe used in order to speed up the tablaeux algorithms or for disjunctions. I am not too sure yet, though, just an idea. +