AcceLogiChip Comment 2

From Simia
Jump to navigation Jump to search

 AcceLogiChip Comment 1

AcceLogiChip

 

Denny, 15 December 2004 17:46 CET

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.


... more about "AcceLogiChip Comment 2"
16:46:00, 15 December 2004 +
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. +
Number"Number" is a type and predefined property provided by Semantic MediaWiki to represent numeric values.
2 +