In this article, an efficient computing technique has been developed for the solution of
fractional order systems governed with initial value problems (IVPs) of the Bagley–Torvik …

Traffic control is one of the most important problems related with urban development.
Current trends for traffic control are based on the use of smart traffic lights and signals as a …

In this paper, we introduce SODES (Stepwise Ordinary Differential Equations Solver) a new
solver for Ordinary Differential Equations (ODE). SODES can optionally provide the solution …

Although nowadays many railway tickets are bought online, still many are bought through
rail appointed travel agents and ticket offices at stations. There are several works on …

This paper introduces the new ATISBAT model for generating accelerated-time simulations
of baggage handling in an airport terminal. The philosophy of this model combines ideas …

Different Engineering applications require dealing with improper integral on unbounded
domains (improper integrals of the first kind). The classical way for solving these integrals is …

The computer algebra system DERIVE had a very important impact in teaching mathematics
with technology, mainly in the 1990's. The authors analyze the possible reasons for its …

Automated theorem proving (ATP) for Propositional Classical Logic is an algorithm to check
the validity of a formula. It is a very well-known problem which is decidable but co-NP …

Abstract Partial Differential Equations (PDE) appear in multiple Physic and Engineering
applications. Normally, when modeling an application, the use of well-known and already …

Railway interlocking systems are crucial safety components in rail transportation, designed
to prevent train collisions by regulating switch positions and signal indications. These …