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

DOI10.1007/978-3-662-44199-2zbMath1293.65003OpenAlexW2500634044MaRDI 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

Symbolic computation and algebraic computation (68W30) Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to numerical analysis (65-06) Computer aspects of numerical algorithms (65Yxx)

Uses Software

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

This page was built for publication: Mathematical software -- ICMS 2014. 4th international congress, Seoul, South Korea, August 5--9, 2014. Proceedings