Open Source Linux Mathematics Software - Page 79

This is the extended euclidean algorithm implemented in haskell. It will put every single step of the algorithm in a file and show the actual result and everything in between.

Swift Numerics is a foundational library that extends the Swift standard library with essential numerical protocols, types, and functions needed for scientific and systems programming. It defines generic abstractions over real and complex numbers so algorithms can be written once and work across concrete floating-point types. The package includes RealModule utilities and a full Complex type with the expected arithmetic and transcendental functions, bridging a long-standing gap for numerics in Swift. API design follows Swift’s emphasis on value semantics and protocol-oriented programming, enabling compiler optimizations and predictable performance. The modules are factored to keep dependencies minimal and to allow adopters to pull in only what they need. As a result, Swift Numerics underpins higher-level libraries in simulation, signal processing, and machine learning written in pure Swift.

SymDiff is a little command line tool for symbolic differentiation and expression evaluation. Furthermore, the code can be used for the symbolical implementation of certain mathematical algorithms that require derivatives.

Symath is a symbolic algebra utility that manipulates expressions as you would by hand. The aim is to provide a utility for students to use to solve complex systems as well as learn how it is done.

Symaxx is a graphical front end for the Maxima computer algebra system (GPL).

Edit equations right on the screen with your mouse, and never make a mistake. Guide the program through any complex algebraic manipulation, and let it handle the tedious details. Many other features!

Modernizing the sentential and predicate logic programs, Bertie and Twootie, by cleaning up the code, rewritting the code to conform to the standard Pascal defination, and developing a graphical user interface for both X and MS Windows.

Symbolic Plotter has been renamed to Sympl. Please visit the Sympl project. If you are using Symbolic Plotter 0.2 or earlier, please take a look at the latest version of Sympl.

SymbolicNumericIntegration.jl is a hybrid symbolic/numerical integration package that works on the Julia Symbolics expressions.

Java application which allows users to visualize permutations of graphs in two or three dimensions

Symtree is a library to create, search, and modify sets. An example of a practical application for symtee is a dictionary.

This project has moved to http://code.google.com/p/synthetic/

SystemDynamics is a graphical Java application for modeling, visualization and execution of System Dynamics models.

The Systems Biology Ontology project (SBO) goal is to develop controlled vocabularies and ontologies tailored specifically for the kinds of problems being faced in Systems Biology, especially in the context of computational modeling. !!!! Important Announcement !!!! We have moved the curation and development of Systems Biology Ontology (SBO) to a git-hub repository https://github.com/EBI-BioModels/SBO. Hence, this SourceForge SBO project has also been retired. Please use the Git-Hub issue tracker https://github.com/EBI-BioModels/SBO/issues to request the addition of new terms.

Stochastic discrete event system analysis and verification are essential in order to ensure reliability in such systems. However, models that cannot be constructed with an hand-made process need to be learned. Thus, the SDES toolbox proposes an automated solution that is embedded in Matlab to learning and analisis generalized semi-Markov processes.

The Toolkit for Advanced Discriminative Modeling (TADM) is a C++ implementation for estimating the parameters of discriminative models, such as maximum entropy models. It uses the PETSc and TAO toolkits to provide high performance and scalability.

Taylor series Integrator for Differential EquationS. This software is developed by Profs. A. Abad, R. Barrio, F. Blesa and M. Rodriguez, (GME, University of Zaragoza, Spain). It consists on a C (Fortran) library, libTIDES, and a Mathematica package, MathTIDES. (MathTIDES requires Mathematica version >= 7.0) . Basic references: * A. Abad, R. Barrio, F. Blesa, M. Rodriguez, 2012. Algorithm 924: TIDES, a Taylor series Integrator for Differential EquationS, ACM TOMS. 39, no. 1, art. 5. (Main reference) * A. Abad, R. Barrio, F. Blesa, M. Rodriguez, 2011. TIDES tutorial: Integrating ODEs by using the Taylor Series Method., Monografías de la Academia de Ciencias de la Universidad de Zaragoza. 36, pp. 1-116. * R. Barrio, 2005. Performance of the Taylor series method for ODEs/DAEs, Appl. Math. Comput. 163 (2), pp. 525--545 * R. Barrio, 2006. Sensitivity analysis of ODE's/DAE's using the Taylor series method, SIAM J. on Scientific Computing 27 (6), pp. 1929--1947

TIKAPP is becoming a collection of tools for simulation of neural networks. The first available part is an ANSI-C++ library with support for backpropation networks.

TM4 is a suite of applications for managing and analyzing microarray data. TM4 provides data storage and tracking, image analysis, normalization, data filtering, clustering and statistical analysis capabilities. Includes MADAM, Spotfinder, MIDAS, and MeV.

TMVA is a ROOT-integrated toolkit for multivariate classification and regression analysis. TMVA performs the training, testing and performance evaluation of a large variety of multivariate methods. Since 2013, TMVA has been fully integrated with ROOT and is distributed as part of it. The new homepage of TMVA is https://root.cern

A set of small tools and utilities for academia, to be used to teach (and learn) different topics (at the undergraduate level) in computer science in the subject of the theory of computation and pure/theoretical computer science.

TOPS provides the benchtop scientist with a free toolset to analyze, filter and visualize data from functional genomic gene-gene and gene-drug interaction screens with a flexible interface to accommodate various different technologies and analysis algorithms in addition to those already provided here.

Mathematical library for Pascal compilers

This project is used to share code between collaborators on several projects pertaining to a class Numerical Physics class taken at Université Laval during the semester of Winter 2012.

TRAPEX - solution of quadrature problems on finite intervals using trapezoidal sums with polynomial extrapolation and adaptive order and stepsize control.