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.

Advanced Trigonometry Calculator is equipped with a user-friendly interface that allows for easy input of problems and instant computation. Professionals such as engineers who need to perform advanced trigonometric calculations in their work will find this tool extremely useful. ATC Online Alpha: https://advantrigoncalc.sourceforge.io/atc/ More info by clicking below: https://advantrigoncalc.sourceforge.io/ Advanced Trigonometry Calculator was only and always only developed by...

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

Quickplot is a fast interactive 2D plotter with infinite zooming, value picking, pipe input, and unlimited plots displayed. Quickplot is meant for looking at your data quickly and of secondary importance is making static pictures of your data.

... - Implemented a 3d surface plot (GLSurface) based on OpenGL (ScienPlot v1.3.2 and above) - ColorMap surface, trisurface, Pie, Polar plots, and 3D height field, 3dBar, scatter plots (under developing), and more - Column by column plotting/calculation - LaTex commands enclosed by $ symbols can be used for the labels in Graph - Accept txt(Text) and csv(Comma separated values) formatted data - Save, copy, print Graph - Use spread sheets to display data - Textboard to organize the results - Graphs in a publishable quality - Source codes based on: Python Numpy Scipy Matplotlib WxPython Visvis etc. - Special functions - Drag and drop data files - Python console is back (since v1.3.3), capable of reusing column data - Debye and Guinier models for SANS / SAX data - More apps in our Web below

...Raw data obtained by the experiment is input data for Gait Monitoring+ system. The software gets the data from the user, processes the data and extracts time and acceleration values of Y-axis in a text file. It recognizes the start of a cycle and the end of a cycle of each cycles. It calculates average acceleration cycle of all cycles, and it calculates the positive peak acceleration (PPA) and the negative peak acceleration (NPA). It displays and saves numerical results and the graph on the computer. These results are beneficial to the gait researchers in understanding the patterns of normal walking and running befo

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.

A set of small utilities realizing theoretical graph algorithms (including tree algorithms). The utilities work with simple text input/output formats.