
RENAISSANCE
 Referenced in 5 articles
[sw03022]
 state estimation and shortterm prediction, travel time estimation and prediction as well as queue...

DynaMIT
 Referenced in 15 articles
[sw01808]
 simulationbased realtime system designed to estimate the current state of a transportation network ... provide consistent and unbiased information to travelers. To perform these tasks, efficient simulators have been...

HYPOSAT
 Referenced in 1 article
[sw32846]
 maximum information possible to estimate the hypocenter of a seismic source. The standard input parameters ... used: arrival times of first and later onsets with backazimuths ... parameters (or apparent velocities). In addition, traveltime differences between different phases observed ... also available, a preliminary origin time is estimated using Wadati’s approach to estimate...

HYPO71
 Referenced in 1 article
[sw32844]
 least square error of the travel time computed from the input station, velocity model ... phases are used to estimate the first motion pattern of the earthquake...

ANSYS
 Referenced in 648 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

BARON
 Referenced in 307 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

cdd
 Referenced in 109 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

CGAL
 Referenced in 344 articles
[sw00118]
 The goal of the CGAL Open Source Project...

CXSC
 Referenced in 106 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

CXSC 2.0
 Referenced in 123 articles
[sw00182]
 A C++ class library for extended scientific computing...

GAP
 Referenced in 2735 articles
[sw00320]
 GAP is a system for computational discrete algebra...

gmp
 Referenced in 260 articles
[sw00363]
 GMP is a free library for arbitrary precision...

LAPACK
 Referenced in 1599 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

Maple
 Referenced in 4956 articles
[sw00545]
 The result of over 30 years of cutting...

MATCONT
 Referenced in 340 articles
[sw00551]
 MATCONT: Matlab software for bifurcation study of dynamical...

Mathematica
 Referenced in 5756 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 11649 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MPFI
 Referenced in 38 articles
[sw00597]
 Motivations for an arbitrary precision interval arithmetic and...

NAG
 Referenced in 374 articles
[sw00610]
 Produced by experts for use in a variety...

Octave
 Referenced in 276 articles
[sw00646]
 GNU Octave is a highlevel language, primarily...