Search Results for "symbolic" - Page 2
Sort By:
103 programs for "symbolic" with 1 filter applied:
-
Deploy Red Hat Ansible Automation Platform on Microsoft Azure for a strategic automation solution that allows you to orchestrate, govern and operationalize your Azure environment.
-
Managing your therapy and rehab practice is a time-consuming process. You spend hours on paperwork, billing, scheduling, and more. Raintree’s Therapy & Rehab EHR is here to help you manage your practice more efficiently. With our all-in-one solution, you’ll get the tools you need to streamline your therapy and rehab practice, improve patient care, and get back to doing what you love.
-
1
Acoustic Research Tool (ART)
Acoustic Simulation Library for Frequency and Time Domain Simulations.
ART is a flexible simulation framework for wind instruments. It includes a growing library of modelling elements. So far bore discontinuities, branches, tone holes, cylindrical and conical tubes, Bessel horns and bent tubes are available for frequency domain modelling. In the time domain generic bidirectional propagation elements, scattering elements, fractional delays, convolution with reflection functions and general z-domain networks are available and can be described using MuParserX... -
2
PIP
Useful crossplatform library for distributed systems
Platform-Independent Primitives. Contain string, thread, timer, file, config file, serial port, ethernet (UDP, TCP, broadcast, multicast), protocol, multiprotocol, peer, console, variable, struct, evaluator, system monitor (Linux only), CLI (command-line interface) parser. Package include library that you can build with 'qmake' or 'CMake' and test program in 'main.cpp'. Online documentation: http://ppip.sourceforge.net/doc/ -
3
Arageli is a C++ library for computations in arithmetic, algebra, geometry, linear and integer linear programming. Arageli provides routines and classes that support precise, i.e. symbolic or algebraic, computations.
-
4
Analog Insydes is a Mathematica toolbox for symbolic analysis of analog electronic circuits. This project provides a set of free add-ons to Analog Insydes, including a Java front-end and a native netlister for Cadence's Analog Design Environment (ADE).
-
We design our technology to make workforce management easier. APS offers core HR, payroll, benefits administration, attendance, recruiting, employee onboarding, and more.
-
5
Fiark
File Transfer Tooling
Fiark is a File Transfer Tool (FTT.) Unlike a backup, an FTT is designed to QUICKLY copy ("float") files between a DIVERSE set of computing environments. -
6
yacas
Computer calculations made easy
NOTE: Yacas and yagy development has moved to github. The new repositories are located at https://github.com/grzegorzmazur/yacas and https://github.com/grzegorzmazur/yagy . The mailing list has been moved over to https://groups.google.com/forum/#!forum/yacas . The downloads section at sourceforge will be kept up to date for the foreseable future. Yacas is an easy to use, general purpose computer algebra system. It uses its own programming language designed for symbolic as well as arbitrary... -
7
CILP++
In-development neural-symbolic system, CILP++
This is the project of the extension of the original C-IL2P neural-symbolic system, CILP++, for reasoning, knowledge extraction and theory revision from propositional and first-order logics. *** ATTENTION! The CILP++ project has been discontinued from SVN! It has been migrated to Github on https://github.com/manoelfranca/cilppp! -
8
OpenAxiom: Scientific Computation System
A system for computer algebra and symbolic mathematics
OpenAxiom is an open source Computer Algebra System. It offers an interactive environment, an expressive programming language, a compiler, a large set of mathematical libraries of interest to researchers and practitioners of computational sciences. -
9
-
Don’t let unpaid invoices limit your business’s growth. EBizCharge plugs directly into the tools your business already uses to speed up payment collection.
-
10
QSapecNG is a Qt-based symbolic analysis program for linear analog circuits. In fact, it consists of two indipendently parts: the SapecNG framework engine, and the application gui QSapecNG.
-
11
Repository moving to https://github.com/cmendl/fermifab ! A quantum physics toolbox for small fermionic systems. Keywords: quantum mechanics, reduced density matrices, Slater determinants, second quantization, creation and annihilation operators
-
12
This is a parser in Java for Lisp S-expressions. An S-expression or sexp (for symbolic expression) is a convention for representing data using parentheses.
-
13
This is a sophisticated & integrated simulation and analysis environment for dynamical systems models of physical systems (ODEs, DAEs, maps, and hybrid systems). It supports symbolic math, optimization, continuation, data analysis, biological apps...
-
14
SCaVis
Scientific Computation and Visualization Environment
.... Linear, non-linear and symbolic regression are also available. Elements of symbolic computations using Octave/Matlab scripting are supported. The project was migrated to DataMelt. -
15
...), In Proceedings of 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2013), 2013. Minimal Quadtree Format for Compression of Sparse Matrices Storage (I. Šimeček, D. Langr, P. Tvrdik), In 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'2012), 2012.
-
16
slc
Symbolic Lambda Calculus
Symbolic Lambda Calculus is a logical formalism based on lambda calculus and combinatory logic, in which there is only one kind of objects, which can represent either terms or equalities. It uses de Bruijn's and lambda calculus notations. -
17
C-IL2P
Original C-IL2P
This is a C++ implementation of the original C-IL2P system, invented by Artur D'Avila Garcez and Gerson Zaverucha. C-IL2P is a neural-symbolic learning system which uses a propositional logic program to create a three-layer recursive neural network and uses back-propagation to learn from examples. -
18
Duplicate Files Finder is a cross-platform application for finding and removing duplicate files by deleting, creating hardlinks or creating symbolic links. A special algorithm minimizes the amount of data read from disk, so the program is very fast.
-
19
Wedge is a C++ library based on GiNaC for symbolic computations in differential geometry. The project webpage has moved to https://github.com/diego-conti/wedge
-
20
Simcas is a simple and very flexible analog simulator. SimCAS uses symbolic equations to define components and solves the net system by using a "Computer Algebra System" algorithm.
-
21
This library is intended to provide a minimal C/C++ API to efficiently create, manipulate, and parse LISP-style symbolic expressions.
-
22
SymSAP
SymSAP - A Symbolic Structural Analysis Program
SymSAP is a little program, written in Maxima language, to perform symbolic matrix analysis of structures. SymSAP aims to become a powerful didactic tool to help students learn structural analysis. -
23
SAC - Symbolic Analysis and Control
CAS routines for theoretical analysis of nonlinear time-delay systems
SAC (Symbolic Analysis and Control) is a toolbox for people working in control theory. It will help to the analysis and synthesis of nonlinear systems described by state equations (with or without delays). -
24
This is a C source code scanner based on symbolic logic. It analyses C source code (especially that of the Linux kernel, at which it is aimed) for programming errors and vulnerabilities. The tests are defined by the user.
-
25
lagrange_simulation_mechanics
simulations with Lagrangian method,both symbolic and by numeric deriv
alleged to the video 'tutorial' "the Mechanics and its Simulation". Simulation with Lagrangian method, both symbolic, and by numerical derivation. All well-grouped in folders. there is also a 'review' in 3 demos of the Newtonian dynamics: mass-spring systems. most of progs are written in C, with use of SDL lib to display simple graphics and have real-time interactivity. As to programming complexity, it's very simple... this all aims at classical physics simulation in a simple but efficient way...