Search Results for "knowledge"

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...

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..

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.

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.

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).

...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. ...

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.

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.

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.

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.

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.

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.

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.

Knowledge-based Agent with capabilities to reason, learn and become an expert in Mathematics.

A web-based, automated search engine that responds to user feedback through the use of artificial intelligence.

reputron is a knowledge extraction engine platform that covers all aspect of text mining, relevance, indexing and querying on a corpus of text documents.