Jump to content

Search results

  • TableCurve 3D is a linear and non-linear surface fitting software package for engineers and scientists that automates the surface fitting process and in...
    2 KB (174 words) - 10:01, 6 January 2022
  • WaveLab is a collection of MATLAB functions for wavelet analysis. Following the success of WaveLab package, there is now the availability of CurveLab and...
    737 bytes (31 words) - 01:20, 13 May 2024
  • TRAMO ("Time Series Regression with ARIMA Noise, Missing Observations and Outliers") (Gómez y Maravall, 1996) is a program for estimation, forecasting...
    920 bytes (83 words) - 23:16, 30 January 2024
  • The Theorem Proving System (TPS) is an automated theorem proving system for first-order and higher-order logic. TPS has been developed at Carnegie Mellon...
    672 bytes (47 words) - 04:35, 18 May 2024
  • Graphmatica is a graphing program created by Keith Hertzer, a graduate of the University of California, Berkeley. It runs on Microsoft Windows (all versions)...
    1 KB (117 words) - 00:18, 28 April 2024