• REVE

• Referenced in 68 articles [sw28907]
• algorithms. REVE uses an incremental termination method based on recursive decomposition ordering which constructs...

• idm

• Referenced in 3 articles [sw29200]
• package idm: Incremental Decomposition Methods. Incremental Multiple Correspondence Analysis and Principal Component Analysis...

• HiRise

• Referenced in 7 articles [sw36184]
• numerical method that incrementally obtains the LU decompositions of linear constraint systems. To realize this...

• ADTT

• Referenced in 1 article [sw41208]
• efficient) distributed tensor-train (ADTT) decomposition method with its incremental computational method for processing IIoT...

• SBQL

• Referenced in 3 articles [sw03486]
• cache enabling fast retrieval of cached queries, decomposition of complex queries into smaller ones ... method to recognize consistency of queries after database updates and development of methods of incremental...

• HotSpotter

• Referenced in 2 articles [sw07934]
• problem involves a very small time increment for numerical stability and convergence and is therefore ... eigenvalue method which removes time from the governing equation. It also uses Fourier decomposition, which...

• ANSYS

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

• Apron

• Referenced in 69 articles [sw00045]
• Apron: a library of numerical abstract domains for...

• CGAL

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

• Coq

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

• GAP

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

• KNITRO

• Referenced in 197 articles [sw00490]
• KNITRO is a solver for nonlinear optimization. It...

• LAPACK

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

• LEDA

• Referenced in 263 articles [sw00509]
• In the core computer science areas -- data structures...

• LSQR

• Referenced in 394 articles [sw00530]
• Algorithm 583: LSQR: Sparse Linear Equations and Least...

• Maple

• Referenced in 5373 articles [sw00545]
• The result of over 30 years of cutting...

• MapReduce

• Referenced in 263 articles [sw00546]
• MapReduce is a new parallel programming model initially...

• MATCONT

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

• Mathematica

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

• Matlab

• Referenced in 13544 articles [sw00558]
• MATLAB® is a high-level language and interactive...