The MathNet Korea
Information Center for Mathematical Science

소프트웨어

Information Center for Mathematical Science

소프트웨어

총 289건

129 Maple
Users can enter mathematics in traditional mathematical notation. Custom user interfaces can also be created. There is support for numeric computations, to arbitrary precision, as well as symbolic computation and visualization.
128 Magma
Magma is a large, well-supported software package designed for computations in algebra, number theory, algebraic geometry and algebraic combinatorics.
127 Macsyma
126 Macaulay2
125 LMS Imagine.Lab
LMS Imagine.Lab Amesim is a commercial simulation software for the modeling and analysis of multi-domain systems. It is part of systems engineering domain and falls into the mechatronic engineering field.
124 LiveMath
computer algebra and graphing system
123 List of applications
List of applications or programs in various fields of science
122 LINDO Systems
121 LightPipes
beam propagation toolbox for Matlab and MathCAD
120 Lightmachinery
optical design tools including optical calculations
119 LiDIA
powerful C++ library for computationalnumber theory which provides a collection ofhighly optimized implementations of variousmultiprecision data types and algorithms
118 levmar: Levenberg-Marquardt non-linear least squares algorithms in C/C++
GPL package containing four flavors of the Levenberg-Marquardt nonlinear least squares algorithm. The package is written in C, it''s also usable from C++ and includes double and single precision LM implementations, both with analytic and finite difference approximated jacobians.
117 Learning in Motion (software for K-12 education)
116 Leading Market Technologies
115 LASCAD
LASer Cavity Analysis and Design
114 LAMMPS
Has potentials for soft and solid-state materials and coarse-grain systems
113 Labview
short for Laboratory Virtual Instrument Engineering Workbench) is a system-design platform and development environment for a visual programming language from National Instruments.
112 L1 MAGIC
L1 MAGIC is a collection of MATLAB routines for solving the convex optimization programs central to compressive sampling. The algorithms are based on standard interior-point methods, and are suitable for large-scale problems.
111 KDP-2
optical design and analysis program
110 KANT
, a tool for sophisticated computations in number fields and in global function fields