Я не думаю, что такая вещь существует, но я начинаю.
Преимущество состоит в том, что вы можете выполнять некоторые аналитические методы ... например, вместо того, чтобы бесконечно взламывать openCV или даже Matlab, вы можете вычислять аналитически величину и видеть, что метод, приводящий к этой матрице, численно нестабилен как функция входных переменных. Таким образом вам не нужно взламывать, так как это было бы бессмысленно.
Что касается упаковки opencv, то это не имеет смысла. Правильной процедурой будет исправление неверных реализаций в opencv на основе вашего анализа в Mathematica и на бумаге.