Вы здесь

Главная

символьные вычисления

Связанные издания:

Algebraic Biology: Proc./Third International Conference, AB 2008. Castle of Hagenberg, Austria, July/August 2008
Applied Parallel and Scientific Computing, Part I: Revised Selected Papers/10th International Conference, PARA 2010, Reykjavik, Iceland, June 2010
Artificial Intelligence and Symbolic Computation: Proc./12th International Conference, AISC 2014, Seville, Spain, December 2014
Artificial Intelligence and Symbolic Computation: Proc./13th International Conference, AISC 2018, Suzhou, China, September 2018
Automated Deduction - CADE-22: Proc./22nd International Conference, Montreal, Canada, August 2009
Combinatorial Algorithms: Revised Selected Papers/20th International Workshop, IWOCA 2009, Hradec nad Moravici, Czech Republic, June/July 2009
Combinatorial Pattern Matching: Proc./20th Annual Symposium, CPM 2009, Lille, France. June 2009
Computer Aided Verifications: Proc./ 23rd International Conference, CAV 2011, Snowbird,UT,USA, July 2011
Computer Algebra in Scientific Computing: Proc./11th International Workshop, CASC 2009, Kobe, Japan, September 2009
Formal Methods and Software Engineering: Proc./15th International Conference, ICFEM 2013, Queenstown, New Zealand, October 2013
Formal Methods and Software Engineering: Proc./16th International Conference on FEM, ICFEM 2014, Luxembourg, November 2014
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./11th International Conference, CICM 2018, Hagenberg, Austria, August 2018
Intelligent Computer Mathematics: Proc./16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 2009
Intelligent Computer Mathematics: Proc./International Conference, CICM 2015, Washington,DC,USA, July 2015
Intelligent Computer Mathematics: Proc./MKM, Calculemus, DML, and System and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 2013
Mathematical Foundations of Computer Science 2010: Proc./35th International Symposium, MFCS 2010, Brno, Czech Republic, August 2010
Mathematical Software - ICMS 2010: Proc./Third International Congress on MS, Kobe, Japan, September 2010
Mathematical Software - ICMS 2018: Proc./6th International Conference, South Bend,IN,USA, July 2018
NASA Formal Methods: Proc./7th International Symposium, NFM 2015, Pasadena,CA,USA, April 2015
Programming Languages and Systems: Proc./6th Asian Symposium, APLAS 2008. Bangalore, India, December 2008
WALCOM: Algorithms and Computation: Proc./4th International Worcshop, WALCOM 2010, Dhaka, Bangladesh, February 2010
Компьютерная алгебра. Символьные и алгебраические вычисления
Символьные алгоритмы, связанные с задачами суммирования
Система muMATH - muSIMP для символьных вычислений на персональном компьютере