Search Results for "rule"

...AlphaGeometry integrates a symbolic deduction engine with a transformer-based language model to propose and validate geometric constructions in a stepwise proof process. The DDAR solver focuses purely on rule-based reasoning, while AlphaGeometry enhances this by using a learned model to suggest auxiliary constructions when logical reasoning alone is insufficient. The repository includes pre-trained weights, vocabulary files, and detailed configuration options for reproducing experiments.

Schur is a standalone program for interactively calculating properties of Lie groups and symmetric functions. Schur has been designed to answer questions of relevance to a wide range of problems of interest to chemists, mathematicians, computer scientists,...

popt4jlib is an open-source parallel optimization library for the Java programming language supporting both shared memory and distributed message passing models. Implements a number of meta-heuristic algorithms for Non-Linear Programming, including Genetic Algorithms, Differential Evolution, Evolutionary Algorithms, Simulated Annealing, Particle Swarm Optimization, Firefly Algorithm, Monte-Carlo Search, Local Search algorithms, Gradient-Descent-based algorithms, as well as some well-known...

gattMath is a educational math (graphical) program that show some concepts behind Integral and Differential Calculus, like Riemann, Simpson, Darboux, Trapezoid, Monte-Carlo integration, derivative, antiderivative, tangent,..., and sure a plotter.

Bellman, named after the character in Lewis Carroll's The Hunting of the Snark, is a program for searching for catalytic interactions in Conway's Game of Life and potentially other similar cellular automata. Results are derived directly from the automaton's evolution rule, not generated from a list of candidate catalysts as with previous searchers.

...It utilizes BLAS and LAPACK libraries optimized for modern multi-core processors. It's interactive. It allows you to start a solution by mouse click on a plane. It's precise. It uses Runge Rule to adjust step length to satisfy required precision on each step. It's effective. When it needs to compute derivatives (Jacobian matrix, for example) it does that analytically, i.e. without using numerical methods. It's portable. It works on Windows and Linux 32 and 64 bit and Mac OS X 64 bit. It's open. It allows you to implement and embed your own algorithms (aka "solvers"). ...

Some (web based) implementations of cellular automata like Conway's Game of Life.

An elementary cellular automaton simulator using a glider-based model to easily identify and insert gliders and repeating patterns.

Cellular Automata simulator. Native code (fast) and modular design: update rule, topology, time, measurement, initialization are independant. No GUI (for now...): configuration file (commented default automatically generated) overridable by command line.

JResolution is a simple, flexible, easily-maintained Java program for resolution-theorem proving which allows re-configurations for the various restrictions of the resolution-rule as determined by an (expert) user.

Anarchonomy is a Java application simulating AI agent based production, consumption, trade and force with a minimum of economic assumptions, letting users create and change their own rule and scenario sets.

A Java application to visualize fuzzy rules written in ARL (ABLE Rule Language).

This is a slide rule emulator based on the classic Pickett slide rule design. It is written in Python, so the name "pyckett" is appropriate. It is suitable as an example of object-oriented Python software construction, including multiple inheritance.

Given a String , returns the next logically sequential string defined by a rule. The basic rule is, given a sequence of alphabets, it checks the string and returns a new string with one or more alteration. javadocs and source codes available inside.