
CLAWPACK
 Referenced in 111 articles
[sw01069]
 developed for linear and nonlinear hyperbolic systems of conservation laws, with a focus on implementing ... amrclaw. Recent extensions allow the solution of hyperbolic problems that are not in conservation form...

GFORCE
 Referenced in 20 articles
[sw06607]
 fluxes for systems of conservation laws Numerical fluxes for hyperbolic systems and we first present...

Racoon
 Referenced in 13 articles
[sw08867]
 parallel meshadaptive framework for hyperbolic conservation laws. We report on the development ... parallel, meshadaptive solution of systems of hyperbolic conservation laws like the timedependent Euler...

WENOCLAW
 Referenced in 8 articles
[sw07611]
 physical phenomena are governed by hyperbolic systems of conservation laws 𝐪 t +f(𝐪 ... that is also applicable to general hyperbolic systems of the form 𝐪 t +A(𝐪...

ALSVIDUQ
 Referenced in 5 articles
[sw12836]
 solver for uncertainty quantification in hyperbolic systems of conservation laws up to 3 space. dimensions...

PorAS
 Referenced in 3 articles
[sw06536]
 Riemann solver, is proposed for hyperbolic systems of conservation laws with source terms and porosity...

CentPack
 Referenced in 1 article
[sw14659]
 resolution central schemes for nonlinear conservation laws and related problems. CentPack is a collection ... oscillatory central schemes for hyperbolic systems of conservation laws in one and twospace dimensions ... create a sample application to solve several hyperbolic models, and (ii) use them...

MUSTA
 Referenced in 11 articles
[sw09091]
 stage numerical flux. Numerical methods for conservation laws constructed in the framework of finite volume ... Toro, Multistage predictorcorrector fluxes for hyperbolic equations, Technical Report NI03037NPA, Isaac Newton ... reference firstorder method for hyperbolic systems. At least for the scalar model hyperbolic equation...

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

Coq
 Referenced in 1502 articles
[sw00161]
 Coq is a formal proof management system. It...

Gmsh
 Referenced in 371 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...

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

MA57
 Referenced in 74 articles
[sw00536]
 MA57  a code for the solution of sparse...

Macaulay2
 Referenced in 1341 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Magma
 Referenced in 2347 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

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

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

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

Maxima
 Referenced in 127 articles
[sw00560]
 Maxima is a system for the manipulation of...