Search Results for "text graph"

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

pgfplots - A TeX package to draw normal and/or logarithmic plots directly in TeX in two and three dimensions with a user-friendly interface and pgfplotstable - a TeX package to round and format numerical tables. Examples in manuals and/or on web site. ATTENTION: As of February 2020, the development has been moved to https://github.com/pgf-tikz/pgfplots ! Please refer to the new page for downloads and change requests! This page is kept in read-only mode.

Lottie Vectors is an application for Matlab that alows you to do some pretty neat things -with vectors. More exactly -displaying them in ways that hopefully will allow you to explore and better understand your vector data. The basic idea is simple, take a vector defined in one of a few different types of data formats and map it on the screen. Add another vector and you start to form a 'route'. Each route or position vector can be accompanied with a 'force' vector. This can be used to...

PetriKit is a modular toolkit for Petri Net analysis. It allows the extraction of basic properties, extraction of invariants, and generation of reachability graph. Results can be formatted in plain text, HTML or XML files.