Search Results for "text based"

MathCode is a terminal-based AI coding assistant focused on mathematical formalization and theorem proving. It is designed to transform plain-language mathematical reasoning into verified Lean 4 code and formal proofs. The project combines AI agents with Lean Language Server Protocol integration, allowing it to inspect compiler feedback, search for lemmas, and iteratively repair failed proof attempts.

TXM is a free and open-source cross-platform Unicode & XML based text analysis environment and graphical client, supporting Windows, Linux and Mac OS X. It can also be used online as a J2EE standard compliant web portal (GWT based) with access control built in. DOWNLOAD LATEST VERSION OF TXM : http://textometrie.ens-lyon.fr/spip.php?rubrique61&lang=en TXM offers a comprehensive range of analysis tools (concordances, collocate search, frequency lists, etc.) based on the powerfull CQP full text search engine (http://cwb.sourceforge.net) and a range of statistical functions (factorial analysis, classification, cooccurrency analysis, etc.) based on R packages (http://www.r-project.org). ...

Vytics lets you query and plot csv data, Excel files, databases (SQL and NoSQL). You can also organize your queries, data and graphs into reports and projects.

The Logic Calculator is an application useful to perform logical operations. It has three modes: (1) Evaluation of logic formulae: In this mode we have the basic boolean operations (negation, conjunction, disjunction, conditional and biconditional) so the user can insert the logic formula and the Logic Calculator displays the truth table along with the models of the formula. (2) Logical entailment: In this mode the user can insert a number of premises followed by a number of...

Not working yet. To deal with the Halting Problem, computing and data are navigated using debugger ops: linearForward and treeForward, which navigate an astronomically large bit string where 1 is ( and 0 is ). All pairs are derived from (). For example, true is represented as ((()())()), and false is (()(()())). It appears related to the church encoding of lambda where T chooses first parameter and F chooses second, of a pair. Continuations are nearly finished code and are represented as a...

Visual Math Editor New Version “ It now offers more than 730 LaTeX symbols and 210 AsciiMath symbols. It now works in all modern browsers without plugin. It now works with LaTeX, AsciiMath, MathML and HTML syntaxes. It improves the ergonomics of the user interface.” VisualMathEditor is a LaTeX, AsciiMath and MathML editor developed in Javascript and HTML. It operates independently on the web or locally. It has many features and menus that help the equation-entry and allow their...

The program evaluates ordinal expressions and relations. displaying the normal form output in plain text and/or TeX format. It supports notations for ordinals through and somewhat beyond those definable by the Veblen function.

PTools is a set of useful tools written in Pascal. It includes: scientific calculator, archiver, text editor, remote adminitration and more. It is designed to be portable across operating systems, specially Java-based mobiles, Windows and Unixes.

Collection of several multi-purpose Java libraries. --- knowceans-tools = collection of Java utility classes. --- Highlights: --- org.knowceans.util: IndexQuickSort, TableList: apply order of one array/list to others +++ Vectors, ArrayUtils: array convenience +++ RandomSamplers, CokusRandom, ArmSampler, Densities: random sampling and distributions +++ Arguments: command line parser +++ StopWatch, Which, ExternalProcess: runtime stuff +++ ParallelFor: OpenMP workalike +++ PatternString,...

EXTE recognizes temporal expressions in a text. Temporal expressions are any references to the TIME e.g.: "today", "12th march 2006", "as soon as he woke up". This analyzer will recognize three languages: Spanish, English and French.

Mathematics formula renderer for Microsoft Word. Easy to use and really fast + Mathematics drawing toolbar for Microsoft Word + Math exercices storage Database for Microsoft Access. Available in French and English!!!

Misc packages including a matrix application, a text based minesweeper, and simple console functions bundled to be run from a virtual console. Some packages are independently runnable. http://damf.sourceforge.net/ for more information.

This is a collection of Java Applications, Libraries and Apletts. Also some mathematial applications are contained.

FarsiTeX is a free Persian/English bidirectional typesetting system based on Donald Knuth's TeX and Leslie Lamport's LaTeX. Currently FarsiTeX is based on old LaTeX2.09. Windows and Linux ports are available.

MMOpenGraph is a set of JAVA-Classes to represent graphs within java. It can load and save graphs to serialized or text-based files and analyze graphs to find shortest paths.

MathML to Braille translator. It's writen in Java + XSL and it uses the Saxon XSLT processor for XML transformations.

Web pages are not just for clicking. Every web page has powerful built-in math & text processing. By using logic to treat ideas mathematically, web pages can be a tool for decision making. This project will show you how, starting with a few games.

The MDS is sponsored by the Applied Math dept at the U Colorado, Boulder. We have created a system for presenting a mathematical text online, letting users embed discussions (including math symbols!) directly in the text.

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