• SciPy

  • Referenced in 791 articles [sw06293]
  • Together, they run on all popular operating systems, are quick to install, and are free ... SciPy are easy to use, but powerful enough to be depended upon by some...
  • MuPAD

  • Referenced in 139 articles [sw00606]
  • powerful symbolic engine, a language that is optimized for operating on symbolic math expressions ... complete MuPAD language. Computer algebra system...
  • LEGO

  • Referenced in 108 articles [sw09685]
  • Jersey ML. It implements various related type systems - the Edinburgh Logical Framework (LF), the Calculus ... Dependent Types (UTT). LEGO is a powerful tool for interactive proof development in the natural ... supports refinement proof as a basic operation. The system design emphasizes removing the more tedious ... interactive proofs. For example, features of the system like argument synthesis and universe polymorphism make...
  • LiE

  • Referenced in 165 articles [sw01075]
  • structure of their Weyl groups and root systems. LiE does not compute directly with elements ... distinguished coset representatives and much more. These operations have been compiled into the program which ... given that involve basic programming primitives and powerful built-in functions. These commands are read ... passed to the core of the system. This core consists of programs representing some...
  • PHCpack

  • Referenced in 236 articles [sw00705]
  • domains. Homotopy continuation methods are reliable and powerful methods to compute numerically approximations ... accomplished on exploiting structure in a polynomial system, in particular its sparsity. In this paper ... package PHC is described. The main program operates in several modes, is menu-driven...
  • NESTA

  • Referenced in 11 articles [sw31755]
  • power systems research community has seen an explosion of work applying operations research techniques ... these works rely on power system test cases for evaluation and validation. However, many ... power system optimization studies. This report surveys all of the publicly available AC transmission system ... evaluation and validation of power system optimization algorithms...
  • SAS/IML

  • Referenced in 82 articles [sw03240]
  • System provides a powerful and flexible programming language in a dynamic, interactive environment for programmers ... statisticians, and researchers. Use the SAS System for data manipulation and general statistical analysis, then ... access many libraries. Built-in matrix operators, functions, and subroutines can be applied to perform...
  • PowerWorld Simulator

  • Referenced in 3 articles [sw35153]
  • package designed to simulate high voltage power system operation on a time frame ranging from ... highly effective power flow analysis package capable of efficiently solving systems...
  • PostgreSQL

  • Referenced in 79 articles [sw15935]
  • PostgreSQL is a powerful, open source object-relational database system. It has more than ... correctness. It runs on all major operating systems, including Linux, UNIX...
  • Mathemagix

  • Referenced in 43 articles [sw00553]
  • interpreted, and it features a strong type system with classes and categories. Several C++ libraries ... Philippe Trébuchet, for the elementary operations with polynomials, power series and matrices, with a special...
  • RestoreTools

  • Referenced in 71 articles [sw04822]
  • efficient matrix vector multiplication, and linear system solves for preconditioners, can be a tedious ... hide these complicated implementation details. Combining the powerful scientific computing and graphics capabilities in Matlab ... ability to do object-oriented programming and operator overloading, results in a set of classes...
  • CPFLOW

  • Referenced in 7 articles [sw13797]
  • power system with a comprehensive set of operational limits and controls...
  • PARMON

  • Referenced in 6 articles [sw02312]
  • Java does not support interfaces to access system internals. PARMON is regularly used to monitor ... Ultra-4 workstations powered by the Solaris operating system. The recent popularity of Beowulf-class...
  • Maria

  • Referenced in 19 articles [sw04127]
  • Maria: Modular reachability analyser for algebraic system nets Maria performs simulation, exhaustive reachability analysis ... constraints. The algebra contains powerful built-in data types and operations. Models can be exported ... level Petri nets and labelled transition systems. Translator programs allow Maria to analyse transition systems...
  • Access

  • Referenced in 61 articles [sw03704]
  • Microsoft Office Access, is a database management system from Microsoft that combines the relational Microsoft ... Microsoft Access to develop application software, and ”power users” can use it to build software ... modules may declare and call Windows operating-system functions...
  • MaximinOPF.jl

  • Referenced in 1 article [sw37647]
  • assumed optimal defense response of the power system operator. The power flow system is modeled...
  • Torrit

  • Referenced in 1 article [sw36196]
  • Simulation Platform. An adequate education on power system operations and controls requires a hands ... application called ”Torrit” for executing operations of power systems, especially for transmission systems...
  • SSpace

  • Referenced in 6 articles [sw12433]
  • fully exploit the power of state space systems, performing operations such as filtering, smoothing, forecasting...
  • PDE-Net

  • Referenced in 91 articles [sw36963]
  • time: to accurately predict dynamics of complex systems and to uncover the underlying hidden ... proposed PDE-Net is to learn differential operators by learning convolution kernels (filters), and apply ... differential operators, our approach has the most flexibility by learning both differential operators ... while still maintaining the expressive and predictive power of the network. These constrains are carefully...
  • PowerSimulations.jl

  • Referenced in 1 article [sw36536]
  • package designed to develop and study power system operation models in steady-state. It uses...