The program ISO 1.0 was developed in computer algebra system GAP using programming language GAP. It is aimed for calculation of invariants of modular group algebras of finite p-groups and investigation of the modular isomorphism problem of group algebras. It allows to calculate and manage a...

We give a complete proof that all 3 quanti er sentences in the primitive notation of set theory (, =), are decided in , and in fact in a weak fragment of without the power set axiom. We obtain information concerning witnesses of 2 quanti er formulas with one free variable. There is a 5 quanti er...

We study Gevrey properties and multisummability of power series in more than two variables that are formal solutions of a Cauchy problem for linear partial differential equations with constant coefficients. We extend earlier results in an article of Werner Balser, who has considered linear...

Based on artificial intelligence approach it's possible to show a valuable link between phenomena of periodical activity/sleeping phases for living beings and implementation/training phase for artificial neural network acting in real time . In this article also reveals a deep link of another...

Application of Quantum Mechanic probability wave function approach for enhancement of LOD technique is a theoretical base for making real looking virtual worlds on the computer by simple description of scenario. This way can significantly speed up the frame rate and endow the worlds by more...

A technology of 3 D object description is realized in VRML 2.0 and is not very convenient for the geometrical smooths surfaces creations. Making this smooth consturction by some external software layer by layer, we are facing to some constructor difficulties, which lead to the algorithm...