[완료]수식을 입력하여 해를 구할 수 있는 언어가 있나요?

질문의 제목이 적합한지 잘 모르겠네요.

사실 적당한 언어로 코딩해서 풀 수도 있는 문제인데요.

문득 이런 일을 위한 전용 언어나 혹은 유사 툴이 있을지도 모른다는 생각이 들어서요.

아주 간단한 수식 계산이라면 계산기로 할 수 있겠지만 그런건 아니구요. ^^;

예를 들면..

(x - X_i)^2 + (y - H(X_i))^2 = H(X_i)^2
이런 원을 나타내는 식이 있고,

1 <= X_i <= N, X_i는 자연수
라는 조건과 H(X_i)에 대한 함수가 주어진다면

max (y)를 찾아라..

이런 문제를 효과적으로 쉽게 풀수 있을 만한 언어나 툴이 있을까요?

PS.
1. 식은 제가 임의로 생각한 거라서, 실제로 답이 없거나 문제가 있을지도 모르겠습니다. :P

2. 얼마전에 prezi 라는 걸 봤는데 독특하고 좋은것 같더군요.
제약사항들이 좀 있어서 아쉽긴 하지만 새로운 프리젠테이션 방법이 하나 생겼다는 측면에서 괜찮아 보입니다. ^^