Abstract: Modern society largely depends on various network systems such as computer networks, communications, and power networks, it is crucial to exactly compute the reliability of these network ...
Abstract: Recent developments in formal verification of arithmetic datapaths make efficient use of symbolic computer algebra algorithms. The circuit is modeled as an ideal in polynomial rings, and ...
This is the first volume of the two-volume book on linear algebra, in the University of Tokyo (UTokyo) Engineering Course. The objective of this volume is to present, from the engineering viewpoint, ...
Math Parser: Java, C#, C++, Kotlin, Android, and all .NET platforms (Nuget, Maven, CMake). Supports .NET Framework, .NET Core, .NET Standard, Xamarin, and more ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback