• AUTO

  • Referenced in 942 articles [sw01059]
  • bifurcation analysis of algebraic systems of the form f(u,p ... systems of ordinary differential equations of the form u’(t) = f(u(t),p ... conditions, boundary conditions, and integral constraints. Here p denotes one or more parameters. AUTO ... therefore it is applicable to rather large systems of differential equations...
  • AUTO-86

  • Referenced in 277 articles [sw04220]
  • bifurcation analysis of algebraic systems of the formf(u,p) = 0, f,u in Rnand ... systems of ordinary differential equations of the formu”(t) = f(u(t),p ... conditions, boundary conditions, and integral constraints. Here p denotes one or more parameters. AUTO ... therefore it is applicable to rather large systems of differential equations...
  • PARI/GP

  • Referenced in 636 articles [sw00680]
  • PARI/GP is a widely used Computer Algebra System (CAS) designed for fast computations in number ... such as matrices, power series, algebraic or p-adic numbers...
  • P-Lingua

  • Referenced in 33 articles [sw27718]
  • standard to define P systems. It and its associated tools have been developed by members ... University of Seville, Spain. We provide P-Lingua and its associated tools as a free ... software/hardware applications capable of simulate P system computations...
  • cdd

  • Referenced in 115 articles [sw00114]
  • convex polyhedron given by a system of linear inequalities: P...
  • NTRU

  • Referenced in 182 articles [sw11761]
  • mixing system with the independence of reduction modulo two relatively prime integers p...
  • PPL

  • Referenced in 101 articles [sw05357]
  • real-time and hybrid systems. Since the seminal work of P. Cousot and N. Halbwachs ... polyhedra that are described by systems of constraints where strict inequalities are allowed to occur...
  • AUTO2000

  • Referenced in 52 articles [sw04643]
  • bifurcation analysis of algebraic systems of the form f(u,p ... systems of ordinary differential equations of the form u’(t) = f(u(t),p ... conditions, boundary conditions, and integral constraints. Here p denotes one or more parameters. AUTO ... therefore it is applicable to rather large systems of differential equations...
  • PLTMG

  • Referenced in 215 articles [sw00717]
  • elements. PLTMG features options for adaptive h, p, and hp refinement, coarsening, and mesh moving ... several algebraic multilevel solvers for the resulting systems of linear equations. PLTMG provides a suite...
  • ASSAT

  • Referenced in 175 articles [sw02524]
  • Answer Sets by SAT solvers) is a system for computing answer sets of a logic ... Briefly speaking, given a ground logic program P, ASSAT(X), depending on the SAT solver...
  • E Theorem Prover

  • Referenced in 198 articles [sw10187]
  • axioms. If a proof is found, the system can provide a detailed list of proof ... form “there exists an X with property P”), the latest versions can also provide possible ... release was in in 1998, and the system has been continuously improved ever since...
  • MeCoSim

  • Referenced in 8 articles [sw14527]
  • simulating biological phenomena by means of P System. MeCoSim (Membrane Computing Simulator) is a software ... different types of models based on P systems...
  • ROWMAP

  • Referenced in 49 articles [sw09627]
  • solution of linear systems. A special multiple Arnoldi process ensures order p = 4 already ... efficiency of ROWMAP for large stiff systems. Furthermore, the application to nonautonomous systems is discussed...
  • pLinguaCore

  • Referenced in 6 articles [sw06894]
  • read from a file where a P system is defined, detects errors in the file ... reports them. And, if the P system is defined in P-Lingua format, locates ... library translates files, which define a P system, between formats, for instance, from P-Lingua...
  • CuSNP

  • Referenced in 7 articles [sw32106]
  • CuSNP: Spiking Neural P Systems Simulators in CUDA...
  • Psim

  • Referenced in 4 articles [sw27719]
  • Psim: A computational platform for metabolic P systems. Although born as unconventional models of computation ... P systems can be conveniently adopted as modeling frameworks for biological systems simulations. This choice ... other formalisms. Nevertheless, the employment of P systems for modeling purposes demands biologically meaningful evolution...
  • bvp4c

  • Referenced in 279 articles [sw06178]
  • bvp4c(odefun,bcfun,solinit) integrates a system of ordinary differential equations of the form ... bvp4c solver can also find unknown parameters p for problems of the form...
  • PMCGPU

  • Referenced in 4 articles [sw14528]
  • living cells. These devices are called P systems. The objective of this project (PMCGPU ... development of parallel simulators for P systems, specially those using the GPU (e.g. CUDA, OpenCL ... Seville). PMCGPU was born inside the P-Lingua project, of the same research group. PMCGPU...
  • kPWorkbench

  • Referenced in 3 articles [sw19654]
  • kPWorkbench: a software framework for kernel P systems. kPWorkbench is a software framework, developed ... support the computational analysis of kernel P systems. The framework integrates a set of tools ... method that allows to express kP systems as a set of communicating X-machines. kPWorkbench ... permits the formal verification of kernel P system models. The framework supports both Linear Temporal...
  • CVODES

  • Referenced in 35 articles [sw04946]
  • systems (initial value problem) given in explicit form y’ = f(t,y,p) with sensitivity ... integration of the original ODEs, the sensitivity systems, or the adjoint system. Depending...