Search Results for "system 1"

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

With its updated version of Autograd, JAX can automatically differentiate native Python and NumPy functions. It can differentiate through loops, branches, recursion, and closures, and it can take derivatives of derivatives of derivatives. It supports reverse-mode differentiation (a.k.a. backpropagation) via grad as well as forward-mode differentiation, and the two can be composed arbitrarily to any order. What’s new is that JAX uses XLA to compile and run your NumPy programs on GPUs and...

...Sign up to Minsky's Patreon page (for as little as $1 a month) at https://www.patreon.com/Ravelation/. This creates a user community, which SourceForge doesn't facilitate.

TAVIA is a free and open-source desktop application for statistical analysis, scientific graphing, reproducible workflows, and research project management. It combines editable data tables, statistical tests, regression, dose-response analysis, publication-quality graphs, reports, project history, and reproducibility tools in one workspace. Analyses and graphs remain linked to their source data so results can be refreshed when data changes. TAVIA supports Windows, Linux, and macOS, includes...

...AirTSP/AirTSP is the one of the components of the Travel Market Simulator (http://www.travel-market-simulator). However, it may be used in a stand-alone mode.

Multi-categorization Recommendation Adjusting (MRA) is to optimize the results of recommendation based on traditional(basic) recommendation models, through introducing objective category information and taking use of the feature that users always get the habits of preferring certain categories. Besides this, there are two advantages of this improved model: 1) it can be easily applied to any kind of existing recommendation models. And 2) a controller is set in this improved model to provide...

PyGraphMath is a system for the manipulation of symbolic and numerical expr., equations, vectors .. (Maxima). Main focus lies on direct 3D graphical viewport (openGL) which displays math objects. Syntax is "pseudo-python" and supports objects, loops .. *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** OBSOLETE: please use instead http://www.sagemath.org/ with PyODE (or pyphyssim/PPE) *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** ***

C++ template class library and Python modules for Computational Analytic Geometry, which define classes of geometry objects in 2D and 3D Cartesian coordinate system, such as line, circle, curve ... as well as relations and transform operations of them.

Robotic Manipulator Development and Simulation Environment in Python and Blender. IMPORTANT: Development moved to github. http://github.com/ajnsit/r2d3

The Wolfram Machine project is an effort to create a set of documentation and useful modules (both hardware and software) for a computing architecture based on the mathematical theories presented in Steven Wolfram's book _A_New_Kind_of_Science_.

This application is designed to solve problems of transshipment. This problem of the graph theory consists in finding a negative stream on the arcs which minimizes the total cost of the transport in a network R(V,E,b,c) where : - V = vertex - E

A spreadsheet/matlab-like tool for numerical programming with python.