Search Results for "definitions"

Napkin (also titled “An Infinitely Large Napkin”) is a lightweight, semi-formal introduction to higher mathematics, aimed at giving readers a bird’s-eye view over various mathematical fields. It is not a polished textbook full of full proofs; rather it offers clean definitions, theorem statements, intuitive motivations, and informal sketches of why things work, with the goal of building conceptual understanding. The coverage spans undergraduate and early graduate topics, designed to show how different areas of math fit together—linear algebra, analysis, topology, number theory, and more—without going deeply into every subtopic. ...

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

...Change-log for MathMod-11.1 (16/06/2021) 1) Support of graphing functions with complex numbers Z=u+iv in 3D and 4D spaces (demo scripts: "Complex3D_xx" and "Complex4D_Saddle") 2) Added support for HSV (hue, saturation, brightness) coloring model (script: "Complex_Domain_Coloring") 3) Texture definitions (RGB and HSV) for parametric surfaces can now be expressed as functions of complex numbers 4) Added a software implementation for the OpenGL variable gl_FrontFacing (fixed an issue with GPU drivers on MacOSX Catalina). The activation of this patch is available from mathmodconfig.js ("OpenGlConfig"-->"GL_FrontFacingSupport"=false) or the GUI("Appearance"-->"OpenGL Front Surface Support") 5) Bug-fixes, code optimization and documentation update.

The Dimensional Analysis tool is meant to be used with spreadsheets containing variable definitions and formulas with physical units. It will execute the definitions and the formulas; and calculate the resulting units. The spreadsheet must follow a standard for the variables and the formulas. The general convention is to put variable names, values & formulas, and units in three columns. Make sure the names match the contents of the name cells.

SURIKATA (Syntactic Universal Reasoning for Inducing Kolmogorov Abstract Theories Automatically) is a system for searching large spaces of artifacts and inducing algorithms for generating similar artifacts.

SimKernel controls parameter scans and iterations for any given C++ code / scientific simulation. Parameters, iteration ranges, settings and dependencies are specified in Mathematica syntax. Parallel processing of parameter scanning via MPI.

Create, decorate and print paper models either using built-in definitions or wireframes imported from Blender. A design tool for paper models, it can be used for education, prototyping, or just for fun. Make photo cubes or photo dodecahedra and more.

FreeNorm is a cross-tabulation web application adapted from SurveyComplete's real-time reporting system. Currently it can run tabs on extremely large datasets, export to Excel, read ASCII data, and understand table definitions in the UNCLE tab language.

PoloCalc is a Reverse Polish Notation (RPN) desktop calculator for windows 9X and 2K. Enables copy, paste, undo, const definitions by user... Programming language used is C++, with the fltk graphic library.

A project that allows to view random variables cdf/pdf, generate random numbers... gstatistics uses shared libraries to allow users to add new statistical laws definitions.

GJAL is a collection of generic class definitions in GJ/Generic Java/JSR-014 that outlines algebraic structures such as Monoids, SemiGroups, Groups, Rings, Fields and various Domains.

The Modelica Standard Library is an open source library of models for the Modelica modeling language. Collaboration between modelers is facilitated by having open type, connector and model definitions from various engineering domains.