Search Results for "mathematical"

...RTextDoc has syntax highlighting, bracket matching, folding, document structure browser for sections and labels, bookmarks, manager for LaTeX symbols, an editor for mathematical equations,integrated BibTeX database manager and several tools to convert LaTeX to HTML and back. AsciiDoc files can be converted to DocBook, HTML and PDF files.

...MathOCR is a printed scientific document recognition system written in pure Java. MathOCR has the functionality of image preprocessing, layout analysis and character recognition, especially the ability to recognize mathematical expression. MathOCR can work do not depends on other OCR software.

NAT is a free universal Braille translator. It supports French Braille grade 1, mathematical Braille, Braille layout and reverse transcription. French Braille grade 2, music and other languages are currently under development.

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.

Easy Equations is a utility using which one can write the mathematical equations. The focus of this utility is to provide user friendly access to write mathematical equations which is helpful for students, lecturers, mathematicians and Research persons who prefer using mathematical equations in a document, PowerPoint or web sites. Works on Windows as well as Linux platforms. Software Requirements: JDK 7 or higher.

The metric project supplies, via the web, educational materials in mathematics and mathematics-based subjects. There are interactive explorations of mathematical ideas, self-test exercises, tools and tutorials.

...Key Features: Modular Architecture, Rich Graphics and UI Components, Comprehensive Game Logic and Character Management, Environment and World-Building Tools, Statistical and Mathematical Utilities, Enhanced Debugging and Logging, Data Management and Integration, Integrated LLM for NPC Dialog, Cross-Platform Compatibility Dive into the world of game development with AlizaGameAPI. Download the latest version, explore the detailed documentation, and join the community of developers pushing the boundaries of gaming technology.

It is JavaBean for view and editing mathematical equations in graphic mode.

WYSIWYG XML Editor for mathematical/text document creation and for technical use(FO, MathML, Svg). Using XSLT for producing view. View is rendered by: FOP and JEuclid. Editation is context sensitive. Eclipse RCP application, extendable by plugins.