Search Results for "check"
Sort By:
Showing 23 open source projects for "check"
View related business solutions-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
1
preMath
Basic Maths for pre-school
It a basic Maths program to help children to count. -
2
UnBBayes
Framework & GUI for Bayes Nets and other probabilistic models.
...It supports Bayesian networks, influence diagrams, MSBN, OOBN, HBN, MEBN/PR-OWL, PRM, structure, parameter and incremental learning. Please, visit our wiki (https://sourceforge.net/p/unbbayes/wiki/Home/) for more information. Check out the license section (https://sourceforge.net/p/unbbayes/wiki/License/) for our licensing policy. -
3
Advanced Trigonometry Calculator
Precision Trigonometry: Advanced Calculator for Complex Math
Advanced Trigonometry Calculator is equipped with a user-friendly interface that allows for easy input of problems and instant computation. Professionals such as engineers who need to perform advanced trigonometric calculations in their work will find this tool extremely useful. ATC Online Alpha: https://advantrigoncalc.sourceforge.io/atc/ More info by clicking below: https://advantrigoncalc.sourceforge.io/ Advanced Trigonometry Calculator was only and always only developed by... -
4
relations
Kotlin library to analyze finite heterogeneous relations and endorelat
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
5
yafu
Automated integer factorization
Check yafu on github for the latest code. YAFU (with assistance from other free software) uses the most powerful modern algorithms (and implementations of them) to factor input integers in a completely automated way. The automation within YAFU is state-of-the-art, combining factorization algorithms in an intelligent and adaptive methodology that minimizes the time to find the factors of arbitrary input integers. -
6
Konbu Check
Linear constraint feasibility check and get program.
This program aims to check and gain a inner point from multiple set of linear constraints. This software works better in the case that range of variables are known and parameters are configured so. C++ and Eigen library needed, and to calculate more accurate, we may need mpfr++ library or, QD library. Freezed. -
7
Javaluator
A java infix evaluator based on "Shunting Yard" algorithm.
... - Highly configurable: Reduce the built-in operator or function sets, define your own brackets. - Extensible: Define your own grammar, or extends the existing one. - Localizable: Define localized names for functions or constants. - Syntax check - Small footprint: 26kB, no additionnal library required. - Fully documented Please visit the project site to learn more : http://javaluator.fathzer.com If you use Javaluator in your product, we will be happy to add a link to your product in the Javaluator web site. Send an email to javaluator@fathzer.com. If you think Javaluator is valuable, vote up below. -
8
Numerics for Chemical Engineering
Numerical models for chemical and process engineering
...The project includes the following ready to use software all based on the same core library: * Online Calculators at www.chesolver.com * Extensions for Libreoffice/Openoffice Calc spreadsheet: - NCE: https://extensions.libreoffice.org/extensions/nce - NCE-Units: https://extensions.libreoffice.org/extensions/nce-units Check out also our video channel: https://www.youtube.com/channel/UCt2EGdw33k2u19PnZAi8YJA -
9
JStats
JStats is a Java application/applet for statistical testing.
...The following tests are supported: * Parametric tests: T-test, ANOVA, Repeated Measures ANOVA * Non-parametric tests: Wilcoxon Rank-Sum, Wilcoxon Signed-Ranks, Kruskal-Wallis, Friedman * Check if datasets are normally distributed: Jarque-Bera, Shapiro-Wilk * Check if datasets have equal variances: F-test, Bartlett's test, John, Nagao and Sugiura's test * Correlation: Correlation coefficient, Spearman Rank correlation, linear regression * Confidence intervals test * Outliers: Generalized Extreme Studentized (ESD) test, outliers in ANOVA The latest version is available as applet on http://aiguy.org/Statistics.html -
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
10
WOLFGANG
Editor for Petri nets
Wolfgang is a lightweight tool that allows users to easily create and edit Petri nets and check them against general and workflow specific net properties. Specifically, Wolfgang supports full PNML conform editing functionality of Place-Transition Nets (P/T-Nets) and Colored Petri Nets (CPN) as they are defined in the SEPIA package. Its simple and easy to use interface allows to quickly create Petri nets from scratch, edit them graphically in many ways, store and even export them as PDFs. ... -
11
JBernstein
JBernstein: Exploration techniques for non-linear constraint checking
...Concerning performance, the tool enables to check all examples in the PVS Bernstein testsuite within a second, which can be an order of magnitude faster than some other tools such as QEPCAD or REDLOG. Although JBernstein uses double, it offers automatic error-estimation capabilities (experimental) so that the generated result is correct (the solver may return unknown when the error-estimate is too large) -
12
...THE PROJECT'S CODE BASE HAS BEEN MOVED TO GITHUB: https://github.com/lene/HyperspaceExplorer The Git repository on SourceForge will be kept in sync with GitHub at least for the time being, but for the latest commits you should check the GitHub Project. If you want to report a bug or a feature request, please use the GitHub issue tracker at https://github.com/lene/HyperspaceExplorer/issues
-
13
math toolkit
A C++ and Python library for finance, statistics and linear algebra.
...And some auxiliary features like random number generators, equation solution, numerical integration, permutation/combination and gcd/lcm etc. It is aimed to be a convenient and handy toolkit to check out your ideas. -
14
Robust Correlation Toolbox
Free Matlab toolbox to compute robust correlations
The Robust Correlation Toolbox is a free collection of Matlab functions allowing to visualize data in univariate and bivariate space, check assumptions of normality and homoscedasticity and compute Pearson's and Spearman's, percentage bend, and skipped correlations with bootstrapped confidence intervals - see http://www.frontiersin.org/Quantitative_Psychology_and_Measurement/10.3389/fpsyg.2012.00606/full -- code moved to https://github.com/CPernet/robustcorrtool -
15
The ntcc bounded-time Model Checker
to prove if a CLTL formula satisfy a ntcc process
The ntcc bounded-time model checker allow you to check if constraint linear time (CLTL) formulae satisfy a Non-deterministic Times Concurrent Constraint (ntcc) processes. Try it! -
16
aal
The Advanced Algebraic Language.
The Advanced Algebraic Language (AAL) is a very dynamic programming language designed to fill the void that has appeared between mainstream languages and algebra. As a result its main focus is ease of use for math problems. To download AAL check out the source code repository. There are versions available for windows and linux with both 32 and 64 bit native binaries: http://svn.code.sf.net/p/aal-lang/code/trunk/bin/ -
17
This application help to understand and/or check the result of a single iteration in the simplex method.
-
18
This is a simple program that will factor a quadratic trinomial using both "guess-and-check" and the quadratic formula. You input a, b, and c, where ax^2+bx+c=0; you will get a result in the form of (ax+b)(cx+d)=0 and x=a or x=b.
-
19
HicCalc is a scientific utility written in Java,that runs on all java supported operating systems. The current release contains the graphing part of the product. Please visit http://www.hicsys.com/hiccalc.htm to check out the online demo.
-
20
Are you always tired of searching the Windows calculator from some weird location from you PC? Zinuc is a web only, very simple, but powerful calculator. You don't have to download anything to use it. Check out the web pages to find out more.
-
21
This intuitive (and fully configurable) tool will help users to generate and check truth tables of many variables. You'll be able to work with Clasic logic and Lukasiewicz, Kleene & Bochvar and Gödel multivalued logics.
-
22
A KDE program that calculates polynomes based on given data coordinates. Update 2020-01-04: Please check Qt 5.9 implementation: https://sourceforge.net/projects/kpolynomev2/
-
23
A Powerful tool that supports differentiation,plotting 2d and 3d graphs(cartesian,spherical polar),number theoretic commands like probabilistic primality and factoring,permutation,partition , and fraction-recurring decimal conversion !<check screenshots>
- Previous
- You're on page 1
- Next
