CAS = Computer Algebra System 컴퓨터 대수학 시스템 말함


수학은 아니고 전산돌이인데 (연구레벨) 어떤 문제에 맞딱드렸음


평소 하던대로 N분 탐색문제로 놓으면 당연히 풀리는 문제인데 수식을 노려보니 해석적으로 풀릴 것 같은 느낌이 드는거야

해석적으로 풀리는 걸 굳이 탐색문제 해서 구현하느라 삽질하는 시간과 런타임 계산시간 낭비하기 싫어서 수식을 전개했더니 오마이갓

물론 거의 다 known 값이긴 하지만 대수적으로 놓고 풀려고 하니 변수들이 딱 봐서는 서로 지워지는 것도 눈에 많이 안 띄고 해서

일일이 다 전개한다음에 간략화 시도해야 할 듯 한데 21세기 20% 지난 이 시점에 사람이 손으로 이따위 짓 하는 건 너무 비효율적인 것 같음 ㅇㅇ


뭐 CAS 쓴다 해도 처음 수식입력은 컴퓨터로 하긴 해야해서 노가다임에는 변함 없겠지만

사람이 하는 전개/계산 실수도 없을 거니 하나 쓰긴 써야 겠는데 목록보니 장난아니게 많네;;;

https://en.wikipedia.org/wiki/List_of_computer_algebra_systems


이 갤에서는 CAS 는 주로 뭐 씀?

지금은 인스톨 된 것도 없고, 또 어떤 프로그램 쓰건간에 필요한 작업 같으니 일단 latex 형식으로 수식 옮겨쓰고 있음.