1991 "Acting of Planar Discontinuous Isometry Groups - Computer Approach", including a software package HYP 1-2-3 with the full realisation of Poincare's model of a hyperbolical plane (C).
1993 "EUCLID - Geometry Theorems Prover" (co-author S.Kordic); the program EUCLID proves theorems of geometry in a human-oriented way and gives their proofs in a natural language form (PROLOG).
1994 "BonaParta - a Model of the Multitasking System" (co-author Vlado Keselj) (C).
1994 "Pentomino"; a program for the intellect-game of Pentomino (including a new, "gamma" algorithm for game-tree searching) ) (C).
1995 "GCLC"; The Geometry Constructions Language -> LaTeX format Converter (GC Language is a new language for defining pictures, especially those usual in geometry) (C).
1995 "Game-Maker"; a software shell for intellect game programs (including modules for the games of reversi and chess) (C).
1996 "EUCLID -- Geometry Theorems Prover -- C-version" (the second, improved release of the prover EUCLID) (C).
1996 "PNA-DP"; a program for using different decision procedures for Presburger arithmetic in the proof planner CLaM (PROLOG).
1998 "EPM"; a package for integrating decision procedures into the proof planner CLaM (PROLOG).
2000
"GS"; a program for combining and integrating decision procedures into
theorem provers (PROLOG).