Given a sentence in Korean, provide an equivalent paraphrased translation in Spanish that retains the same meaning both through the translation and the paraphrase.

WORHP는 eNLP (European NLP Solver)라고도하며 대규모의 연속 비선형 최적화 문제를 수치 적으로 풀기위한 수학 소프트웨어 라이브러리입니다.
WORHP, también conocida como eNLP (solucionador europeo de PNL) por la ESA, es una biblioteca de software matemático para resolver numéricamente problemas continuos de optimización no lineal a gran escala.

그는 형이상학 문학, 신학 및 고전 과학 분야의 학자였습니다.
Fue académico en literatura metafísica, teología y ciencia clásica.

Buccinum parvulum은 바다 달팽이의 종, Buccinidae 가족의 진정한 복족류 연체 동물, whelks 해양입니다.

Buccinum parvulum es una especie de caracol de mar, un verdadero molusco gastrópodo en la familia Buccinidae, los aullidos marinos.