Incidenční matice konečných projektivních uniformních h-rovin, Rigorózní práce, Ostrava (1979), strojopis, 32 str.
Incidenční matice konečných projektivních uniformních h-rovin, Sborník prací Pedagogické fakulty v Ostravě77, (1982), 25–38.
Některé konstrukce nekomutativních kartézských grup, PF Ostrava, (1983), práce ke kandidátskému minimu, strojopis, 19 str.
Konstrukce spočetných ternárních okruhů vhodných typů, Kandidátská disertace, Ostrava (1987), strojopis, 97 str.
Konstrukce spočetné planární kartézské grupy, Sborník prací PF Ostrava113, (1989), 61–79.
Konstrukce spočetného ternárního okruhu typu IV(2), Sborník prací PF Ostrava118, 79–96.
Konstrukce spočetného ternárního okruhu typu IV(1), Sborník prací PF Ostrava123, (1991), 101–110.
Konstrukce spočetného ternárního okruhu typu V(2), Sborník prací PF Ostrava128, (1992), 27–38.
Počítačová podpora výuky geometrie, Sborník 20. konference o geometrii a počítačové grafice, Souš (2000), 142–147.
V. J. Havel, V. Sedlář, O restituci, Sborník 21. konference o geometrii a počítačové grafice, MZLU Brno, Lednice na Moravě (2001), 38–41.
V. J. Havel, V. Sedlář, K základní větě reálné afinní rovinné geometrie, Proceedings of Symposium on Computional Geometry SCG'200413, Bratislava (2004), 50–53.
V. J. Havel, V. Sedlář, Zkompletování tkáně řádu n a deficitu 1 nebo 2, Sborník konference Geometry Computer Graphic GCG 2004, VŠB (2004), 48–51.
V. J. Havel, V. Sedlář, Testing Possible Central Projection Images, Proc. Symp. Comput. Geom. SCG'2007 (Kočovce, Slovensko)16 (2007), 33–38, ISBN 978-80-227-2734-1.
Výzkumné zprávy (Research reports)
Samočinné generování učebních materiálů pro výuku matematice. PF Ostrava, 1980, dílčí výzkumná zpráva SVÚ VIII-2-13/4c, 24 str.+ přílohy (spolupráce s J. Libichrem)