Search Results for "owlapi-api"
Sort By:
Showing 35 open source projects for "owlapi-api"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
Say goodbye to broken revenue funnels and poor customer experiencesLeanData is a Demand Management solution that supports all go-to-market strategies such as account-based sales development, geo-based territories, and more. LeanData features a visual, intuitive workflow native to Salesforce that enables users to view their entire lead flow in one interface. LeanData allows users to access the drag-and-drop feature to route their leads. LeanData also features an algorithms match that uses multiple fields in Salesforce.
-
1
OpenGL Mathematics
Highly Optimized Graphics Math (glm) for C
Highly optimized 2D|3D math library, also known as OpenGL Mathematics (glm) for `C`. cglm provides lot of utils to help math operations to be fast and quick to write. It is community-friendly, feel free to bring any issues, bugs you faced. Almost all functions (inline versions) and parameters are documented inside the corresponding headers. OpenGL-related functions are dropped to make this lib platform/third-party independent. Make sure you have the latest version and feel free to report... -
2
gretl
A cross-platform statistical package for econometric analysis
gretl is a cross-platform software package for econometric analysis, written in the C programming language. -
3
mers
Portable software and data related to Mersenne numbers
Portable software related to Mersenne numbers. Useful to automate certain tasks related to GIMPS (www.mersenne.org) for computers that cannot run the GIMPS software for whatever reason. Much of the code has been in use since 1990 or so by a few people. The project web site at https://mers.sourceforge.io/mersenne.html has data about Mersenne numbers from many people generated by this and other software, notably from the GIMPS project. -
4
Multifario is a C API for computing manifolds. The manifold is represented as an atlas of charts whose domains are balls. Multifario can compute implicitly defined manifolds and invariant manifolds. See also https://multifario.sourceforge.io/ Keywords: Continuation, Bifurcation.
-
The AI workplace management platformBy combining AI workflows, predictive intelligence, and automated insights, OfficeSpace gives leaders a complete view of how their spaces are used and how people work. Facilities, IT, HR, and Real Estate teams use OfficeSpace to optimize space utilization, enhance employee experience, and reduce portfolio costs with precision.
-
5
TXM
Unicode XML TEI text analysis platform
TXM is a free and open-source cross-platform Unicode & XML based text analysis environment and graphical client, supporting Windows, Linux and Mac OS X. It can also be used online as a J2EE standard compliant web portal (GWT based) with access control built in. DOWNLOAD LATEST VERSION OF TXM : http://textometrie.ens-lyon.fr/spip.php?rubrique61&lang=en TXM offers a comprehensive range of analysis tools (concordances, collocate search, frequency lists, etc.) based on the powerfull CQP... -
6
Etchimaths (ALL categories)
This is a maths solving app and study guide for various levels..
Etchimaths is a Mathematics software, a helping tool for Mathematics simulation(solving) and study.It is a solving as well as a teaching software. It involves Mathematics programs at various levels of studies;they include: 1.Etchimaths(O'LEVEL) 2.Etchimaths(A'LEVEL) 3.Etchimaths(UNIVERSITY) 4.Etchimaths(BEPC/BEPC+1) 5.Etchimaths(BAC) 6.Etchimaths(UNIVERSITE) 7.Etchimaths(ULTIMATE) and more to come in future.. -
7
lpsolve
Mixed Integer Linear Programming (MILP) solver.
Mixed Integer Linear Programming (MILP) solver lp_solve solves pure linear, (mixed) integer/binary, semi-cont and special ordered sets (SOS) models.lp_solve is written in ANSI C and can be compiled on many different platforms like Linux and WINDOWS This project is moved to github: https://lp-solve.github.io/ -
8
newLISP for BSDs, LINUX, MacOS X, SunOS and Win32: small, fast 350+ functions, a -C-, MySQL, PostgreSQL, SQLite, ODBC, TCP/IP, UDP, XML, Java interface, string processing, regular expressions , math, financial, statistical functions, Win32 DLL
-
9
ATLAS (Automatically Tuned Linear Algebra Software) provides highly optimized Linear Algebra kernels for arbitrary cache-based architectures. ATLAS provides ANSI C and Fortran77 interfaces for the entire BLAS API, and a small portion of the LAPACK AP
-
The Most Powerful Software Platform for EHSQ and ESG ManagementChoose from a complete set of software solutions across EHSQ that address all aspects of top performing Environmental, Health and Safety, and Quality management programs.
-
10
GLPK for Windows
Windows binaries for the GNU Linear Programming Kit (GLPK)
GLPK 4.65 (GNU Linear Programming Kit, http://www.gnu.org/software/glpk/) is a solver for large-scale linear programming (LP), and mixed integer programming (MIP). This project supplies the most recent Windows executables - 2018-03-17. Linux and OSX users should download the source distribution from http://ftp.gnu.org/gnu/glpk -
11
mathSuite
Powerful Calculus Environment and Matrices Handling Engine
mathSuite is a very powerful Mathematical Suite which deals principally with complex algebric and geometric operations. It is powered by the fabulous ExprEval C Parser. The main purpose of this project is fast math-oriented algorithm virtualization, with an optimized direct text interface. Also it gives you a very powerful and fast Calculus Environment which let you handle easily interchangeable variable lists, matrices, LOGS and Settings Layouts with optimized Items Lists Managing Engine.... -
12
Trad4 is a fully concurrent, thread safe, graph-based programming language that scales linearly on multiple cores. It is initially intended for deployment in the financial industry to model real-time risk.
-
13
allink
Software for data analysis, image processing, simulations, solver.
Collection of utilities based on two basics classes: Matematica and VarData. Matematica) performs math operations on vectors and matrices for smoothing, interpolation, convolution, image processing... VarData) manipulate a structure of points connected by links. Addraw) openGL engine. ElPoly) analyze mechanical properties of polymer and membrane like structures. Addyn) perform molecular dynamics and Monte Carlo simulations and has a solver for 4th oder PDE. Avvis) perform all the... -
14
libfgen
Library for optimization using a genetic algorithm or particle swarms
libfgen is a library that implements an efficient and customizable genetic algorithm (GA). It also provides particle swarm optimization (PSO) functionality and an interface for real-valued function minimization or model fitting. It is written in C, but can also be compiled with a C++ compiler. Both Linux and Windows are supported. -
15
BP (Bilinear Pairing)
library for Bilinear Pairing
...The size is only 3.7% of the size of the BPC library. Maximum supported group size is 911 bits. It is easy to compile the library for Android, ARM or x86 CPU. The API of the library is compatible with the PBC library. It is easy for the PBC library users to port their programs to this library, only with little modification. -
16
Gradesystem
Gradesystem
C programmed text-based software. Inputs : -Name of a course -Number of students -The 100% value of a mark -All the marks Then it estimates the Standard Deviation and grades, then assigns the marks to the grades inside a text. -
17
cuLsoda is an implementation of the Livermore Solver for Ordinary Differential Equations with Automatic switching for stiff and non-stiff problems (LSODA), written in NVIDIA's C for CUDA GPGPU API. NOTE: This repository is now deprecated and replaced by a new one at GitHub: https://github.com/Celemourn/cuLsoda
-
18
That project aims at studying and comparing typical airline IT methods, for instance RM-related algorithms. It works from a Unix/Linux/Mac command-line, and exposes basic APIs. It is being developed in C++, with Python wrappers for some components.
-
19
Compilation of Physics Calculators
A compliation of Physics derived claculators
A NEW GUI VERSION WILL BE RELEASED SOON! Thank you for visiting the Physics Calculator, provided by PIezoSystems Inc., please visit their company website at https://piezosystems.org. For other downloads, please visit our github page, https://github.com/PiezoSystems. We hope that you find this program useful and easy to use, for troubleshooting, please email us, contact@piezosystems.org. If any bugs were found, please email us at bugs@piezosystems.org. -
20
LibAran is a 2D/3D Fast Multipole Method software library. Distributed under the GNU LGPL, it provides a C API to allow developers to use such algorithms in their own applications.
-
21
DLog is an Description Logic ABox reasoner that uses resolution. The basic idea is that a DL knowledge base is transformed into a Prolog program without any knowledge on the content of the ABox. The answers are obtained during normal Prolog execution.
-
22
The UMCL library provides a single API to developers of applications necessitating conversions between different Maths formats and especially Braille specific notations.
-
23
The aim of this project is to create a series of User Defined Functions, for MySQL servers. (Formerly known as MySQL/Scientific)
-
24
Java OpenCL Process Virtual Machine. Spring IoC based framework for complex data analysis with OpenCL computing.
-
25
A fully customizable, extensible, scalable computational engine pluggable with various statistical and mathematical engines (R, Matlab, Octave, scilab...) The main focus and datatype considered is timeseries: the project contains also a portable and effi
