Search Results for "school website source code"

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

The Mathematics Dataset, developed by Google DeepMind, is a synthetic dataset designed to evaluate and train machine learning models on mathematical reasoning and symbolic manipulation. It generates question-and-answer pairs across a wide range of mathematical topics typically found in school-level curricula, testing a model’s ability to reason about algebra, arithmetic, calculus, probability, and more. Each question is programmatically generated with structured templates to ensure clear...

...It features its own programming language, and many users have contributed useful packages in various areas over the decades. It is GPL-licensed and largely written in Common Lisp. Executables can be downloaded for Windows, Mac, Linux, and Android; source code is also available. An active community maintains and extends the system. Website: https://maxima.sourceforge.io Additional add-on packages for Maxima can be found at: https://github.com/maxima-project-on-github/maxima-packages

Model-based Analysis of Genome-wide CRISPR-Cas9 Knockout (MAGeCK) is a computational tool to identify important genes from the recent genome-scale CRISPR-Cas9 knockout screens technology. For instructions and documentations, please refer to the wiki page. MAGeCK is developed by Wei Li and Han Xu from Dr. Xiaole Shirley Liu's lab at Dana-Farber Cancer Institute/Harvard School of Public Health, and is maintained by Wei Li lab at Children's National Medical Center. We thank the support...

The Shape Visualizer is intented to be an exploratory/educational tool making it quick and easy to see how various mathematical methods perform in analysing and selecting the various patterns present on an image. The main website is built as a wiki gathering info and examples on the various implemented algorithms. The combination of the application and its wiki intend to constitute a nice little pedagogic toolkit for multiscale analysis. Feel free to contribute code or wiki content !

To help math students visualize the prufer code and/or discover anything new about the prufer code not already present. Examples and live applet on webiste.

Plot 2D (plotting X vs Y) scatter plots directly to a compressed image file. Platform independent standalone package. Plot up to 12 series. ASCII options file. Console/Terminal and win32 GUI. Code is ANSI C with C++ encapsulation. Try it on the website.