Vertica
Formal sciences
Data analysis
Big data
HP Software Division
Oracle Data Mining
Technology
Data management
Science