ИСТИНА

Панфёров Антон Александрович пользователь

МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра алгоритмических языков, специалист, с 1 сентября 2010, по совместительству

Соавторы: Бордаченкова Е.А., Буздалов Д.В., Корныхин Е.В., Петренко А.К., Хорошилов А.В.

12 статей, 2 книги, 10 докладов на конференциях, 7 тезисов докладов, 3 НИР, 1 диссертация, 8 учебных курсов

Количество цитирований статей в журналах по данным Web of Science: 9, Scopus: 13

IstinaResearcherID (IRID): 8278114

Деятельность

• Статьи в журналах

  • 
    • 2021 Construction of Partial Laurent Solutions to Truncated Differential Systems
    • Panferov A.A.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 47, № 1, с. 34-42 DOI
  • • 2021 Построение частичных лорановых решений усеченных дифференциальных систем
    • Панфёров А.А.
    • в журнале Программирование, № 1, с. 45-55 DOI
  • 
    • 2018 Satellite Unknowns in Irreducible Differential Systems
    • Panferov A.A.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 42, № 2, с. 84-89 DOI
  • • 2018 Сателлитные неизвестные в неприводимых дифференциальных системах
    • Панфёров А.А.
    • в журнале Программирование, № 2, с. 42-50
  • 
    • 2017 Partial algorithms for satellite unknowns determination
    • Panferov A.A.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 43, № 2, с. 119-125 DOI
  • 
    • 2017 Selected and satellite unknowns in linear differential systems
    • Panferov A.A.
    • в журнале Advances in Applied Mathematics, издательство Academic Press (United States), том 85, с. 1-11 DOI
  • • 2017 Частичные алгоритмы определения сателлитных неизвестных
    • Панфёров А.А.
    • в журнале Программирование, № 2, с. 72-80
  • 
    • 2016 Partitions of the set of selected unknowns in linear differential-algebraic systems
    • Panferov A.A.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 42, № 2, с. 84-89 DOI
  • • 2016 О разбиениях множества выделенных неизвестных в линейных дифференциально-алгебраических системах
    • Панфёров А.А.
    • в журнале Программирование, № 2, с. 41-48
  • 
    • 2015 Differential equation systems with selected part of the unknowns
    • Panferov A.A.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 41, № 2, с. 90-97 DOI
  • • 2015 Системы дифференциальных уравнений с выделенной частью неизвестных
    • Панферов A.A.
    • в журнале Программирование, № 2, с. 26-36

• Статьи в сборниках

  • 
    • 2018 Linearly Satellite Unknowns in Linear Differential Systems
    • Panferov Anton A.
    • в сборнике Advances in Computer Algebra, место издания Springer International Publishing, том 226, с. 215-227 DOI

• Книги

  • • 2016 Задания практикума. 1 курс
    • Бордаченкова Е.А., Панфёров А.А.
    • место издания МАКС Пресс Москва, ISBN 978-5-89407-558-7, 48 с.
  • • 2014 Практикум по дедуктивной верификации программ
    • Буздалов Д.В., Корныхин Е.В., Панфёров А.А., Петренко А.К., Хорошилов А.В.
    • место издания Издательский отдел факультета ВМК МГУ имени М.В. Ломоносова, МАКС Пресс, ISBN 978-5-89407-531-0, 100 с.

• Доклады на конференциях

  • • 2018 Линейно сателлитные неизвестные в задаче частичной устойчивости линейных автономных дифференциальных систем (Устный)
    • Автор: Панфёров А.А.
    • Ломоносовские чтения-2018, секция "Вычислительная математика и кибернетика", МГУ имени М.В. Ломоносова, Россия, 16-27 апреля 2018
  • • 2017 Неприводимые дифференциальные системы и сателлитные неизвестные (Устный)
    • Автор: Панфёров А.А.
    • 2nd International Conference "Computer Algebra", Москва, Россия, 30 октября - 3 ноября 2017
  • • 2017 Символьный алгоритм распознавания сателлитных неизвестных в линейных дифференциальных уравнениях с выделенными неизвестными (Устный)
    • Автор: Панферов А.А.
    • Ломоносовские чтения - 2017, МГУ имени М.В. Ломоносова, Россия, 17-26 апреля 2017
  • • 2017 Satellite components of solutions to linear differential systems with the selected unknowns (Устный)
    • Автор: Panferov A.A.
    • Functional Equations in LIMoges 2017, Лимож, Франция, 27-29 марта 2017
  • • 2016 Определение сателлитных неизвестных в линейных дифференциальных системах (Устный)
    • Автор: Панфёров А.А.
    • Computer Algebra, Москва, Россия, 29 июня - 2 июля 2016
  • • 2016 Выделенные и сателлитные неизвестные в линейных дифференциальных системах (Устный)
    • Автор: Панфёров А.А.
    • 19-е Международное рабочее совещание по компьютерной алгебре, г. Дубна, Россия, 24-25 мая 2016
  • • 2016 Linear differential-algebraic systems with selected unknowns (Устный)
    • Автор: Panferov A.A.
    • Functional Equations in Limoges, Лимож, Франция, 29-31 марта 2016
  • • 2015 Об одном алгоритме символьного преобразования линейных дифференциально-алгебраических систем (Устный)
    • Автор: Панфёров А.А.
    • Научная конференция "Актуальные вопросы программирования", посвящённая 90-летию Н.П.Трифонова, МГУ имени М.В.Ломоносова, факультет ВМК, Россия, 2 декабря 2015
  • • 2015 О соотношениях для выделенных неизвестных в линейных дифференциально-алгебраических системах (Устный)
    • Автор: Панфёров А.А.
    • 18-th workshop on computer algebra, Дубна, Россия, 26-27 мая 2015
  • • 2014 Системы дифференциальных уравнений первого порядка с выделенной частью неизвестных (Устный)
    • Автор: Панфёров А.А.
    • 17-е Международное рабочее совещание по компьютерной алгебре, Дубна, Россия, 21-22 мая 2014

• Тезисы докладов

  • • 2023 Рекурсивный алгоритм проверки сильной цикличности вектора
    • Бордаченкова Е.А., Панферов А.А., Абдрахманов А.Ф.
    • в сборнике Ломоносовские чтения-2023: научная конференция, факультет ВМК МГУ имени М.В.Ломоносова. Тезисы докладов, серия «Вычислительная математика и кибернетика», издательство ООО "МАКС Пресс" (Москва), тезисы, с. 17-18 DOI
  • • 2020 Сильно циклические векторы дифференциальных систем с полиномиальными коэффициентами
    • Панферов Антон Александрович
    • в сборнике Ломоносовские чтения-2020. Секция «Вычислительной математики и кибернетики», серия Секция Вычислительной математики и кибернетики, издательство Изд-во Моск. ун-та (М.), тезисы, с. 110-112
  • • 2018 Линейно сателлитные неизвестные в задаче частичной устойчивости линейных автономных дифференциальных систем
    • Панфёров А.А.
    • в сборнике Ломоносовские чтения 2018 ф-т ВМК МГУ, место издания Макс-Пресс, тезисы, с. 96-97
  • • 2017 Irreducible differential systems and satellite unknowns
    • Panferov A.A.
    • в сборнике Компьютерная алгебра. Материалы международной конференции. Москва, 30 октября -3 ноября 2017 г, издательство РЭУ им. Г. В. Плеханова (Москва), тезисы, с. 144-150
  • • 2017 Символьный алгоритм распознавания сателлитных неизвестных в линейных дифференциальных системах с выделенными неизвестными
    • Панфёров А.А.
    • в сборнике Ломоносовские чтения: Научная конференция, Москва, факультет ВМК МГУ имени М.В.Ломоносова, 17-26 апреля 2017 г. Тезисы докладов, место издания МАКС Пресс Москва, тезисы, с. 122-122
  • • 2016 On determination of satellite unknowns in linear differential systems
    • Panferov A.A.
    • в сборнике Компьютерная алгебра. Материалы международной конференции. Москва, 29 июня - 2 июля 2016, тезисы, с. 79-81
  • • 2008 Использование трансформации программ при проверке их правильности в обучающих системах
    • Панфёров А.А.
    • в сборнике Сборник тезисов лучших дипломных работ 2008 года, место издания МГУ, Изд. отдел ф-та ВМК Москва, тезисы, с. 93-94

• НИРы

  • • 1 января 2021 - 31 декабря 2025 Математическое и программное обеспечение перспективных систем обработки символьной информации с элементами искусственного интеллекта
    • Кафедра алгоритмических языков
    • Руководитель: Соловьев С.Ю. Ответственный исполнитель: Корухова Ю.С. Участники НИР: Абрамов В.Г., Абрамов С.А., Алибаева К.В., Арефьев Н.В., Баева Н.В., Большакова Е.И., Бордаченкова Е.А., Волкова И.А., Вылиток А.А., Головин И.Г., Горячая И.В., Грацианова Т.Ю., Груздева Н.В., Ефремова Н.Э., Кузина Л.Н., Леонов М.В., Мальковский М.Г., Матвеева Т.К., Панфёров А.А., Полякова И.Н., Ульянов М.В., Фастовец Н.Н.
  • • 1 января 2016 - 31 декабря 2020 Математическое и программное обеспечение перспективных систем обработки символьной информации
    • Кафедра алгоритмических языков
    • Руководитель: Мальковский М.Г. Ответственный исполнитель: Корухова Ю.С. Участники НИР: Абрамов В.Г., Абрамов С.А., Арефьев Н.В., Баева Н.В., Березин С.Б., Бикбулатов Т.Р., Большакова Е.И., Бордаченкова Е.А., Волкова И.А., Вылиток А.А., Головин И.Г., Горячая И.В., Грацианова Т.Ю., Груздева Н.В., Ефремова Н.Э., Иванов К.М., Казырид М.И., Кузина Л.Н., Кулева А.С., Матвеева Т.К., Мостяев А.И., Панфёров А.А., Парамонов С.В., Полякова И.Н., Соловьев С.Ю., Столяров А.В., Сутырин П.Г., Ульянов М.В., Фастовец Н.Н.
  • • 1 января 2011 - 31 декабря 2015 Алгебраические и лингвистические методы в теории и практике программирования
    • Кафедра алгоритмических языков
    • Руководитель: Мальковский М.Г. Участники НИР: Абрамов В.Г., Абрамов С.А., Алейников П.В., Алексеев А.А., Арефьев Н.В., Баева Н.В., Большакова Е.И., Бордаченкова Е.А., Булгаков И.А., Волкова И.А., Вылиток А.А., Головин И.Г., Горячая И.В., Грацианова Т.Ю., Груздева Н.В., Ефремова Н.Э., Клычков Д.М., Корухова Ю.С., Кудасов Н.Д., Кузина Л.Н., Матвеева Т.К., Миняйлов В.С., Моросанова Н.А., Мытрова М.В., Нокель М.А., Панфёров А.А., Парамонов С.В., Пильщиков В.Н., Полякова И.Н., Соловьев С.Ю., Столяров А.В., Сутырин П.Г., Фастовец Н.Н., Четверкин И.И.

• Диссертация

  • • 2018 Алгоритмы символьных вычислений в системах компьютерной алгебры для линейных дифференциальных систем с выделенными неизвестными
    • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
    • Автор: А.А. Панфёров, МГУ имени М.В. Ломоносова
    • Научный руководитель: Абрамов С.А., д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
    • Защищена в совете Д 002.087.01 при ИСП РАН
    • Организация, в которой выполнялась работа: Федеральный исследовательский центр «Информатика и управление» Российской академии наук
    • Ведущая организация: Федеральное государственное автономное образовательное учреждение высшего образования «Российский университет дружбы народов»
    • Оппоненты: Ильин Вячеслав Анатольевич, Гонцов Ренат Равилевич

• Авторство учебных курсов

  • • 2013 Практикум на ЭВМ (5 семестр ФИИТ)
    • Авторы: Баева Н.В., Панферов А.А.
  • • 2011 Практикум на ЭВМ (5 семестр бак)
    • Авторы: Баева Н.В., Панферов А.А.

• Преподавание учебных курсов

  • • с 7 февраля 2015 Практикум на ЭВМ (8 семестр)
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра алгоритмических языков
    • обязательная, вариативной части, семинары, 32 часов
  • • с 7 февраля 2014 Практикум на ЭВМ (6 семестр ФИИТ)
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра алгоритмических языков
    • обязательная, вариативной части, семинары, 32 часов
  • • с 8 февраля 2013 практикум по курсу "Архитектура ЭВМ и язык ассемблера"
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
    • обязательная, базовой части, семинары
  • • с 4 сентября 2012 практикум к курсу "Алгоритмы и алгоритмические языки"
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
    • обязательная, базовой части, семинары
  • • с 7 февраля 2012 Практикум на ЭВМ (8 семестр)
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра алгоритмических языков
    • обязательная, вариативной части, семинары
  • • 7 февраля 2012 - 30 июня 2013 Практикум на ЭВМ (6 семестр бак)
    • МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра алгоритмических языков
    • обязательная, вариативной части, семинары, 32 часов