
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...

AUTO86
 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 padic numbers...

PLingua
 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 PLingua 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]
 realtime 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 PLingua format, locates ... library translates files, which define a P system, between formats, for instance, from PLingua...

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 PLingua 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 Xmachines. 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...