Loading...
Projects / Programmes source: ARIS

Mathematical Foundations of Computer Science & Discrete Mathematics

Periods
Research activity

Code Science Field Subfield
1.07.00  Natural sciences and mathematics  Computer intensive methods and applications   
1.01.00  Natural sciences and mathematics  Mathematics   

Code Science Field
P170  Natural sciences and mathematics  Computer science, numerical analysis, systems, control 
P110  Natural sciences and mathematics  Mathematical logic, set theory, combinatories 
P120  Natural sciences and mathematics  Number theory, field theory, algebraic geometry, algebra, group theory 
P410  Natural sciences and mathematics  Theoretical chemistry, quantum chemistry 
H347  Humanities  Genealogy and heraldry 
Evaluation (rules)
source: COBISS
Researchers (10)
no. Code Name and surname Research area Role Period No. of publicationsNo. of publications
1.  12066  PhD Janez Aleš  Mathematics  Researcher  2001 - 2002  17 
2.  22385  MSc Jernej Barbič  Computer intensive methods and applications  Researcher  2002 - 2003 
3.  15854  PhD Andrej Bauer  Mathematics  Researcher  2002 - 2003  199 
4.  19284  PhD Marko Boben  Computer intensive methods and applications  Researcher  2001 - 2003  84 
5.  04967  PhD Andrej Brodnik  Computer intensive methods and applications  Researcher  2001 - 2003  449 
6.  20271  PhD Gašper Jaklič  Mathematics  Researcher  2001 - 2003  329 
7.  11392  MSc Matjaž Kaufman  Mathematics  Researcher  2001 - 2003  19 
8.  01935  PhD Marko Petkovšek  Mathematics  Researcher  2001 - 2003  366 
9.  01941  PhD Tomaž Pisanski  Mathematics  Head  2001 - 2003  866 
10.  14273  PhD Arjana Žitnik  Mathematics  Researcher  2001 - 2003  103 
Organisations (1)
no. Code Research organisation City Registration number No. of publicationsNo. of publications
1.  0101  Institute of Mathematics, Physics and Mechanics  Ljubljana  5055598000  20,258 
Abstract
In the area of geometric configurations we have investigated weakly flag-transitive configurations and found a one-to-one correspondence with bipartite 1-arc transitive graphs with girth 6 or more. Such graphs are line graphs of 1-regular cubic cyclic Haar graphs. Our results have applications in mathematical chemistry where they imply that hexagonal molecular graphs on the torus which have this type of symmetry are intrinsically chiral. We have obtained interesting results on Euler embeddings of 2-connected 4-valent graphs into orientable surfaces, and determined automorphism groups of Walecki tournaments which have no aperiodic binary subsequences. We have developed and implemented a Gosper-type algorithm for closed-form summation of multibasic and mixed hypergeometric terms. We have also designed high-performance memory modules which solve the membership problem in constant time and near-optimal space.
Most important scientific results Final report
Most important socioeconomically and culturally relevant results Final report
Views history
Favourite