14 K. Verchinine, A. Degtyarev, A. Lyaletski, A. Paskevich. SAD, a System for Automated Deduction: a Current State // Proceedings of the Workshop on 35 Years of Automating Mathematics. – Edinburgh, Great Britain. – 2002. – 12p.
15 Z. Aselderov, K. Verchinine, A. Degtyarev, A. Lyaletski, A. Paskevich, A.Pavlov. Linguistic Tools and Deductive Technique of the System for Automated Deduction // Proceedings of the 3rd International Workshop on the Implementation of Logics. – Tbilisi, Georgia. – 2002. – P. 21-24.
16 Асельдеров З.М., Особенности обработки математических текстов в Системе Автоматизированной Дедукции (САД)/ З.М. Асельдеров, К.П. Вершинин, А.И. Дегтярев, А.И. Лялецкий, А.Ю. Паскевич// Искусственный Интеллект. – 2002. – Т. 4 (труды Третьей Международной Конференции «Искусственный Интеллект»). – С. 164-171.
17 Фролова И.Т., Философский словарь/И.Т. Фролова,— М. Политиздат, 1991. —371с.
18 Кондаков Н.И., Логический словарь справочник/Н.И. Кондаков,— М. Наука, 1975. 486с.
19 Ярцева В.Н., Лингвистический энциклопедический словарь/В.Н. Ярцева,— М. Советская энциклопедия, 1995. 576с.
20 Львов М.Р., Словарь антонимов русского языка/М.Р. Львов,— М. Рус.язык, 1984. – 896с.
21 Гегель Г.Ф.К., Наука о логике/ Г.Ф.К. Гегель,— М. Наука, 1971.-Т.2, 642с.
22 Булаховский Л.А. Введение в языкознание/Л.А. Булаховский,—М. Политиздат, 1953.-Ч.2, 458с.
23 Миллер Е.Н. Межчастеречная антонимия // Филологические науки. 1981, №7.
24 Иванова В.А., Антонимия в системе языка/В.А. Иванова,— Кишинев, 1982.
25 Новикова Л. А. Семантика русского языка/Л.А. Новикова,— М.,1982.
26 Комиссаров В.Н. Словарь антонимов современного английского языка/ В.Н. Комиссаров,— М. Изд – во “Международные отношения”, 1964. —538с.
27 Арнольд И.В., Стилистика. Современный английский язык: Учебник для вузов. – 5-е изд., испр. и доп./И.В. Арнольд, – М.: Флинта: Наука, 2002.
28 Новикова Л.А. Антонимия в русском языке: семантический анализ противоположностей в лексике/Л.А. Новиков,– М., 1973.
29 Шубина О.И. Условия актуализации антонимических отношений.// Систематические взаимодействия языковых единиц. Л., 1985. –324с.
30 Мантуров О.В., Толковый словарь математических терминов: пособие для учителей/ О.В. Мантуров. – М.: Просвещение, 1965. – 539с.
31 Александров П.С., Англо-русский и русско-английский словари математических терминов/ под ред. П.С. Александрова — М.: Мир, 1994. — 414с.
32 Глушко М.М., Учебный словарь-минимум для студентов-математиков/ англо-русский словарь./ М.М. Глушко – М.: МГУ, 1976.– 151с.
33 Клековская И.Ф., Поурочный французко-русский словарь по математике: учеб. Пособие/И.Ф. Клековская, А.С. Захарова,– М.: МГПИ, 1972.–33с.
34 Тер-Микасянц З.Т., Частотный словарь математической лексики/ на базе русского языка/З.Т. Тер-Микасянц – Ереван. гос. ун-т, 1973.–68с.
35 Мансуров М.П., Математический частотный словарь немецкого языка/ М.П. Мансуров – Свердловск. гос. пед. ин-т, 1971.–55с.
36 Гальперин И.Р., Очерки по стилистике английского языка/ И.Р. Гальперин.— М. Издательство литературы на иностранных языках, 1958.—448с.
37 Сосинский А.Б., Как написать математическую статью по-английски/ Сосинский А.Б. — М.: Факториал-пресс, 2000. — 112с.
38 Webster's Third New International Dictionary, Webster 3. 1961.
39 Арнольд И. В. Стилистика: Современный английский язык. М., 2002.
40 Глушко М.М., Функциональный стиль общественного языка и методы его исследования/М.М. Глушко — М., 1974. –252с.
41 Реформатский А.А. Введение в языкознание/ А.А. Реформатский — М., 1955.— 300с.
42 Гореликова С.Н. Природа термина и некоторые особенности терминообразования в английском языке // Вестник ОГУ. 2002. №6. С. 42–55.
43 Wiener N. Cybernetics of Control and Communication in the Animal and the Machine. N. Y. – Ldn., 1961—346p.
44 A. J. Lohwater's Russian-English Dictionary of the Mathematical Sciences. – Second Edition, Revised and Expanded. Edited by R. P. Boas. – American Mathematical Society. Providence, Rhode Island.
45 Th. H. Sidebotham, The A to Z of Mathematics. A Basic Guide., New Zeland, Wiley-Interscience, 2002. – 483 pp.
46 Encyclopedic Dictionary of Mathematics, ed. Kiyosi Ito, Vol. 1, The MIT Press, Cambridge, 1993. – 2171pp.
47 Encyclopedic Dictionary of Mathematics, ed. Kiyosi Ito, Vol. 2, The MIT Press, Cambridge, 1993. – 2171pp.
48 Большой энциклопедический словарь. – М.: Большая российская энциклопедия, 1998.
49 Кушнир А., Математическая энциклопедия. — М.: ООО «Астарта»,
50 Математика в понятиях, определениях и терминах Ч.1./ Под ред. Сабинина Л.В.. - М.: Просвещение, 1978.
51 Математика в понятиях, определениях и терминах Ч.2./ Под ред. Сабинина Л.В.. - М.: Просвещение, 1982.
52 Математический энциклопедический словарь / Прохоров Ю.В. – М.,1988.
53 Математическая энциклопедия /Виноградов И.М., т.5 - М.: Советская энциклопедия, 1985.