{"id":479217,"date":"2023-08-09T10:31:59","date_gmt":"2023-08-09T10:31:59","guid":{"rendered":""},"modified":"2023-09-05T11:18:23","modified_gmt":"2023-09-05T11:18:23","slug":"symbolic-computation","status":"publish","type":"wiki","link":"https:\/\/oneproxy.pro\/kr\/wiki\/symbolic-computation\/","title":{"rendered":"\uae30\ud638 \uacc4\uc0b0"},"content":{"rendered":"<p>\uae30\ud638 \uc218\ud559 \ub610\ub294 \ucef4\ud4e8\ud130 \ub300\uc218\ud559\uc73c\ub85c\ub3c4 \uc54c\ub824\uc9c4 \uae30\ud638 \uacc4\uc0b0\uc740 \uc218\uce58 \uadfc\uc0ac \ub300\uc2e0 \uc218\ud559\uc801 \ud45c\ud604\uacfc \uae30\ud638\ub97c \uc870\uc791\ud558\ub294 \ucef4\ud4e8\ud130 \uacfc\ud559 \ubc0f \uc218\ud559\uc758 \ud55c \ubd84\uc57c\uc785\ub2c8\ub2e4. \uc774\ub97c \ud1b5\ud574 \ucef4\ud4e8\ud130\ub294 \ubcf5\uc7a1\ud55c \ub300\uc218 \uacc4\uc0b0, \ubbf8\uc801\ubd84\ud559 \ubc0f \uae30\ud0c0 \uc218\ud559\uc801 \uc5f0\uc0b0\uc744 \uae30\ud638\uc801\uc73c\ub85c \uc218\ud589\ud558\uace0 \ud45c\ud604\uc2dd\uc744 \uc815\ud655\ud55c \ud615\ud0dc\ub85c \uc720\uc9c0\ud560 \uc218 \uc788\uc2b5\ub2c8\ub2e4. \uae30\ud638 \uacc4\uc0b0\uc740 \uc218\ud559, \ubb3c\ub9ac\ud559, \uacf5\ud559, \ucef4\ud4e8\ud130 \uacfc\ud559\uc744 \ud3ec\ud568\ud55c \ub2e4\uc591\ud55c \ubd84\uc57c\uc5d0 \ud601\uba85\uc744 \uc77c\uc73c\ucf1c \uc5f0\uad6c\uc790, \uad50\uc721\uc790 \ubc0f \uc804\ubb38\uac00\uc5d0\uac8c \ud544\uc218\uc801\uc778 \ub3c4\uad6c\uac00 \ub418\uc5c8\uc2b5\ub2c8\ub2e4.<\/p>\n<h2>\uae30\ud638\uacc4\uc0b0\uc758 \uae30\uc6d0\uacfc \ucd5c\ucd08 \uc5b8\uae09\uc758 \uc5ed\uc0ac<\/h2>\n<p>\uae30\ud638 \uacc4\uc0b0\uc758 \uae30\uc6d0\uc740 \uc218\ud559\uc790\ub4e4\uc774 \uc9c0\ub8e8\ud558\uace0 \uc624\ub958\uac00 \ubc1c\uc0dd\ud558\uae30 \uc26c\uc6b4 \uc218\ub3d9 \uacc4\uc0b0\uc744 \uc790\ub3d9\ud654\ud558\ub294 \ubc29\ubc95\uc744 \ubaa8\uc0c9\ud588\ub358 19\uc138\uae30 \ucd08\ub85c \uac70\uc2ac\ub7ec \uc62c\ub77c\uac11\ub2c8\ub2e4. \uadf8\ub7ec\ub098 \uc774 \ubd84\uc57c\uac00 \ub514\uc9c0\ud138 \ucef4\ud4e8\ud130\uc758 \ucd9c\ud604\uc73c\ub85c \uc8fc\ubaa9\uc744 \ubc1b\uc740 \uac83\uc740 20\uc138\uae30 \uc911\ubc18\uc774\uc5c8\uc2b5\ub2c8\ub2e4. \uae30\ud638 \uacc4\uc0b0\uc5d0 \ub300\ud55c \uccab \ubc88\uc9f8 \uc8fc\ubaa9\ud560\ub9cc\ud55c \uc5b8\uae09 \uc911 \ud558\ub098\ub294 Allen Newell\uacfc Herbert A. Simon\uc774 &quot;\uc77c\ubc18 \ubb38\uc81c \ud574\uacb0\uc0ac&quot;(GPS)\ub97c \uac1c\ubc1c\ud55c 1960\ub144\uc774\uc5c8\uc2b5\ub2c8\ub2e4. GPS\ub294 \uc0c1\uc9d5\uc801\uc778 \uc218\ud559\uc801, \ub17c\ub9ac\uc801 \ubb38\uc81c\ub97c \ud574\uacb0\ud558\uc5ec \ud574\ub2f9 \ubd84\uc57c\uc758 \ud5a5\ud6c4 \uac1c\ubc1c\uc744 \uc704\ud55c \uae30\ubc18\uc744 \ub9c8\ub828\ud558\ub3c4\ub85d \uc124\uacc4\ub418\uc5c8\uc2b5\ub2c8\ub2e4.<\/p>\n<h2>\uae30\ud638 \uacc4\uc0b0\uc5d0 \ub300\ud55c \uc790\uc138\ud55c \uc815\ubcf4\uc785\ub2c8\ub2e4. \uae30\ud638 \uacc4\uc0b0 \uc8fc\uc81c \ud655\uc7a5.<\/h2>\n<p>\uae30\ud638 \uacc4\uc0b0\uc5d0\ub294 \uc218\ud559\uc801 \ud45c\ud604\uacfc \ubc29\uc815\uc2dd\uc744 \uc218\uce58 \uac12\uc774 \uc544\ub2cc \uae30\ud638 \uac1c\uccb4\ub85c \ud45c\ud604\ud558\ub294 \uc791\uc5c5\uc774 \ud3ec\ud568\ub429\ub2c8\ub2e4. \uc774\ub7ec\ud55c \uac1d\uccb4\uc5d0\ub294 \ubcc0\uc218, \uc0c1\uc218, \ud568\uc218 \ubc0f \uc5f0\uc0b0\uc774 \ud3ec\ud568\ub420 \uc218 \uc788\uc2b5\ub2c8\ub2e4. \ud45c\ud604\uc2dd\uc744 \uc218\uce58\uc801\uc73c\ub85c \ud3c9\uac00\ud558\ub294 \ub300\uc2e0 \uae30\ud638 \uacc4\uc0b0\uc740 \uc774\ub7ec\ud55c \uae30\ud638 \uac1c\uccb4\uc5d0 \ub300\ud55c \uc791\uc5c5\uc744 \uc218\ud589\ud558\uc5ec \ubcf5\uc7a1\ud55c \uc218\ud559\uc801 \ubb38\uc81c\ub97c \ub2e8\uc21c\ud654, \uc870\uc791 \ubc0f \ud574\uacb0\ud569\ub2c8\ub2e4.<\/p>\n<p>\uae30\ud638 \uacc4\uc0b0 \uc2dc\uc2a4\ud15c\uc758 \uc8fc\uc694 \uad6c\uc131 \uc694\uc18c\ub294 \ub2e4\uc74c\uacfc \uac19\uc2b5\ub2c8\ub2e4.<\/p>\n<ol>\n<li>\n<p><strong>\ud45c\ud604 \ud45c\ud604<\/strong>: \uae30\ud638\uc2dd\uc740 \ud2b8\ub9ac\ub098 \uadf8\ub798\ud504\uc640 \uac19\uc740 \ub370\uc774\ud130 \uad6c\uc870\ub97c \uc0ac\uc6a9\ud558\uc5ec \ud45c\ud604\ub429\ub2c8\ub2e4. \uc774\ub7ec\ud55c \uad6c\uc870\ub294 \ud45c\ud604\uc2dd\uc758 \ub2e4\uc591\ud55c \uc694\uc18c \uac04\uc758 \uad00\uacc4\ub97c \uc800\uc7a5\ud558\uc5ec \ud6a8\uc728\uc801\uc778 \uc870\uc791\uc744 \uac00\ub2a5\ud558\uac8c \ud569\ub2c8\ub2e4.<\/p>\n<\/li>\n<li>\n<p><strong>\ub2e8\uc21c\ud654\ub97c \uc704\ud55c \uc54c\uace0\ub9ac\uc998<\/strong>: \uae30\ud638 \uacc4\uc0b0 \uc2dc\uc2a4\ud15c\uc740 \uc815\uad50\ud55c \uc54c\uace0\ub9ac\uc998\uc744 \uc0ac\uc6a9\ud558\uc5ec \ud45c\ud604\uc2dd\uc744 \ub2e8\uc21c\ud654\ud558\uace0 \ub2e4\ud56d\uc2dd\uc744 \uc778\uc218\ubd84\ud574\ud558\uba70 \ub300\uc218\uc801 \uc870\uc791\uc744 \uc218\ud589\ud569\ub2c8\ub2e4. \uc774\ub7ec\ud55c \uc54c\uace0\ub9ac\uc998\uc740 \uc218\ud559\uc801 \uc6d0\ub9ac\uc640 \uaddc\uce59\uc744 \uae30\ubc18\uc73c\ub85c \ud569\ub2c8\ub2e4.<\/p>\n<\/li>\n<li>\n<p><strong>\ubc29\uc815\uc2dd \ud574\uacb0\uc0ac<\/strong>: \uae30\ud638 \uacc4\uc0b0\uc740 \ub300\uc218 \ubc29\uc815\uc2dd\uc744 \uae30\ud638\uc801\uc73c\ub85c \ud480 \uc218 \uc788\uc5b4 \uc218\uce58\uc801 \uadfc\uc0ac\uac00 \uc544\ub2cc \uc815\ud655\ud55c \ud574\ub97c \uc81c\uacf5\ud569\ub2c8\ub2e4.<\/p>\n<\/li>\n<li>\n<p><strong>\ucc28\ubcc4\ud654\uc640 \ud1b5\ud569<\/strong>: \uae30\ud638 \uacc4\uc0b0\uc740 \ub3c4\ud568\uc218\uc640 \uc801\ubd84\uc744 \uae30\ud638\uc801\uc73c\ub85c \uacc4\uc0b0\ud560 \uc218 \uc788\uc5b4 \uc218\ud559\uc801 \ubd84\uc11d \ubc0f \ubb3c\ub9ac \uc2dc\ubbac\ub808\uc774\uc158\uc5d0 \uc720\uc6a9\ud569\ub2c8\ub2e4.<\/p>\n<\/li>\n<li>\n<p><strong>\uc218\ud559\uc801 \ucd94\ub860<\/strong>: \uae30\ud638\uacc4\uc0b0\uc740 \uc218\ud559\uc801 \uc131\uc9c8\uc5d0 \ub300\ud55c \ub17c\ub9ac\uc801 \ucd94\ub860\uc744 \uac00\ub2a5\ud558\uac8c \ud558\uc5ec \uc790\ub3d9\ud654\ub41c \uc99d\uba85\uacfc \uac80\uc99d\uc744 \uac00\ub2a5\ud558\uac8c \ud569\ub2c8\ub2e4.<\/p>\n<\/li>\n<\/ol>\n<h2>\uae30\ud638 \uacc4\uc0b0\uc758 \ub0b4\ubd80 \uad6c\uc870. \uae30\ud638 \uacc4\uc0b0\uc774 \uc791\ub3d9\ud558\ub294 \ubc29\uc2dd.<\/h2>\n<p>\uae30\ud638 \uacc4\uc0b0 \uc2dc\uc2a4\ud15c\uc740 \uc77c\ubc18\uc801\uc73c\ub85c \ub370\uc774\ud130 \uad6c\uc870\uc640 \uc54c\uace0\ub9ac\uc998\uc758 \uc870\ud569\uc744 \uc0ac\uc6a9\ud558\uc5ec \uad6c\ud604\ub429\ub2c8\ub2e4. \ub0b4\ubd80 \uad6c\uc870\ub294 \uc5ec\ub7ec \ub808\uc774\uc5b4\ub85c \ub098\ub20c \uc218 \uc788\uc2b5\ub2c8\ub2e4.<\/p>\n<ol>\n<li>\n<p><strong>\ud30c\uc2f1<\/strong>: \uc2dc\uc2a4\ud15c\uc740 \uc218\ud559\uc801 \ud45c\ud604\uc744 \uc785\ub825\uc73c\ub85c \ubc1b\uc544 \uc774\ub97c \ud2b8\ub9ac\ub098 \uadf8\ub798\ud504\uc640 \uac19\uc740 \uc801\uc808\ud55c \ub370\uc774\ud130 \uad6c\uc870\ub85c \uad6c\ubb38 \ubd84\uc11d\ud569\ub2c8\ub2e4. \uc774 \ub2e8\uacc4\uc5d0\ub294 \ud45c\ud604\uc2dd\uc758 \ubcc0\uc218, \uc0c1\uc218 \ubc0f \uc5f0\uc0b0\uc744 \uc2dd\ubcc4\ud558\ub294 \uc791\uc5c5\uc774 \ud3ec\ud568\ub429\ub2c8\ub2e4.<\/p>\n<\/li>\n<li>\n<p><strong>\ud45c\ud604 \uc870\uc791<\/strong>: \uae30\ud638\uacc4\uc0b0\uc758 \ud575\uc2ec\uc740 \ud45c\ud604\uc2dd\uc744 \uc870\uc791\ud558\ub294 \uc54c\uace0\ub9ac\uc998\uc5d0 \uc788\uc2b5\ub2c8\ub2e4. \uc774\ub7ec\ud55c \uc54c\uace0\ub9ac\uc998\uc740 \ud45c\ud604\uc2dd\uc744 \ub2e8\uc21c\ud654\ud558\uace0 \ub300\uc218 \uc5f0\uc0b0\uc744 \uc218\ud589\ud558\uba70 \uc218\ud559\uc801 \ubcc0\ud658\uc744 \uc801\uc6a9\ud569\ub2c8\ub2e4.<\/p>\n<\/li>\n<li>\n<p><strong>\uae30\ud638 \uc218\ud559 \uc5d4\uc9c4<\/strong>: \uc774 \uc5d4\uc9c4\uc5d0\ub294 \ubc29\uc815\uc2dd \ud480\uc774, \ubbf8\ubd84, \ud1b5\ud569 \ubc0f \ub17c\ub9ac\uc801 \ucd94\ub860\uc744 \ud3ec\ud568\ud55c \uc8fc\uc694 \uae30\ud638 \uacc4\uc0b0 \uae30\ub2a5\uc774 \ud3ec\ud568\ub418\uc5b4 \uc788\uc2b5\ub2c8\ub2e4.<\/p>\n<\/li>\n<li>\n<p><strong>\uc0ac\uc6a9\uc790 \uc778\ud130\ud398\uc774\uc2a4<\/strong>: \uae30\ud638 \uacc4\uc0b0 \uc2dc\uc2a4\ud15c\uc740 \uc218\ud559\uc801 \ud45c\ud604\uc744 \uc785\ub825\ud558\uace0, \uacb0\uacfc\ub97c \uc2dc\uac01\ud654\ud558\uace0, \uae30\ubcf8 \uc5d4\uc9c4\uacfc \uc0c1\ud638 \uc791\uc6a9\ud560 \uc218 \uc788\ub294 \uc0ac\uc6a9\uc790 \uce5c\ud654\uc801\uc778 \uc778\ud130\ud398\uc774\uc2a4\ub97c \uc81c\uacf5\ud558\ub294 \uacbd\uc6b0\uac00 \ub9ce\uc2b5\ub2c8\ub2e4.<\/p>\n<\/li>\n<li>\n<p><strong>\ubc31\uc5d4\ub4dc \uacc4\uc0b0<\/strong>: \uc2dc\uc2a4\ud15c\uc758 \ubc31\uc5d4\ub4dc\ub294 \ub300\uaddc\ubaa8 \uacc4\uc0b0\uc744 \ucc98\ub9ac\ud558\uae30 \uc704\ud574 \ud604\ub300 \ucef4\ud4e8\ud130\uc758 \uc131\ub2a5\uc744 \ud65c\uc6a9\ud558\uc5ec \ud2b9\ud788 \ubcf5\uc7a1\ud55c \uc218\ud559\uc801 \uc791\uc5c5\uc5d0\uc11c \ub9ce\uc740 \uacc4\uc0b0\uc744 \uc218\ud589\ud569\ub2c8\ub2e4.<\/p>\n<\/li>\n<\/ol>\n<h2>\uae30\ud638\uacc4\uc0b0\uc758 \uc8fc\uc694 \ud2b9\uc9d5 \ubd84\uc11d<\/h2>\n<p>\uae30\ud638 \uacc4\uc0b0\uc740 \uc218\uce58 \ubc29\ubc95\uacfc \ucc28\ubcc4\ud654\ub418\ub294 \uba87 \uac00\uc9c0 \uc8fc\uc694 \uae30\ub2a5\uc744 \uc81c\uacf5\ud569\ub2c8\ub2e4.<\/p>\n<ol>\n<li>\n<p><strong>\uc815\ud655\ud55c \uacb0\uacfc<\/strong>: \uadfc\uc0ac\uce58\ub97c \uc0b0\ucd9c\ud558\ub294 \uc218\uce58\uc801 \ubc29\ubc95\uacfc \ub2ec\ub9ac \uae30\ud638 \uacc4\uc0b0\uc740 \uc218\ud559\uc801 \ubb38\uc81c\uc5d0 \ub300\ud55c \uc815\ud655\ud55c \uc194\ub8e8\uc158\uc744 \uc81c\uacf5\ud558\uc5ec \uc815\ubc00\ub3c4\uc640 \uc815\ud655\uc131\uc744 \ubcf4\uc7a5\ud569\ub2c8\ub2e4.<\/p>\n<\/li>\n<li>\n<p><strong>\uc720\uc5f0\uc131<\/strong>: \uae30\ud638\uacc4\uc0b0\uc740 \uad11\ubc94\uc704\ud55c \uc218\ud559\uc801 \ud45c\ud604\uacfc \ubc29\uc815\uc2dd\uc744 \ub2e4\ub8f0 \uc218 \uc788\uc5b4 \ub2e4\uc591\ud55c \ud559\ubb38 \ubd84\uc57c\uc5d0 \uc801\uc6a9 \uac00\ub2a5\ud569\ub2c8\ub2e4.<\/p>\n<\/li>\n<li>\n<p><strong>\uc54c\uace0\ub9ac\uc998 \uc870\uc791<\/strong>: \uae30\ud638 \uacc4\uc0b0 \uc54c\uace0\ub9ac\uc998\uc740 \ubcf5\uc7a1\ud55c \ud45c\ud604\uc2dd\uc744 \ub2e8\uacc4\ubcc4\ub85c \uc870\uc791\ud558\uc5ec \uae30\ubcf8 \ubcc0\ud658\uc744 \ub4dc\ub7ec\ub0bc \uc218 \uc788\uc73c\ubbc0\ub85c \uad50\uc721 \ubaa9\uc801\uc73c\ub85c \uc720\uc6a9\ud569\ub2c8\ub2e4.<\/p>\n<\/li>\n<li>\n<p><strong>\uc77c\ubc18\ud654<\/strong>: \uae30\ud638\uacc4\uc0b0\uc740 \ud45c\ud604\uc2dd\uc744 \uc77c\ubc18\uc801\uc778 \ud615\ud0dc\ub85c \ud45c\ud604\ud560 \uc218 \uc788\uc5b4 \ud328\ud134 \ubd84\uc11d \ubc0f \uc77c\ubc18\uc801\uc778 \ud574\ubc95 \ub3c4\ucd9c\uc774 \uac00\ub2a5\ud569\ub2c8\ub2e4.<\/p>\n<\/li>\n<li>\n<p><strong>\uc0c1\uc9d5\uc801 \ucd94\ub860<\/strong>: \uae30\ud638 \uc5f0\uc0b0\uc744 \ud1b5\ud574 \ub17c\ub9ac\uc801 \ucd94\ub860\uacfc \ud328\ud134 \uc778\uc2dd\uc774 \uac00\ub2a5\ud574 \uc790\ub3d9\ud654\ub41c \ubb38\uc81c \ud574\uacb0 \ubc0f \uc99d\uba85 \uc0dd\uc131\uc774 \uac00\ub2a5\ud569\ub2c8\ub2e4.<\/p>\n<\/li>\n<\/ol>\n<h2>\uae30\ud638 \uacc4\uc0b0\uc758 \uc720\ud615<\/h2>\n<p>\uae30\ud638 \uacc4\uc0b0\uc5d0\ub294 \uac01\uac01 \ud2b9\uc815 \uc218\ud559\uc801 \uc791\uc5c5\uc744 \ucc98\ub9ac\ud558\ub294 \ub2e4\uc591\ud55c \ud558\uc704 \ud544\ub4dc\uc640 \ub3c4\uad6c\uac00 \ud3ec\ud568\ub429\ub2c8\ub2e4. \uae30\ud638 \uacc4\uc0b0\uc758 \uc8fc\uc694 \uc720\ud615\uc740 \ub2e4\uc74c\uacfc \uac19\uc2b5\ub2c8\ub2e4.<\/p>\n<table>\n<thead>\n<tr>\n<th>\uc720\ud615<\/th>\n<th>\uc124\uba85<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td>\ucef4\ud4e8\ud130 \ub300\uc218\ud559 \uc2dc\uc2a4\ud15c(CAS)<\/td>\n<td>\ub300\uc218\ud559 \uc870\uc791\ubd80\ud130 \uace0\uae09 \uc218\ud559 \uc5f0\uc0b0\uae4c\uc9c0 \uae30\ud638 \uacc4\uc0b0\uc744 \uc218\ud589\ud558\ub294 \ud3ec\uad04\uc801\uc778 \uc18c\ud504\ud2b8\uc6e8\uc5b4\uc785\ub2c8\ub2e4. \uc778\uae30 \uc788\ub294 CAS\uc5d0\ub294 Mathematica, Maple, Maxima\uac00 \uc788\uc2b5\ub2c8\ub2e4.<\/td>\n<\/tr>\n<tr>\n<td>\uae30\ud638 \uc870\uc791 \ub77c\uc774\ube0c\ub7ec\ub9ac<\/td>\n<td>\uc0ac\uc6a9\uc790\uac00 \ucf54\ub4dc \ub0b4\uc5d0\uc11c \uc9c1\uc811 \uae30\ud638 \uacc4\uc0b0\uc744 \uc218\ud589\ud560 \uc218 \uc788\ub3c4\ub85d \ud558\ub294 \ud504\ub85c\uadf8\ub798\ubc0d \uc5b8\uc5b4(\uc608: Python\uc6a9 SymPy)\uc5d0 \ud1b5\ud569\ub41c \ub77c\uc774\ube0c\ub7ec\ub9ac \ub610\ub294 \ubaa8\ub4c8\uc785\ub2c8\ub2e4.<\/td>\n<\/tr>\n<tr>\n<td>\ucef4\ud4e8\ud130 \uc815\ub9ac \uc99d\uba85\uc790<\/td>\n<td>\uacf5\uc2dd\uc801\uc778 \uc218\ud559\uc801 \ucd94\ub860\uc744 \uc704\ud574 \uc124\uacc4\ub41c \ub3c4\uad6c\ub85c, \uc218\ud559\uc801 \uc815\ub9ac\uc758 \uc790\ub3d9 \uc99d\uba85 \ubc0f \uac80\uc99d\uc774 \uac00\ub2a5\ud569\ub2c8\ub2e4. \uc608\ub97c \ub4e4\uba74 HOL Light\uc640 Isabelle\uc774 \uc788\uc2b5\ub2c8\ub2e4.<\/td>\n<\/tr>\n<tr>\n<td>\uc22b\uc790 \uae30\ud638 \ud558\uc774\ube0c\ub9ac\ub4dc \uc2dc\uc2a4\ud15c<\/td>\n<td>\uae30\ud638 \ubc29\ubc95\uacfc \uc218\uce58 \ubc29\ubc95\uc744 \uacb0\ud569\ud558\uc5ec \uac01 \uc811\uadfc \ubc29\uc2dd\uc758 \uc7a5\uc810\uc744 \ud65c\uc6a9\ud558\uace0 \ub354\uc6b1 \ud6a8\uc728\uc801\uc778 \uacc4\uc0b0\uc744 \uc218\ud589\ud558\ub294 \uc2dc\uc2a4\ud15c\uc785\ub2c8\ub2e4.<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h2>\uae30\ud638\uacc4\uc0b0\uc758 \ud65c\uc6a9\ubc29\ubc95\uacfc \ud65c\uc6a9\uc5d0 \uad00\ud55c \ubb38\uc81c \ubc0f \ud574\uacb0\ubc29\ubc95<\/h2>\n<p>\uae30\ud638 \uacc4\uc0b0\uc740 \ub2e4\uc591\ud55c \ub3c4\uba54\uc778\uc5d0\uc11c \uc751\uc6a9 \ud504\ub85c\uadf8\ub7a8\uc744 \ucc3e\uc544 \ub2e4\uc591\ud55c \ubb38\uc81c\ub97c \ud574\uacb0\ud558\uace0 \ud6a8\uacfc\uc801\uc778 \uc194\ub8e8\uc158\uc744 \uc81c\uacf5\ud569\ub2c8\ub2e4.<\/p>\n<ol>\n<li>\n<p><strong>\uc218\ud559 \uc5f0\uad6c<\/strong>: \uae30\ud638 \uacc4\uc0b0\uc740 \uc218\ud559\uc790\ub4e4\uc774 \uc815\ub9ac\ub97c \uc99d\uba85\ud558\uace0, \uc218\ud559\uc801 \uad6c\uc870\ub97c \ubd84\uc11d\ud558\uace0, \uc218\ud559\uc758 \uc0c8\ub85c\uc6b4 \uc601\uc5ed\uc744 \ud0d0\uad6c\ud558\ub294 \ub370 \ub3c4\uc6c0\uc744 \uc90d\ub2c8\ub2e4.<\/p>\n<\/li>\n<li>\n<p><strong>\ubb3c\ub9ac\ud559 \ubc0f \uacf5\ud559<\/strong>: \uae30\ud638 \uacc4\uc0b0\uc740 \uacf5\ud559 \ubd84\uc57c\uc5d0\uc11c \ubcf5\uc7a1\ud55c \ubb3c\ub9ac \ubc29\uc815\uc2dd\uc744 \ud480\uace0, \uc2dc\uc2a4\ud15c\uc744 \uc2dc\ubbac\ub808\uc774\uc158\ud558\uace0, \uc218\ud559\uc801 \ubaa8\ub378\ub9c1\uc744 \uc218\ud589\ud558\ub294 \ub370 \ub3c4\uc6c0\uc774 \ub429\ub2c8\ub2e4.<\/p>\n<\/li>\n<li>\n<p><strong>\uad50\uc721<\/strong>: \uae30\ud638 \uacc4\uc0b0\uc740 \ub2e8\uacc4\ubcc4 \uc194\ub8e8\uc158\uc744 \ubcf4\uc5ec\uc8fc\uace0 \ucd94\uc0c1\uc801 \uac1c\ub150\uc744 \uc2dc\uac01\ud654\ud560 \uc218 \uc788\uc73c\ubbc0\ub85c \uc218\ud559 \uad50\uc721\uc744 \uc704\ud55c \uadc0\uc911\ud55c \uad50\uc721 \ub3c4\uad6c\uc785\ub2c8\ub2e4.<\/p>\n<\/li>\n<li>\n<p><strong>\uc790\ub3d9\ud654\ub41c \ucd94\ub860<\/strong>: \uae30\ud638\uacc4\uc0b0\uc740 \uc778\uacf5\uc9c0\ub2a5 \uc5f0\uad6c\uc5d0\uc11c \uc790\ub3d9\ud654\ub41c \ucd94\ub860, \ub17c\ub9ac\uc801 \ucd94\ub860, \uc9c0\uc2dd \ud45c\ud604\uc744 \uc704\ud574 \ud65c\uc6a9\ub429\ub2c8\ub2e4.<\/p>\n<\/li>\n<li>\n<p><strong>\uc554\ud638\ubd84\uc11d<\/strong>: \uae30\ud638 \uacc4\uc0b0\uc740 \uc554\ud638\ud654 \uc2dc\uc2a4\ud15c\uc758 \ucde8\uc57d\uc810\uc744 \ud0d0\uc0c9\ud558\uace0 \uc57d\uc810\uc744 \ucc3e\uc544 \uc554\ud638\ud654 \uacf5\uaca9\uc5d0\uc11c \uc5ed\ud560\uc744 \ud569\ub2c8\ub2e4.<\/p>\n<\/li>\n<li>\n<p><strong>\uc81c\uc5b4 \uc774\ub860<\/strong>: \uc81c\uc5b4 \uc2dc\uc2a4\ud15c \uc5d4\uc9c0\ub2c8\uc5b4\ub9c1\uc5d0\uc11c \uae30\ud638 \uacc4\uc0b0\uc740 \ub3d9\uc801 \uc2dc\uc2a4\ud15c\uc758 \uc548\uc815\uc131, \uc81c\uc5b4 \uac00\ub2a5\uc131 \ubc0f \uad00\ucc30 \uac00\ub2a5\uc131\uc744 \ubd84\uc11d\ud558\ub294 \ub370 \ub3c4\uc6c0\uc774 \ub429\ub2c8\ub2e4.<\/p>\n<\/li>\n<li>\n<p><strong>\ucef4\ud4e8\ud130 \uc9c0\uc6d0 \uc124\uacc4<\/strong>: \uae30\ud638 \uacc4\uc0b0\uc740 CAD(\ucef4\ud4e8\ud130 \uc9c0\uc6d0 \uc124\uacc4) \uc18c\ud504\ud2b8\uc6e8\uc5b4\uc5d0\uc11c \uae30\ud558\ud559\uc801 \ubaa8\ub378\ub9c1\uacfc \ud30c\ub77c\uba54\ud2b8\ub9ad \uc124\uacc4\ub97c \uc6a9\uc774\ud558\uac8c \ud569\ub2c8\ub2e4.<\/p>\n<\/li>\n<\/ol>\n<p><strong>\uc77c\ubc18\uc801\uc778 \uacfc\uc81c \ubc0f \uc194\ub8e8\uc158:<\/strong><\/p>\n<ol>\n<li>\n<p><strong>\ud45c\ud604 \ubcf5\uc7a1\uc131<\/strong>: \ub9e4\uc6b0 \ud06c\uac70\ub098 \ubcf5\uc7a1\ud55c \ud45c\ud604\uc2dd\uc744 \ucc98\ub9ac\ud558\uba74 \uc131\ub2a5 \ubb38\uc81c\uac00 \ubc1c\uc0dd\ud560 \uc218 \uc788\uc2b5\ub2c8\ub2e4. \ucd5c\uc801\ud654\ub41c \uc54c\uace0\ub9ac\uc998\uacfc \ubcd1\ub82c \ucef4\ud4e8\ud305\uc744 \uc0ac\uc6a9\ud558\uba74 \uc774\ub7ec\ud55c \ubb38\uc81c\ub97c \uc644\ud654\ud560 \uc218 \uc788\uc2b5\ub2c8\ub2e4.<\/p>\n<\/li>\n<li>\n<p><strong>\uc218\uce58\uc801 \ubd88\uc548\uc815\uc131<\/strong>: \uae30\ud638 \uacc4\uc0b0\uc5d0\uc11c\ub294 \ud2b9\uc774\uc810\uc774\ub098 \uc815\uc758\ub418\uc9c0 \uc54a\uc740 \uc810\uc774 \uc788\ub294 \ud568\uc218\ub97c \ucc98\ub9ac\ud560 \ub54c \uc218\uce58\uc801 \ubd88\uc548\uc815\uc131\uc774 \ubc1c\uc0dd\ud560 \uc218 \uc788\uc2b5\ub2c8\ub2e4. \ud2b9\uc815 \uc0ac\ub840\uc5d0 \ub300\ud55c \uc218\uce58\uc801 \ubc29\ubc95\uc744 \ud1b5\ud569\ud558\uba74 \uc774\ub7ec\ud55c \ubb38\uc81c\ub97c \ud574\uacb0\ud560 \uc218 \uc788\uc2b5\ub2c8\ub2e4.<\/p>\n<\/li>\n<li>\n<p><strong>\uc815\ud655\ud55c \uc194\ub8e8\uc158\uc758 \ud55c\uacc4<\/strong>: \uc77c\ubd80 \ubb38\uc81c\uc5d0\ub294 \ud3d0\uc1c4\ud615 \uae30\ud638 \uc194\ub8e8\uc158\uc774 \uc5c6\uc2b5\ub2c8\ub2e4. \uc774\ub7ec\ud55c \uacbd\uc6b0 \uc218\uce58 \uadfc\uc0ac\ubc95\uc774\ub098 \ud558\uc774\ube0c\ub9ac\ub4dc \uae30\ud638-\uc218\uce58\ubc95\uc744 \uc0ac\uc6a9\ud560 \uc218 \uc788\uc2b5\ub2c8\ub2e4.<\/p>\n<\/li>\n<li>\n<p><strong>\uc0c1\uc9d5\uc801 \ub2e8\uc21c\ud654<\/strong>: \ud6a8\uc728\uc801\uc774\uace0 \uc62c\ubc14\ub978 \ud45c\ud604 \ub2e8\uc21c\ud654\ub97c \ubcf4\uc7a5\ud558\ub824\uba74 \ub2e8\uc21c\ud654 \uc54c\uace0\ub9ac\uc998\uc758 \uc9c0\uc18d\uc801\uc778 \uac1c\uc120\uacfc \ucd5c\uc801\ud654\uac00 \ud544\uc694\ud569\ub2c8\ub2e4.<\/p>\n<\/li>\n<\/ol>\n<h2>\uc8fc\uc694 \ud2b9\uc9d5 \ubc0f \uae30\ud0c0 \uc720\uc0ac\ud55c \uc6a9\uc5b4\uc640\uc758 \ube44\uad50\ub97c \ud45c\uc640 \ubaa9\ub85d \ud615\ud0dc\ub85c \uc81c\uacf5<\/h2>\n<table>\n<thead>\n<tr>\n<th>\uae30\ud638 \uacc4\uc0b0\uacfc \uc218\uce58 \uacc4\uc0b0<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td>\uae30\ud638 \uacc4\uc0b0<\/td>\n<\/tr>\n<tr>\n<td>\uc815\ud655\ud55c \uc194\ub8e8\uc158<\/td>\n<\/tr>\n<tr>\n<td>\uae30\ud638\uc640 \ud45c\ud604\uc2dd\uc744 \uc9c1\uc811 \uc870\uc791\ud569\ub2c8\ub2e4.<\/td>\n<\/tr>\n<tr>\n<td>\ub300\uc218\uc801, \ub17c\ub9ac\uc801 \ucd94\ub860\uc744 \uac00\ub2a5\ud558\uac8c \ud569\ub2c8\ub2e4.<\/td>\n<\/tr>\n<tr>\n<td>\ubc29\uc815\uc2dd\uc744 \uae30\ud638\uc801\uc73c\ub85c \ud478\ub294 \ub370 \uc720\uc6a9\ud569\ub2c8\ub2e4.<\/td>\n<\/tr>\n<tr>\n<td>\uc774\ub860 \ubc0f \ubd84\uc11d \uc870\uc0ac\uc5d0 \uc801\ud569<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<table>\n<thead>\n<tr>\n<th>\uae30\ud638 \uacc4\uc0b0\uacfc \ud615\uc2dd \uac80\uc99d<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td>\uae30\ud638 \uacc4\uc0b0<\/td>\n<\/tr>\n<tr>\n<td>\uc218\ud559\uc801 \ud45c\ud604\uacfc \ubc29\uc815\uc2dd\uc5d0 \uc911\uc810\uc744 \ub461\ub2c8\ub2e4.<\/td>\n<\/tr>\n<tr>\n<td>\ub2e8\uc21c\ud654 \ubc0f \ubcc0\ud658\uc744 \uc704\ud574 \uc54c\uace0\ub9ac\uc998\uc744 \ud65c\uc6a9\ud569\ub2c8\ub2e4.<\/td>\n<\/tr>\n<tr>\n<td>\uc218\ud559, \ubb3c\ub9ac\ud559, \uacf5\ud559\uc5d0 \uc801\uc6a9<\/td>\n<\/tr>\n<tr>\n<td>\uc218\ud559\uc801 \uc815\ub9ac\ub97c \uc99d\uba85\ud558\uace0 \ud45c\ud604\uc2dd\uc744 \uc870\uc791\ud569\ub2c8\ub2e4.<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h2>\uae30\ud638\uc5f0\uc0b0\uacfc \uad00\ub828\ub41c \ubbf8\ub798\uc758 \uad00\uc810\uacfc \uae30\uc220<\/h2>\n<p>\uae30\ud638 \uacc4\uc0b0\uc758 \ubbf8\ub798\ub294 \uc5ec\ub7ec \uac00\uc9c0 \uc0c8\ub85c\uc6b4 \uae30\uc220\uacfc \uac1c\ubc1c\uc744 \ud615\uc131\ud558\ub294 \uad00\uc810\uc73c\ub85c \uc778\ud574 \uc720\ub9dd\ud569\ub2c8\ub2e4.<\/p>\n<ol>\n<li>\n<p><strong>\uc591\uc790 \uae30\ud638 \uacc4\uc0b0<\/strong>: \uc591\uc790 \ucef4\ud4e8\ud305\uacfc \uae30\ud638 \uacc4\uc0b0\uc758 \ud1b5\ud569\uc740 \uc554\ud638\ud654 \ubc0f \ucd5c\uc801\ud654\uc640 \uac19\uc740 \ubd84\uc57c\uc5d0 \ud601\uba85\uc744 \uc77c\uc73c\ucf1c \uae30\uc874 \uc2dc\uc2a4\ud15c\uc5d0 \ube44\ud574 \uae30\ud558\uae09\uc218\uc801\uc778 \uc18d\ub3c4 \ud5a5\uc0c1\uc744 \uc81c\uacf5\ud560 \uc218 \uc788\uc2b5\ub2c8\ub2e4.<\/p>\n<\/li>\n<li>\n<p><strong>\uae30\uacc4 \ud559\uc2b5 \ud1b5\ud569<\/strong>: \uae30\uacc4 \ud559\uc2b5 \uae30\uc220\uc740 \ub2e8\uc21c\ud654 \uc54c\uace0\ub9ac\uc998, \uc790\ub3d9\ud654\ub41c \ucd94\ub860 \ubc0f \ud328\ud134 \uc778\uc2dd\uc744 \uac1c\uc120\ud558\uc5ec \uae30\ud638 \uacc4\uc0b0 \uc2dc\uc2a4\ud15c\uc744 \ud5a5\uc0c1\uc2dc\ud0ac \uc218 \uc788\uc2b5\ub2c8\ub2e4.<\/p>\n<\/li>\n<li>\n<p><strong>\uace0\uc131\ub2a5 \ucef4\ud4e8\ud305<\/strong>: \uace0\uc131\ub2a5 \ucef4\ud4e8\ud305\uc758 \ubc1c\uc804\uc73c\ub85c \ubcf4\ub2e4 \ube60\ub974\uace0 \ud6a8\uc728\uc801\uc778 \uae30\ud638 \uacc4\uc0b0\uc774 \uac00\ub2a5\ud574 \uc2e4\uc2dc\uac04 \uc2dc\ubbac\ub808\uc774\uc158\uacfc \ubcf5\uc7a1\ud55c \ubd84\uc11d\uc774 \uac00\ub2a5\ud574\uc9d1\ub2c8\ub2e4.<\/p>\n<\/li>\n<li>\n<p><strong>\ud559\uc81c\uac04 \uc751\uc6a9<\/strong>: \uae30\ud638\uacc4\uc0b0\uc740 \uacc4\uc18d\ud574\uc11c \uc804\uc0b0\uc0dd\ubb3c\ud559, \uc0ac\ud68c\uacfc\ud559, \uae08\uc735 \ub4f1 \ud559\uc81c\uac04 \ubd84\uc57c\uc5d0\uc11c \uc751\uc6a9\ub420 \uac83\uc785\ub2c8\ub2e4.<\/p>\n<\/li>\n<li>\n<p><strong>\ud558\uc774\ube0c\ub9ac\ub4dc \uae30\ud638-\uc22b\uc790 \uc811\uadfc\ubc95<\/strong>: \uae30\ud638 \ubc0f \uc218\uce58 \uae30\ubc95\uc744 \uacb0\ud569\ud55c \ubcf4\ub2e4 \ud6a8\uacfc\uc801\uc778 \ud558\uc774\ube0c\ub9ac\ub4dc \ubc29\ubc95\uc758 \uac1c\ubc1c\uc740 \uac01 \uc811\uadfc\ubc95\uc758 \ud55c\uacc4\ub97c \ud574\uacb0\ud558\uace0 \ubcf4\ub2e4 \uac15\ub825\ud55c \uc194\ub8e8\uc158\uc744 \uc81c\uacf5\ud560 \uac83\uc785\ub2c8\ub2e4.<\/p>\n<\/li>\n<\/ol>\n<h2>\ud504\ub85d\uc2dc \uc11c\ubc84\ub97c \uae30\ud638 \uacc4\uc0b0\uacfc \uc0ac\uc6a9\ud558\uac70\ub098 \uc5f0\uacb0\ud558\ub294 \ubc29\ubc95<\/h2>\n<p>\ud504\ub85d\uc2dc \uc11c\ubc84\ub294 \uae30\ud638 \uacc4\uc0b0 \uc2dc\uc2a4\ud15c\uc758 \uc131\ub2a5\uacfc \ubcf4\uc548\uc744 \ud5a5\uc0c1\uc2dc\ud0a4\ub294 \ub370 \uc911\uc694\ud55c \uc5ed\ud560\uc744 \ud569\ub2c8\ub2e4.<\/p>\n<ol>\n<li>\n<p><strong>\uc131\ub2a5 \ucd5c\uc801\ud654<\/strong>: \ud504\ub85d\uc2dc \uc11c\ubc84\ub294 \uc790\uc8fc \uc0ac\uc6a9\ub418\ub294 \ud45c\ud604\uc2dd\uacfc \uc751\ub2f5\uc744 \uce90\uc2dc\ud558\uc5ec \uae30\ud638 \uacc4\uc0b0 \uc5d4\uc9c4\uc758 \uacc4\uc0b0 \ubd80\ud558\ub97c \uc904\uc77c \uc218 \uc788\uc2b5\ub2c8\ub2e4.<\/p>\n<\/li>\n<li>\n<p><strong>\ub300\uc5ed\ud3ed \uad00\ub9ac<\/strong>: \ud504\ub85d\uc2dc \uc11c\ubc84\ub294 \ud074\ub77c\uc774\uc5b8\ud2b8\uc640 \uc11c\ubc84 \uac04\uc758 \uc911\uac1c\uc790 \uc5ed\ud560\uc744 \ud568\uc73c\ub85c\uc368 \uae30\ud638 \uacc4\uc0b0 \uc791\uc5c5 \uc911, \ud2b9\ud788 \uc6d0\uaca9 \uacc4\uc0b0 \ub9ac\uc18c\uc2a4\uc640 \uc0c1\ud638 \uc791\uc6a9\ud560 \ub54c \ub300\uc5ed\ud3ed \uc0ac\uc6a9\uc744 \ucd5c\uc801\ud654\ud560 \uc218 \uc788\uc2b5\ub2c8\ub2e4.<\/p>\n<\/li>\n<li>\n<p><strong>\ub85c\ub4dc \ubc38\ub7f0\uc2f1<\/strong>: \ud504\ub85d\uc2dc \uc11c\ubc84\ub294 \ub4e4\uc5b4\uc624\ub294 \uacc4\uc0b0 \uc694\uccad\uc744 \uc5ec\ub7ec \uc11c\ubc84\uc5d0 \ubd84\uc0b0\ud558\uc5ec \ud6a8\uc728\uc801\uc778 \ub9ac\uc18c\uc2a4 \ud65c\uc6a9\uacfc \ud5a5\uc0c1\ub41c \uc751\ub2f5\uc131\uc744 \ubcf4\uc7a5\ud560 \uc218 \uc788\uc2b5\ub2c8\ub2e4.<\/p>\n<\/li>\n<li>\n<p><strong>\ubcf4\uc548 \ubc0f \uc775\uba85\uc131<\/strong>: \ud504\ub85d\uc2dc \uc11c\ubc84\ub294 \ucd94\uac00 \ubcf4\uc548 \uacc4\uce35\uc744 \uc81c\uacf5\ud558\uc5ec \uae30\ud638 \uacc4\uc0b0 \uc791\uc5c5\uacfc \uad00\ub828\ub41c \uc0ac\uc6a9\uc790\uc758 \uc2e0\uc6d0\uacfc \ub370\uc774\ud130\ub97c \ubcf4\ud638\ud569\ub2c8\ub2e4.<\/p>\n<\/li>\n<li>\n<p><strong>\uc561\uc138\uc2a4 \uc81c\uc5b4<\/strong>: \ud504\ub85d\uc2dc \uc11c\ubc84\ub294 \uc0ac\uc6a9\uc790 \uc778\uc99d\uc744 \uae30\ubc18\uc73c\ub85c \uae30\ud638 \uacc4\uc0b0 \ub9ac\uc18c\uc2a4\uc5d0 \ub300\ud55c \uc561\uc138\uc2a4\ub97c \uc81c\uc5b4\ud558\uc5ec \uadc0\uc911\ud55c \uacc4\uc0b0 \uc790\uc0b0\uc758 \ubb34\ub2e8 \uc0ac\uc6a9\uc744 \ubc29\uc9c0\ud560 \uc218 \uc788\uc2b5\ub2c8\ub2e4.<\/p>\n<\/li>\n<\/ol>\n<h2>\uad00\ub828\ub41c \ub9c1\ud06c\ub4e4<\/h2>\n<p>\uae30\ud638 \uacc4\uc0b0\uc5d0 \ub300\ud55c \uc790\uc138\ud55c \ub0b4\uc6a9\uc744 \ubcf4\ub824\uba74 \ub2e4\uc74c \ub9ac\uc18c\uc2a4\ub97c \uc0b4\ud3b4\ubcf4\uc138\uc694.<\/p>\n<ol>\n<li><a href=\"https:\/\/mathworld.wolfram.com\/SymbolicComputation.html\" target=\"_new\" rel=\"noopener nofollow\">Wolfram MathWorld \u2013 \uae30\ud638 \uacc4\uc0b0<\/a><\/li>\n<li><a href=\"https:\/\/www.sympy.org\/\" target=\"_new\" rel=\"noopener nofollow\">SymPy \ubb38\uc11c<\/a><\/li>\n<li><a href=\"https:\/\/isabelle.in.tum.de\/\" target=\"_new\" rel=\"noopener nofollow\">\uc774\uc0ac\ubca8\uc758 \uc815\ub9ac \uc99d\uba85<\/a><\/li>\n<li><a href=\"https:\/\/www.cambridge.org\/9780521837219\" target=\"_new\" rel=\"noopener nofollow\">\ucef4\ud4e8\ud130 \ub300\uc218\ud559 \uc2dc\uc2a4\ud15c: \uc2e4\uc6a9 \uac00\uc774\ub4dc<\/a><\/li>\n<li><a href=\"https:\/\/www.springer.com\/gp\/book\/9781441917221\" target=\"_new\" rel=\"noopener nofollow\">Michael J. Dinneen\uc758 \uae30\ud638 \uacc4\uc0b0 \uc18c\uac1c<\/a><\/li>\n<\/ol>\n<p>\uae30\ud638 \uacc4\uc0b0\uc740 \uacc4\uc18d\ud574\uc11c \ubc1c\uc804\ud558\uace0 \ubcf5\uc7a1\ud55c \uc218\ud559\uc801 \ubb38\uc81c\uc5d0 \uc811\uadfc\ud558\ub294 \ubc29\uc2dd\uc744 \ud615\uc131\ud569\ub2c8\ub2e4. \uc0c1\uc9d5\uc801\uc73c\ub85c \ucd94\ub860\ud558\uace0 \uc815\ud655\ud55c \uc194\ub8e8\uc158\uc744 \uc81c\uacf5\ud558\ub294 \ub2a5\ub825\uc744 \ud1b5\ud574 \uc5f0\uad6c\uc6d0, \uc5d4\uc9c0\ub2c8\uc5b4 \ubc0f \uad50\uc721\uc790\ub294 \uacfc\ud559 \ubc0f \uae30\uc220\uc758 \uc0c8\ub85c\uc6b4 \uc601\uc5ed\uc744 \ud0d0\uc0c9\ud558\uc5ec \ud601\uc2e0\uc801\uc778 \ub3cc\ud30c\uad6c\uc640 \ubc1c\uc804\uc744 \uc774\ub8f0 \uc218 \uc788\uc2b5\ub2c8\ub2e4. \uae30\uc220\uc774 \ubc1c\uc804\ud568\uc5d0 \ub530\ub77c \uc591\uc790 \ucef4\ud4e8\ud305 \ubc0f \uae30\uacc4 \ud559\uc2b5\uacfc \uac19\uc740 \uc2e0\ud765 \ubd84\uc57c\uc640 \uae30\ud638 \uacc4\uc0b0\uc758 \uc735\ud569\uc740 \ud765\ubbf8\ub85c\uc6b4 \ubbf8\ub798\ub97c \uc57d\uc18d\ud558\uba70 \uc9c0\uc2dd\uacfc \ubc1c\uacac\uc758 \uc0c8\ub85c\uc6b4 \uc601\uc5ed\uc744 \uc5f4\uc5b4\uc90d\ub2c8\ub2e4.<\/p>","protected":false},"featured_media":470631,"menu_order":0,"template":"","meta":{"_acf_changed":false,"content-type":"","inline_featured_image":false,"footnotes":""},"class_list":["post-479217","wiki","type-wiki","status-publish","has-post-thumbnail","hentry"],"acf":{"faq_title":"Frequently Asked Questions about <mark>Symbolic Computation: Unleashing the Power of Mathematics<\/mark>","faq_items":[{"question":"What is Symbolic computation?","answer":"<p>Symbolic computation, also known as computer algebra, is a branch of computer science and mathematics that deals with manipulating mathematical expressions and symbols instead of numerical values. It enables computers to perform complex algebraic computations and mathematical operations symbolically, providing exact solutions.<\/p>"},{"question":"How did Symbolic computation originate?","answer":"<p>The roots of Symbolic computation can be traced back to the early 19th century, but it gained significant attention with the development of digital computers in the mid-20th century. One of the first notable mentions was the \"General Problem Solver\" (GPS) in 1960, which laid the foundation for further advancements in the field.<\/p>"},{"question":"What are the key features of Symbolic computation?","answer":"<p>Symbolic computation offers exact results, flexible handling of mathematical expressions, algorithmic manipulation, and the ability to perform logical reasoning and generalization. It is suitable for various applications, including mathematical research, physics, engineering, education, and automated reasoning.<\/p>"},{"question":"What types of Symbolic computation exist?","answer":"<p>Symbolic computation comes in various forms, including Computer Algebra Systems (CAS) like Mathematica and Maple, Symbolic Manipulation Libraries like SymPy for Python, Computer Theorem Provers, and Numerical Symbolic Hybrid Systems.<\/p>"},{"question":"How is Symbolic computation used, and what challenges does it face?","answer":"<p>Symbolic computation finds applications in mathematical research, physics simulations, education, artificial intelligence, and more. Challenges include handling expression complexity, numerical instabilities, limitations of exact solutions, and efficient simplification.<\/p>"},{"question":"How does Symbolic computation compare to Numerical Computation and Formal Verification?","answer":"<p>Symbolic computation deals with expressions and provides exact solutions, while numerical computation deals with numerical values and approximations. On the other hand, formal verification focuses on logical propositions and formal proofs.<\/p>"},{"question":"What is the future of Symbolic computation?","answer":"<p>The future of Symbolic computation looks promising with the integration of quantum computing, machine learning, and high-performance computing. It will continue to find applications in interdisciplinary fields and benefit from the development of hybrid symbolic-numeric approaches.<\/p>"},{"question":"How are proxy servers associated with Symbolic computation?","answer":"<p>Proxy servers optimize performance, manage bandwidth, and enhance security for Symbolic computation systems. They facilitate load balancing, access control, and provide an additional layer of anonymity during computational tasks.<\/p>"},{"question":"Where can I find more information about Symbolic computation?","answer":"<p>For more in-depth insights into Symbolic computation, check out the links provided in the \"Related links\" section, which include valuable resources, documentation, and books on the topic. Dive into the world of precise mathematics with OneProxy and explore the endless possibilities of Symbolic computation.<\/p>"}]},"_links":{"self":[{"href":"https:\/\/oneproxy.pro\/kr\/wp-json\/wp\/v2\/wiki\/479217","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/oneproxy.pro\/kr\/wp-json\/wp\/v2\/wiki"}],"about":[{"href":"https:\/\/oneproxy.pro\/kr\/wp-json\/wp\/v2\/types\/wiki"}],"version-history":[{"count":0,"href":"https:\/\/oneproxy.pro\/kr\/wp-json\/wp\/v2\/wiki\/479217\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/oneproxy.pro\/kr\/wp-json\/wp\/v2\/media\/470631"}],"wp:attachment":[{"href":"https:\/\/oneproxy.pro\/kr\/wp-json\/wp\/v2\/media?parent=479217"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}