Code
356G9109
Duration
01 January 2010 → 30 June 2010
Funding
Federal funding: various
Promotor
Research disciplines
-
Natural sciences
- Applied mathematics in specific fields
Keywords
database
graph
conjecture
Project description
The main purpose of this project is to enable an intense cooperation between the computer environments Graphedron and Grinvin. It must e.g. be possible to use the conjecturing engine of Graphedron also inside Grinvin.It is also the purpose to develop a graph database that will also be accessible online by other users.