Write restrictions before manipulating an equation. A denominator must be nonzero; a real even root needs a nonnegative argument. Cancelling factors preserves the expression only on its original domain. Squaring can introduce candidates because a square loses sign information; verify every candidate in the unsquared relation.
연립방정식의 해를 구하려면 같은 순서쌍이 모든 관계식을 만족해야 합니다. 대입법 또는 소거법을 사용하여 선형 해가 하나, 없음, 무수히 많은 경우 중 하나를 파악할 수 있습니다. 부등식의 경우, 음수인 양변에 곱하거나 나누면 부등호 방향이 반대로 바뀝니다. 인수분해된 이차부등식의 경우, 근을 정렬하고 구간별 부호를 테스트하며, 등호가 허용될 때만 경계점을 포함합니다.
함수는 각 허용된 입력값에 하나의 출력값을 대응시킵니다. 합성함수를 평가할 때는 내부 함수부터 계산하되, 정의역 제한을 유지해야 합니다. 기울기는 입력 단위당 출력 변화량이며, 절편은 해당 입력값이 의미 있는 경우에만 x=0일 때의 출력값으로 읽습니다. 언어적 모델은 변수를 명시하고 물리량이 호환되는 단위로 이루어져야 합니다.
양변 비교 문제에서는 모든 허용 가능한 값을 고려해야 합니다. x²=4인 변수는 제약이 없으면 −2이나 2일 수 있습니다. 보편적 관계에 대한 반례 하나만으로 거절할 수 있으나, 여러 가지 유리한 치환으로는 모든 실수에서 성함을 증명할 수 없습니다. 대수적 구조를 이용하면 exhaustive한 수치 샘플링 없이도 관계를 확립할 수 있습니다.