Downloadable computer software, namely, software libraries, extensions, and software development kits (SDKs) for use in artificial intelligence, machine learning, program analysis, code governance, reasoning about human language specifications, and discovery of program properties; downloadable computer software for use in developing, training, testing, and deploying artificial intelligence models and agents; downloadable computer software for integration of artificial intelligence into softwa...

Downloadable computer software for the analysis, testing and verification of algorithms; recorded computer software for the analysis, testing and verification of algorithms

Computer software for the analysis, testing and verification of algorithms for use in the financial field, namely, in the design, testing and regulation of algorithmic trading systems