Efficient Symbolic Computing

Project: Research

Project Details

Description

The objective of the project is to set up a research network with eight nodes in four member states of the Former Soviet Union and eleven nodes in seven
member states of the European Union. The research undertaken focusses on efficient symbolic computing with efficiency understood at the levels of
implementations, algorithms and development of code.
AcronymESC
StatusFinished
Effective start/end date1/12/941/04/99

Keywords

  • symbolic computations
  • computational logic