Search Results for "cube 2 engine"

AlphaGeometry, developed by Google DeepMind, is a theorem-proving system that combines symbolic reasoning with deep learning to solve challenging geometry problems, such as those found in mathematical Olympiads. The repository provides the full implementation of DDAR (Deductive Difference and Abductive Reasoning) and AlphaGeometry, two automated geometry solvers described in the 2024 Nature paper “Solving Olympiad Geometry without Human Demonstrations.” 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. ...

This project will be a project that will be used by Speleologist (cavers) to help aid in the mapping of the underground world. It will be simple at first.. only allowing the entry of survey (dist/azmith/V-angle) and give back a line plot..

Includes JavaScript programs to display properties of square and cubic models of some small finite geometries over the finite field GF(2). Applications to graphic design.

Collection of utilities based on two basics classes: Matematica and VarData. Matematica) performs math operations on vectors and matrices for smoothing, interpolation, convolution, image processing... VarData) manipulate a structure of points connected by links. Addraw) openGL engine. ElPoly) analyze mechanical properties of polymer and membrane like structures.

Simple example for triangulate polygon with allegro engine (C++). This project provided "as is". It have two bugs: cursor and camera orientation. If you do not pay attention to it, the program is working. Maybe I'll fix it later.

An omnifont OCR engine. The long-term goal is recognition of formulas.

This game is the generalization of the classic Battleship game to a n-dimensional grid. Rules are the same as the classic game and boats are always unidimensional, but ships can be set in a linear (1D), square (2D), cube (3D) on n-hypercubic grid.

A Java library that works with Java3D to simulate and visualize, in real-time, dynamics of multiple rigid bodies that are restricted by implicit and explicit constraints (e.g., robotics); designed for efficiency, ease-of-use, and extensibility.

A free, multi-layered, multi-license cad engine. You are free to use the core classes.

Goal: to make a lean, mean C++ engine capable of handling complex mathematical computations and to create a separate MFC (native C++) UI. NB: Project has been moved to Google Code: http://code.google.com/p/ultimath/

gnf3d is a small 3D engine written in C(gtk+).It has fantastic super 3D effect since it use two graph for different eye.

This package has been created in order to control, solve and manage a 2x2 rubik cube using java language. Its methods can mix and solve the cube, and allow the user to change the cube information in any time. There are two ways to solve the cube.

yagdt (Yet Another Graph Drawing Tool) is a plugin-based graph drawing application & distributed graph storage engine.

JGP is a GUI for gnuplot (http://www.gnuplot.info/). It is made for all those who just love gnuplot but who found that organizing a large number of datasets and plots from the command line is inconvenient. JGP uses gnuplot as plotting engine.

"Open SysAME" stands for Open-source Systems Analysis and Modeling Engine. Using the concepts developed by Dr. John Warfield (Interactive Management) and George Chandy (OPMS), Open SysAME facilitates collaborative modeling and analysis of systems.

Blahtex is a project to add MathML functionality to MediaWiki, the engine behind Wikipedia.

ctCalc engine: VB6 function that calculates a math term (string) and returns the result (string); ctCalc GUI: 1. Simple text-calculator 2. Graphs 3. Custom scripts

Neural network based pattern recognition software. Aim is to provide a program what is able to find pictures by a text line input. For example -> find all pictures with a red car?

Linear Programming (LP) has been used in the case of the Federalist Papers whose authorship had been disputed. The task here will be to use the Cell Broadband Engine to do likewise with papers whose authorship is disputed.

reputron is a knowledge extraction engine platform that covers all aspect of text mining, relevance, indexing and querying on a corpus of text documents.