Search Results for "knowledge"

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

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

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

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

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

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

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

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

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

Maket is a instrument for building knowledge bases for economics domains. The project has moved to http://gitorious.org/maket

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.

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.

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.

MathMLWYSIWYGEditor allows users to generate mathematical, physical and engineering formulas using the mathematical markup language, MathML. Requires hardly any knowledge on MathML.

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.