Search Results for "symbolic"
Sort By:
103 programs for "symbolic" with 1 filter applied:
-
Speedy Claims became the top CMS-1500 Software by providing the best customer service imaginable to our thousands of clients all over America. Medical billing isn't the kind of thing most people get excited about - it is just a tedious task you have to do. But while it will never be a fun task, it doesn't have to be as difficult or time consumimg as it is now. With Speedy Claims CMS-1500 software you can get the job done quickly and easily, allowing you to focus on the things you love about your job, like helping patients. With a simple interface, powerful features to eliminate repetitive work, and unrivaled customer support, it's simply the best HCFA 1500 software available on the market. A powerful built-in error checking helps ensure your HCFA 1500 form is complete and correctly filled out, preventing CMS-1500 claims from being denied.
-
With AccountEdge, business owners can organize, process, and report on their financial information so they can focus on their business. Features include: accounting, integrated payroll, sales and purchases, contact management, inventory tracking, time billing, and more.
-
1
SymbolicUtils.jl
Symbolic expressions, rewriting and simplification
SymbolicUtils is a practical symbolic programming utility in Julia. It lets you create, rewrite and simplify symbolic expressions, and generate Julia code from them. SymbolicUtils.jl provides various utilities for symbolic computing. SymbolicUtils.jl is what one would use to build a Computer Algebra System (CAS). If you're looking for a complete CAS, similar to SymPy or Mathematica, see Symbolics.jl. If you want to build a crazy CAS for your weird Octonian algebras, you've come to the right... -
2
CasADi
CasADi is a symbolic framework for numeric optimization
CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained C-code generation and interfaces state-of-the-art codes such as SUNDIALS, IPOPT, etc. It can be used in C++, Python, or Matlab/Octave. CasADi's backbone is a symbolic framework implementing forward and reverse modes of AD on expression graphs to construct gradients, large-and-sparse Jacobians... -
3
PyTensor
Python library for defining and optimizing mathematical expressions
PyTensor is a fork of Aesara, a Python library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arrays. PyTensor is based on Theano, which has been powering large-scale computationally intensive scientific investigations since 2007. A hackable, pure-Python codebase. Extensible graph framework is suitable for rapid development of custom operators and symbolic optimizations. Implements an extensible graph transpilation framework... -
4
Metatheory.jl
General purpose algebraic metaprogramming
Metatheory.jl is a general purpose term rewriting, metaprogramming and algebraic computation library for the Julia programming language, designed to take advantage of the powerful reflection capabilities to bridge the gap between symbolic mathematics, abstract interpretation, equational reasoning, optimization, composable compiler transforms, and advanced homoiconic pattern matching features. The core features of Metatheory.jl are a powerful rewrite rule definition language, a vast library... -
ConnectWise CPQ, formerly ConnectWise Sell, is a professional quote and proposal automation software for IT solution providers. ConnectWise CPQ offers a wide range of tools that enables IT solution providers to save time, quote more, and win big. Top features include professional quote or proposal templates, product catalog and sourcing, workflow automation, sales reporting, and integrations with best-in-breed solutions like Cisco, Dell, HP, and Salesforce.
-
5
Catlab.jl
A framework for applied category theory in the Julia language
... category theory. Macros offer a convenient syntax for specifying categorical doctrines and type-safe symbolic manipulation systems. Wiring diagrams (aka string diagrams) are supported through specialized data structures and can be serialized to and from GraphML (an XML-based format) and JSON. -
6
Maxima -- GPL CAS based on DOE-MACSYMA
Computer Algebra System written in Common Lisp
Maxima is a computer algebra system comparable to commercial systems like Mathematica and Maple. It emphasizes symbolic mathematical computation: algebra, trigonometry, calculus, and much more. For example, Maxima solves x^2-r*x-s^2-r*s=0 giving the symbolic results [x=r+s, x=-s]. Maxima can calculate with exact integers and fractions, native floating-point and high-precision big floats. Maxima has user-friendly front-ends, an on-line manual, plotting commands, and numerical libraries. Users... -
7
DataMelt
Computation and Visualization environment
... and symbolic regression are also available. Neural networks and various data-manipulation methods are integrated using powerful Java API. Elements of symbolic computations using Octave/Matlab scripting are supported. -
8
moebinv
C++ libraries for manipulations in non-Euclidean geometry
These are two C++ libraries for symbolic, numeric and graphical manipulations in non-Euclidean geometry. There is GUI which allows to interact with these libraries by mouse clicks. On a dipper level the first library Cycle implements basic operations on cycles (quadrics) through FSCc construction. The second library Figure operates on ensembles of cycles connected by Moebius-invariant relations, e.g. orthogonality. Both libraries are based on the Clifford algebra capacities of the GiNaC... -
9
SNOBOL4, while known primarily as a string language excels at any task involving symbolic manipulations. It provides run time typing, garbage collection, user data types, on the fly compilation.
-
SysAid is an ITSM, Service Desk and Help Desk software solution that integrates all of the essential IT tools into one product. Its rich set of features include a powerful Help Desk, IT Asset Management, and other easy-to-use tools for analyzing and optimizing IT performance.
-
10
ECLiPSe CLP
ECLiPSe Constraint Logic Programming System
The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques. -
11
Alain is a symbolic, homoiconic programming language that employs parallel SLD resolution and pattern matching (unification). Data is represented using CONS lists of Unicode characters, while input and output operations make use of the file API. Please see FAQ.gmi and LICENSE.TXT in the source code bundle for more details.
-
12
Quaternion toolbox for Matlab
Quaternion and octonion toolbox for Matlab
Quaternion toolbox for Matlab is a toolbox that extends Matlab to handle matrices of quaternions with real and complex components. Many Matlab operators and functions are overloaded to work for real quaternion and complexified quaternion matrices. Version 2 of the toolbox adds support for octonions. Version 3 adds symbolic computation with quaternions, provided that you have the Symbolic Math Toolbox (if you don't the numeric functionality will still work). -
13
The LaTeX Equation Compiler is a preprocessor for LaTeX files that enables numeric and symbolic calculations. It reads equations specified by special keywords in the LaTeX file, manipulates them and calculates numeric values of variables. If your OS can install .deb packages, have a look at my PPA http://launchpad.net/~jrheinlaender/+archive/ppa
-
14
Symja Java Computer Algebra
Symja - Java computer algebra language & symbolic math library
Symja - computer algebra language and Java symbolic math library. Moved to https://github.com/axkr/symja_android_library. The Android App can be found at: https://github.com/axkr/symja-example -
15
pwmd
Serves XML element content over a UDS or TLS.
... document similar to a symbolic link in a filesystem. Pwmd also supports multiple connections to the same data file (with locking), obtaining a passphrase when needed via a pinentry program or key file, gpg-agent support as well as smartcards, caching options and more. -
16
bKappa
Cross-platform incremental backup
bKappa is a 2009 experiment in crude but transparent and cross-platform incremental backup. bKappa backups are simple directory trees and lists of files. They are easy to browse and examine and do not use symbolic or hard links. It is crude in the sense that bKappa only tracks files by name, not by content. This means it cannot detect that a file has been renamed and makes full copies of renamed and partially modified files. It generates standalone restore scripts for the POSIX shell... -
17
java symbolic computing library and math editor, with : polynomial system solving, vectors & matrices, factorization, derivatives, integrals (rational functions), boolean algebra, simplification, MathML output, java code generation, geometric algebra
-
18
Key Store
Scriptural Keys Restoration - decoded universally symbolic language
The Key Store is a directory where users can find the symbolic meaning to a word as defined in Holy Scripture. These are often referred to as the keys of the Kingdom of Heaven. Much like a secret code, the directory exposes a universal dialect, all but nearly lost throughout the Dark Ages of time. Yet, fragments of this language remained until today such as, Father = Time and Mother = Nature. The database is expandable to grow as more entries and the sources are uncovered. -
19
EVAlgebra - Clifford algebra calculator
A simple Clifford algebra calculator
EVAlgebra , symbolic Clifford algebra calculator (geometric algebra) , is an Eigenmath adaptation. EVAlgebra support space dimension from 1 to 4 with arbitrry signature. It is fully documented at evalgebra.org. You may write your own scripts to resolve specific problem. -
20
pybag
Crossplatform files synchronization and backup portable tool.
... with the bag. The synchronization process will only copy changed files. The program is cross-platform and independent from the OS and file system. You may easily synchronize files between Windows and Linux, for example. Symbolic links are supported on all systems (if the OS or file system does not support symlinks, then they are emulated). This program has a GUI and a command line interface. -
21
A symbolic framework for C++, Python and Octave implementing automatic differentiation by source code transformation in forward and reverse modes on sparse matrix-valued computational graphs.
-
22
MooseFS
Fault tolerant, POSIX-compliant, network distributed filesystem
MooseFS (MFS) is a fault tolerant, highly performing, scaling-out, network distributed file system. It spreads data over several physical servers which are visible to the user as one resource. For standard file operations MooseFS mounted with FUSE acts as other Unix-alike file systems: * A hierarchical structure (directory tree) * Stores POSIX file attributes (permissions, last access and modification times) Supports special files (block and character devices, pipes and sockets) * Symbolic... -
23
Simple Dumping Monitor for Arduino
Simple in use library to display dumps and debug Arduino sketches.
Simple Dumping Monitor Library (DumpMon) for Arduino-compatible ATmega microcontroller based boards allow to display either memory, registers and timer dumps and also interrupt vectors table dump. Beginning since version 0.6 functions of simple symbolic debugger are added. Being compiled the library requires about 11 KBytes of program memory (15 KBytes for Arduino MEGA). Requirements to RAM memory don't exceed 1 KByte (277 Bytes for dumpmon.pde example, 377 Bytes for dumpmonDebug.pde). -
24
jMIR
Music research software
jMIR is an open-source software suite implemented in Java for use in music information retrieval (MIR) research. It can be used to study music in the form of audio recordings, symbolic encodings and lyrical transcriptions, and can also mine cultural information from the Internet. It also includes tools for managing and profiling large music collections and for checking audio for production errors. jMIR includes software for extracting features, applying machine learning algorithms, applying... -
25
Java File Tree Walker
A console based File Tree Walker written in Java.
A file tree walker written in java consisting of three classes.