Search results
Results from the WOW.Com Content Network
The complete NIST database of thermodynamic and transport properties is included, with built-in functions for accessing it. TK Solver is also the platform for engineering applications marketed by UTS, [9] including Advanced Spring Design, Integrated Gear Software, Interactive Roark’s Formulas, Heat Transfer on TK, and Dynamics and Vibration ...
TK Solver is a mathematical modeling and problem-solving software system based on a declarative, rule-based language, commercialized by Universal Technical Systems, Inc. Torch is a deep-learning library with support for manipulation, statistical analysis and presentation of Tensors.
Download QR code; Print/export Download as PDF; Printable version ... This is a list of educational software that is computer software whose primary purpose is ...
The ClueFinders is an educational software series aimed at children aged 8–12 that features a group of mystery-solving teenagers. The series was created by The Learning Company (formerly SoftKey) as a counterpart to their Reader Rabbit series for older, elementary-aged students.
A problem solving environment (PSE) is a completed, integrated and specialised computer software for solving one class of problems, combining automated problem-solving methods with human-oriented tools for guiding the problem resolution. A PSE may also assist users in formulating problem resolution.
BLOPEX (Block Locally Optimal Preconditioned Eigenvalue Xolvers) is an open-source library for the scalable solution of eigenvalue problems. FFTW (Fastest Fourier Transform in the West) is a software library for computing Fourier and related transforms. GNU Scientific Library, a popular, free numerical analysis library implemented in C.
IMSL (International Mathematics and Statistics Library) is a commercial collection of software libraries of numerical analysis functionality that are implemented in the computer programming languages C, Java, C#.NET, and Fortran.
The Stanford Research Institute Problem Solver, known by its acronym STRIPS, is an automated planner developed by Richard Fikes and Nils Nilsson in 1971 at SRI International. [1] The same name was later used to refer to the formal language of the inputs to this planner.