premise: Part of HCTAR's research effort has resulted in new automatic marker-making software based on computational geometry techniques.
hypothesis: New automatic marker-making software has been a part of HCTAR's research efforts.