Projects / Programmes
Selected topics in theoretical computer science
Code |
Science |
Field |
Subfield |
1.07.00 |
Natural sciences and mathematics |
Computer intensive methods and applications |
|
Code |
Science |
Field |
P110 |
Natural sciences and mathematics |
Mathematical logic, set theory, combinatories |
P170 |
Natural sciences and mathematics |
Computer science, numerical analysis, systems, control |
symbolic computation, graphs, combinatorics, software tools, combinatorial optimization, chemical applications
Researchers (8)
Organisations (1)
Abstract
The key areas of the research include symbolic computation, combinatorial optimization, graph theory and combinatorics (including chemical applications), software tools, development of large-scale systems. In symbolic computation we investigate algorithms for finding exact solutions of difference, differential, and other functional equations as well as algorithms for symbolic summation and automated proving of identities. In order to implement these algorithms we use advanced computer algebra systems and object-oriented, platform-independent languages which allow for distributed software development such as Java and JavaScript. Our system ''''Vega'''' is an ongoing project which currently includes over 2500 reusable functions and is used as a testing ground for new approaches in algorithmic discrete mathematics. In particular, it provides tools for interactive improvement of visualization of data such as graphs, networks, polyhedra, Markov chains, configurations etc. by detecting symmetries and internal structure of large objects.