Trademarks owned by Numerix LLC