Search Results for "exploration"

...Use MathML, TeX, and ASCIImath as input and produce HTML+CSS, SVG, or MathML as output. MathJax works with screenreaders & provides expression zoom and interactive exploration. You also can copy equations into Office, LaTeX, wikis, and other software.

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. It supports an agentic proving workflow where the system behaves more like an interactive...

statsmodels is a Python module that provides classes and functions for the estimation of many different statistical models, as well as for conducting statistical tests, and statistical data exploration. An extensive list of result statistics are available for each estimator. The results are tested against existing statistical packages to ensure that they are correct. The package is released under the open source Modified BSD (3-clause) license. Generalized linear models with support for all of the one-parameter exponential family distributions. ...

...The goal is to provide learners, researchers, and developers with a consolidated source of foundational and advanced mathematical concepts. By gathering a diverse set of topics into one repository, it supports continuous learning and interdisciplinary exploration. Its open source nature allows for community contributions and adaptation to different educational or research needs.

The minepy homepage has moved to http://minepy.readthedocs.io. The download page is now at https://github.com/minepy/minepy/releases.

JBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. Concerning performance,...

IsaScheme is a collection of mathematical theory exploration tools for Isabelle, implementing the scheme-based mathematical theory exploration approach for theory formation.

VisIVO Server is a new tool specifically designed for a grid environment. This tool offers a framework for exploration of large-scale scientific datasets, particularly related to cosmological simulations.

Fractal View is a fractal viewing application used for exploration of common fractal sets. It runs in fullscreen, supports four different fractal sets, has 22 different color palettes, saves in png format, does antialiasing, and zooms in all sets.

Fractal Assistant is a pure Java fractal exploration utility. It is designed to be a user-friendly, highly configurable environment with support for pluggable module files.