Mathematical software -- ICMS 2014. 4th international congress, Seoul, South Korea, August 5--9, 2014. Proceedings

DOI10.1007/978-3-662-44199-2zbMath1293.65003MaRDI QIDQ2512544

No author found.

Publication date: 7 August 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-44199-2

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

00B25: Proceedings of conferences of miscellaneous specific interest

65-06: Proceedings, conferences, collections, etc. pertaining to numerical analysis

65Yxx: Computer aspects of numerical algorithms

Uses Software

• CGAL
• CoCoA
• CoCoALib
• GAP
• Maple
• Mathematica
• RegularChains
• SYNRAC
• Theorema
• SgpDec
• MathLibre
• CUMODP
• RedHom
• PHAT
• NLCertify
• IFSGen4LaTeX
• Bertini_real
• Metalibm