Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
компьютерная алгебра
Связанные издания:
Algebraic Informatics: Proc./8th International Conference, CAI 2019, Nis, Serbia, June 2019
Algebraic Methodology and Software Technology: Revised Selected Papers/13th International Conference, AMAST 2010, Lac-Beauport,QC,Canada, June 2010
Arithmetic of Finite Fields: Proc./2nd International Workshop, WAIFI 2008. Siena, Italy, July 2008
Computer Algebra and Geometric Algebra with Applications: Revised Selected Papers/6th Int. Workshop IWMM 2004 Shanghai,China,May 2004 and Int. Workshop GIAE 2004, Xian,China,May 2004
Computer Algebra in Scientific Compiting: Proc./16th International Workshop, CASC 2014, Warsaw, Poland, September 2014
Computer Algebra in Scientific Computing: Proc./17th International Workshop, CASA 2015, Aachen, Germany, September 2015
Computer Algebra in Scientific Computing: Proc./18th International Workshop, CASC 2016, Bucharest, Romania, September 2016
Computer Algebra in Scientific Computing: Proc./8th International Workshop, CASC 2005. Kalamata, Greece, September 2005
Computer Algebra in Scientific Computing: Proc./9th International Conference, CASC 2006. Chisinau, Moldova, September 2006
Intelligent Computer Mathematics: Proc./10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 2010
Intelligent Computer Mathematics: Proc./10th International Conference, CICM 2017, Edinburgh, UK, July 2017
Intelligent Computer Mathematics: Proc./11th International Conference, CICM 2018, Hagenberg, Austria, August 2018
Intelligent Computer Mathematics: Proc./MKM, Calculemus, DML, and System and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 2013
Logical Foundations of Computer Science: Proc./International Symposium, LFCS 2020, Deerfield Beach,FL,USA, January 2020
Mathematical Modeling and Computational Science: Revised Selected Papers/ International Conference, MMCP 2011, Stara Lesna, Slovakia, July 2011
Mathematical Software - ICMS 2006: Proc./Second International Congress on Mathematical Software. Castro Uridales, Spain, September 2006
Mathematical Software - ICMS 2010: Proc./Third International Congress on MS, Kobe, Japan, September 2010
Mathematical Software - ICMS 2014: Proc./4th International Congress, Seoul, South Korea, August 2014
Mathematical Software - ICMS 2018: Proc./6th International Conference, South Bend,IN,USA, July 2018
Modular Algorithms in Symbolic Summation and Symbolic Integration
Towards Mechanized Mathematical Assistants:Proc./14th Symposium, Calculemus 2007, 16th International Conf.MKM 2007, Hagenberg,Austria,June 2007
WALCOM: Algorithms and Computation: Proc./4th International Worcshop, WALCOM 2010, Dhaka, Bangladesh, February 2010
Вычисление доминирую их ве ественных корней многочленов
Инволютивные деления и мономиальные упорядочения. Часть II.
Компьютерная алгебра. Символьные и алгебраические вычисления
Компьютерно-алгебраические методы решения систем линейных обыкновенных уравнений, основанные на индуцированных рекурренциях
Об одной алгоритмически неразрешимой проблеме, связанной с разностными уравнениями с параметрами
Об одной компьютерно-алгебраической технологии
Об однородном базисе Гребнера для тензоров
Об опорном суммировании
Параллельные алгоритмы компьютерной алгебры
Поиск лиувиллевых решений линейных рекуррентных уравнений в ситеме компьютерной алгебры Maple
Разработка компьютерных технологий энергосбережения умных зданий с применением компьютерной алгебры
Решение больших систем полиномиальных уравнений, возникаю их в дискретной дифференциальной геометрии
Символьные преобразования в задаче аналитического продолжения гипергеометрической функции..
Специализированная система компьютерной алгебры GINV
Суммирование по гипергеометрическим образцам в MAPLE
Функциональное программирование и компьютерная алгебра в университете
Функциональное программирование и компьютерная алгебра в университете