Search Results for "no knowledge"
Sort By:
Showing 31 open source projects for "no knowledge"
View related business solutions-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
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.
-
1
MathCode
A Frontier Mathematical Coding Agent
...It supports an agentic proving workflow where the system behaves more like an interactive mathematical engineer than a one-shot text generator. MathCode also includes visualization-oriented tooling such as theorem graph generation for Obsidian knowledge workflows. Its main value is bridging natural-language mathematics with formal verification systems in a way that is more automated, inspectable, and iterative than traditional theorem-proving pipelines. -
2
Mathematics
Accumulation of mathematical knowledge, matrix numerical optimization
Mathematics is a comprehensive collection of notes, resources, and references spanning a wide range of mathematical topics. The repository organizes material across pure and applied mathematics, including calculus, linear algebra, probability, statistics, and optimization. It also extends into computational and algorithmic applications of mathematics, making it a useful reference for both academic study and practical problem-solving. The goal is to provide learners, researchers, and... -
3
Rainflow
Fast rainflow counting written in C (C99)
..."Standard Practices for Cycle Counting in Fatigue Analysis", West Conshohocken, PA: ASTM International, 2011. [2] [https://community.plm.automation.siemens.com/t5/Testing-Knowledge-Base/Rainflow-Counting/ta-p/383093] -
4
MTSF
Multivariate Time Series Forecasting.
This is the implementation of the technique allowing for Multivariate Time Series Forecasting using basic knowledge of Calculus and Algebra at the High School level. -
Compliant and Reliable File Transfers Backed by Top Security CertificationsStop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
-
5
A shell for using the methods of Contextual Logic to do qualitative data analysis, mathematical research on the theory underlying Conceptual Knowledge Processing, or learning Formal Concept Analysis. It uses the framework provided by the Tockit project..
-
6
VBS for Research on the Internet
Welcome to the Volunteer-Based System for Research on the Internet!
Welcome to the Volunteer-Based System for Research on the Internet! This system is designed to provide detail data about applications used in the Internet. This information can be used for: - obtaining the knowledge which applications are most frequently used in the network - providing the users some basic statistics about their Internet connection usage (for example for which kinds of applications their connection is used the most) - creating scientific profiles of traffic generated by different applications or different groups of applications - creating a traffic generator, to imitate traffic generated by particular applications, or to imitate the real traffic in the network - implementing smart assessment of QoS in the network at the users' level and in the core of the network - obtaining precise data needed to train Machine Learning Algorithms - many more cases :-) -
7
Kohonen neural network library is a set of classes and functions for design, train and use Kohonen network (self organizing map) which is one of AI algorithms and useful tool for data mining and discovery knowledge in data (http://knnl.sf.net).
-
8
Education Ellie
Learning software for children and autistic
What is? Students with learning difficulties or mental disabilities have knowledge level and teaching methods similar to students in the first cycle of basic education. This software aims to help in the learning of these pupils and students of primary. Why Ellie? Ellie name comes from the software mascot is an owl (symbol of knowledge) red, interacting with people and help using software. Authors and Contributors Originally the software was developed by Pedro Luzio @pedroluzio, Programming student in Portugal Support or Contact Having trouble with software? ... -
9
Function Plotter
Plotting 2D mathematical functions
Function Plotter is a simple-to-use application that provides you with a quick and easy solution for plotting 2D mathematical functions. No advanced mathematics or programming knowledge is required, and the program can draw functions in milliseconds. It's based on Qt 5.5.0, OpenGL 2.0, and muparser 2.2.5. A complete list of all supported functions and operators is available on the muparser library website: www.beltoforion.de/article.php?a=muparser -
Atera - an All-in-one platform for IT managementYour IT essentials, integrated & elevated. Take your IT management from automated to autonomous, download Atera's agent to start your free trial!
-
10
Belief Reviser
Belief Revision via PS-Merge under constraints belief merging operator
Belief revision is a central topic in knowledge representation and reasoning. It consists in incorporating a new belief, changing as few as possible of the original beliefs while preserving consistency. Revision always considers new evidence as a better belief. Such new evidence is usually represented in the form of a propositional formula which must be preserved after the revision. -
11
Hilbert II - QEDEQ
proof verifier for mathematical proofs and documentation generator
In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started. -
12
Bayesian Network tools in Java (BNJ) is an open-source suite of software tools for research and development using graphical models of probability. It is published by the Kansas State University Laboratory for Knowledge Discovery in Databases (KDD).
-
13
BP (Bilinear Pairing)
library for Bilinear Pairing
...The bilinear pairing is a bilinear, non-degenerate map between G_1 and G_2 to an element in G_T. The users can build complex pairing-based software by the Pairing library without much knowledge of elliptic curves or pairing or number theory. The library is smaller than 57 Kbytes, suitable for hand held devices. 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. ... -
14
itermd
Software tools for applications of simulations by iterations.
...The claim of these tools is to facilitate the programming of simulations by providing routines to quickly generate: -display windows and input parameters -help to display the variation in the data as graphs -management of iterations Goal for the user: quickly programme his simulation. Requires knowledge of C language. Knowledge of gtk and cairo (for simple graphs) is not necessary. See examples. -sugar fermentation kinetics -parachute drop -cycle of a water tank heated by solar panels -curve of chase For your simulation, simply copy and adapt some lines corresponding explicit examples. -
15
Maket is a instrument for building knowledge bases for economics domains. The project has moved to http://gitorious.org/maket
-
16
Organization for Free Software in Education and Teaching. Our goal is to develop free software for education with knowledge sharing as our main concern. We already have developed software as DrGeo, GCompris, DrGenius and the live CD freeduc.
-
17
OpenForecast is a package of general purpose, forecasting models written in Java that can be applied to any data series. No knowledge of forecasting is required. Using this package, the most appropriate algorithm for your data will be selected.
-
18
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.
-
19
Educative desktop application that it's main goal is develop any kind of mathematical operation in an easy and quick way. It's focus to users that don't have programming knowledge.
-
20
EngLab is a cross-compile mathematical platform with a C like syntax to be used by both engineers and users with small programming knowledge. It also enables the user and community to easily compile their own functions as shared objects.
-
21
Tux's Turtle is a drawing environment for children. It uses geometrically-based "turtle graphics" (well known from Logo) but is completely immediate and programmed using single keypresses (like Delta Drawing). No knowledge of the editor is necessary.
-
22
A distributed effort to calculate pi across many computers, 9 digits at a time with minimal computer knowledge.
-
23
Ariel is an implementation of the quadratic sieve in Java. Ariel is simple to use and requires minimal knowledge of the sieve's mechanisms for factorizations.
-
24
Mathematics, Chemistry and Bio-informatics semantic knowledge editor and simulation environment. It should serve as interactive science learning program or science classroom notebook and workshop.
-
25
MathMLWYSIWYGEditor allows users to generate mathematical, physical and engineering formulas using the mathematical markup language, MathML. Requires hardly any knowledge on MathML.
