Academic Journals Database
Disseminating quality controlled scientific knowledge

Search Articles for "Symbolic computation"

ADD TO MY LIST
 
Quo vadis, Intelligent Machine?

Author(s): Rosemarie Velik
Symbolic computation of Appell polynomials using Maple

Author(s): H. Alkahby | G. Ansong | P. Frempong-Mireku | A. Jalbout
Molecular Minimisation of Planar Molecules

Author(s): R. Andrew Davies
Symbolic Implementation of Connectors in BIP

Author(s): Mohamad Jaber | Ananda Basu | Simon Bliudze
Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs

Author(s): Fuad Abujarad | Borzoo Bonakdarpour | Sandeep S. Kulkarni
Explicit Solution of Nonlinear ZK-BBM Wave Equation Using Exp-Function Method

Author(s): J. Mahmoudi | N. Tolou | I. Khatami | A. Barari | D.D. Ganji
Symbolic Verification of a Strength Based Multi-Agent Argumentation Scheme

Author(s): Shravan Shetty | Shashi Kiran H.S | Murali Babu Namala | Sanjay Singh
Covalidation of Integral Transforms and Method of Lines in Nonlinear Convection-Diffusion with Mathematica

Author(s): Alves Leonardo S. de B. | Cotta Renato M. | Mikhailov Mikhail D.
Automatic Deduction in Dynamic Geometry using Sage

Author(s): Francisco Botana | Miguel A. Abánades
A PURE NODAL-ANALYSIS METHOD SUITABLE FOR ANALOG CIRCUITS USING NULLORS

Author(s): E. Tlelo-Cuautle | L.A. Sarmiento-Reyes
Why do you need a reservation system?      Save time & money - Smart Internet Solutions