2 experts in "mathematical analysis for software" found:
Holger H. Hoos
Expert In:
Mathematical
analysis
for
software
Artificial Intelligence
Bioinformatics
Computer music
View Profile
Vijay Ganesh
Expert In:
Proof Complexity and
Mathematical
Logic
Testing,
Analysis
, Verification, and Security of AI Systems
Testing,
Analysis
, Verification, and Security of
Software
NeuroSymbolic AI
View Profile