Results for: mathematic
View:
227 Products for "mathematic" with 1 filter applied:
Sort By:
-
1
Interactive Mathematics
Interactive Mathematics
...Our solver can interpret math word problems and determine what mathematical operations need to be used.Starting Price: $9.95 per month -
2
Maple
Maplesoft
Maple is a software tool that combines a powerful mathematics engine with an interface that makes it easy to manage your calculations, so you can treat them like the valuable assets they are. Maple can handle all your mathematical needs, from performing simple calculations to advanced computations, visualizations, data analysis, and algorithm development. Maple provides an environment that helps you maximize the value of your calculation efforts. -
3
Archimedes
Furnace Creek Software
...In Math Mode, Archimedes lets you write mathematics in a subset of LaTeX, making it an approachable LaTeX editor. Just enter $$ to get started. Over 700 intuitive commands, such as \sqrt{a^2 + b^2}, help you produce stunning mathematical output. Archimedes even autocompletes commands and intelligently matches closing braces, brackets, and parenthesis as you type.Starting Price: $10 -
4
DeepSeekMath
DeepSeek
...The model's capabilities are enhanced by a meticulous data selection pipeline and the introduction of Group Relative Policy Optimization (GRPO), which optimizes both mathematical reasoning and memory usage. DeepSeekMath is available in base, instruct, and RL versions, supporting both research and commercial use, and is aimed at those looking to explore or apply advanced mathematical problem-solving in AI contexts.Starting Price: Free -
5
OPTIMICA Compiler Toolkit
MODELON
Modelon’s OPTIMICA Compiler Toolkit, the most advanced Modelica-based mathematical engine on the market, offers users a powerful solution for the automation, simulation and optimization of system behaviors throughout the model-based design cycle. Trusted as the compiler for Modelon Impact, OPTIMICA enables users to build multi-domain physical systems by choosing from thousands of available model components. -
6
GAMS
GAMS
GAMS (General Algebraic Modeling System) is a best-in-class mathematical modeling software known for its high performance, scalability, and ease of use. The official release of GAMSPy now allows users to integrate GAMS with Python, enabling flexible and powerful model creation directly within Python. GAMS simplifies the expression of optimization problems with its efficient algebraic modeling language, offering optimal solutions using top-tier mathematical solvers.Starting Price: $3,500 one-time payment -
7
MatDeck
LabDeck
MatDeck is a universal, technical software for Mathematics, Science, Engineering, Chemistry, Coding, Databases and many other uses. Our software offers a complete Python IDE; thousands of mathematical functions; a drag and drop GUI Designer and various visualization tools, all embedded within a cutting-edge, live document for an inexpensive and professional computing environment.Starting Price: Free -
8
Mathstral
Mistral AI
...The model has a 32k context window published under the Apache 2.0 license. We’re contributing Mathstral to the science community to bolster efforts in advanced mathematical problems requiring complex, multi-step logical reasoning. The Mathstral release is part of our broader effort to support academic projects, it was produced in the context of our collaboration with Project Numina. Akin to Isaac Newton in his time, Mathstral stands on the shoulders of Mistral 7B and specializes in STEM subjects. ...Starting Price: Free -
9
DeepSeek R1
DeepSeek
DeepSeek-R1 is an advanced open-source reasoning model developed by DeepSeek, designed to rival OpenAI's Model o1. Accessible via web, app, and API, it excels in complex tasks such as mathematics and coding, demonstrating superior performance on benchmarks like the American Invitational Mathematics Examination (AIME) and MATH. DeepSeek-R1 employs a mixture of experts (MoE) architecture with 671 billion total parameters, activating 37 billion parameters per token, enabling efficient and accurate reasoning capabilities. ...Starting Price: Free -
10
DeepSeek-Coder-V2
DeepSeek
DeepSeek-Coder-V2 is an open source code language model designed to excel in programming and mathematical reasoning tasks. It features a Mixture-of-Experts (MoE) architecture with 236 billion total parameters and 21 billion activated parameters per token, enabling efficient processing and high performance. The model was trained on an extensive dataset of 6 trillion tokens, enhancing its capabilities in code generation and mathematical problem-solving. -
11
DeepScaleR
Agentica Project
DeepScaleR is a 1.5-billion-parameter language model fine-tuned from DeepSeek-R1-Distilled-Qwen-1.5B using distributed reinforcement learning and a novel iterative context-lengthening strategy that gradually increases its context window from 8K to 24K tokens during training. It was trained on ~40,000 carefully curated mathematical problems drawn from competition-level datasets like AIME (1984–2023), AMC (pre-2023), Omni-MATH, and STILL. DeepScaleR achieves 43.1% accuracy on AIME 2024, a roughly 14.3 percentage point boost over the base model, and surpasses the performance of the proprietary O1-Preview model despite its much smaller size. It also posts strong results on a suite of math benchmarks (e.g., MATH-500, AMC 2023, Minerva Math, OlympiadBench), demonstrating that small, efficient models tuned with RL can match or exceed larger baselines on reasoning tasks.Starting Price: Free -
12
MathGPT
MathGPT
MathGPT is an AI-powered math solver and homework assistant designed to help students tackle mathematical problems across various subjects, including algebra, geometry, calculus, and statistics. By allowing users to upload images or PDFs of math problems, MathGPT provides step-by-step solutions, enhancing understanding and learning. MathGPT serves as an on-demand AI math tutor, offering clear explanations to help students grasp complex concepts and build confidence in their mathematical abilities. ... -
13
REMIRA LOGOMATE
REMIRA
Less effort, more sales: Thanks to artificial intelligence and mathematical algorithms, our LOGOMATE inventory management software calculates optimal demands and sales figures provides ordering and replenishment suggestions and enables the optimal distribution of your goods. For optimal procurement and smooth logistics, a whole flood of information must be processed and correctly interpreted in a short time. -
14
Scilab
Scilab Enterprises
...This is natively handled by Scilab, which results in a few lines of code for complex mathematical operations, where other languages would require much longer codes. It also comes with advanced data structure such as polynomials, matrices and graphic handles and provides an easily operable development environment. -
15
Paradyn
Paradyn Systems
Paradyn specializes in mathematical optimization software for value-chain scheduling, and short to long-term planning. Optimize for any defined objective and integrate operational, tactical and strategic planning from minutes to years. Replace your existing planning and scheduling tools with a responsive multi-user application with configurable dashboards. Automatically explore thousands of scenarios. -
16
Hemotic
Hemotic
...With Lhema you no longer have to worry about production decisions, its indications and recommendations will allow you to achieve maximum efficiency and performance in the production of blood components. Lhema puts both the patient and the donor first. Hemotic develops disruptive solutions for blood banking based on mathematical algorithms. Get the most out of your data for highly efficient and quality processes. Optimize blood component production with revolutionary software based on mathematical algorithms. An innovative algorithm calculates the optimal daily production of blood components, always maintaining an adequate stock without expiry and without breaks of stock. ... -
17
TrustInSoft Analyzer
TrustInSoft
TrustInSoft Analyzer is a C/C++/Rust source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers receive several benefits: a user-friendly graphical interface that directs developers to the root cause of bugs, and instant utility to expand the coverage of their existing tests. -
18
XLfit
IDBS
Industry-standard models built-in with support for designing and sharing your own models. XLfit® is a Microsoft® Excel add-in for Windows that brings the power of scientific mathematics and statistics to Excel, together with supporting charting capabilities. XLfit is the leading statistical and curve fitting package for Excel and is used by the world’s leading pharmaceutical, chemical, engineering industries, and research institutions and is validated by the National Physical Laboratory (NPL). There are over 70 out-of-the-box models for both linear and nonlinear curve fitting available in XLfit, including all commonly used models for describing data from drug discovery-related experiments. ... -
19
EURODECISION
EURODECISION
...In addition to our know-how in Human Resources Planning, EURODECISION has great expertise in supply chain Optimization and Network design as well as in Revenue Yield Management. We carry out strategic studies of optimization, design… adapted to your needs (lightening structure, vehicles…). EURODECISION is specialized in decisional mathematics (optimization, artificial intelligence, data science, operational research). Its know-how, listening to and understanding business contacts, analyzing and using data, to help management make the best decisions. To do this, EURODECISION offers tailor-made business solutions based on its expertise in the development of mathematical algorithms, in Big Data, in Business Intelligence and Business Analytics, or in Machine Learning. -
20
OptiMix
OptiMix
...Integration with other ERP/Softwares (Excel/API)What-If Analysis Reports. OPTIMIX is the must have product for any foundry. Here is why. Cost Savings. Lowest Cost Charge Mix Recipe Mathematically Possible. Control. Complete Control over your final product. ROI. Product that gives ROI within Months! Feel Confident. -
21
ThinkUp!
Mentoring Minds
...Math and ELA were designed to develop students who can process and evaluate information at deeper levels, make informed decisions, solve complex problems, and find reasonable solutions-resulting in mastery of concepts and improved performance. ThinkUp! Math offers consistent opportunities for students to think critically, to apply mathematical reasoning and problem-solving skills, and to participate in learning activities that place emphasis on mathematical processes as well as the final solution.Starting Price: $19.95 per student per year -
22
DataQu
DataQu
DataQu is a web platform made up of an artificial intelligence engine that generates predictive mathematical models, thus allowing the occurrence of unexpected events to be anticipated. It predicts the failure of a machine component so that the component can be replaced, based on a plan, just before it fails. Generate crop prediction models to reduce the vulnerability of the agricultural sector to climate change. Respond quickly to rapid changes in customer needs and demand, supplier failures or production failures must be taken into account in reality. ... -
23
Relyence Fault Tree
Relyence
The Relyence® Fault Tree Analysis tool offers a comprehensive platform for constructing striking FTA diagrams, modeling an array of input events, and computing a wide range of availability metrics using its highly capable mathematical engine. Relyence’s high-powered fault tree analysis probability calculator back-end computes all your most important risk and safety metrics with speed and accuracy. The mathematical engine supports both exact calculations as well as simulations. Create well-organized and visually appealing diagrams with our intuitive and efficient interface. ... -
24
OpenAI o1-mini
OpenAI
OpenAI o1-mini is a new, cost-effective AI model designed for enhanced reasoning, particularly excelling in STEM fields like mathematics and coding. It's part of the o1 series, which focuses on solving complex problems by spending more time "thinking" through solutions. Despite being smaller and 80% cheaper than its sibling, the o1-preview, o1-mini performs competitively in coding tasks and mathematical reasoning, making it an accessible option for developers and enterprises looking for efficient AI solutions. -
25
Graide
Graide
...By leveraging artificial intelligence, Graide reduces grading workloads by up to 90%, enabling educators to deliver more feedback in less time. The platform supports various assessment types, including essays, short text responses, and mathematical questions, offering features such as AI essay grading, AI short text grading, and AI mathematics grading. Graide's AI models learn from educators' feedback, ensuring that similar responses are graded consistently, thereby improving accuracy and maintaining grading standards. Additionally, the platform provides real-time analytics and reporting tools, offering insights into student performance and common issues across assignments. ...Starting Price: $36,931 per year -
26
Grok 3 Think
xAI
...It can think through complex problems for extended periods, from seconds to minutes, improving its answers by backtracking, exploring alternatives, and refining its approach. This model, trained on an unprecedented scale, delivers remarkable performance in tasks such as mathematics, coding, and world knowledge, showing impressive results in competitions like the American Invitational Mathematics Examination. Grok 3 Think not only provides accurate solutions but also offers transparency by allowing users to inspect the reasoning behind its decisions, setting a new standard for AI problem-solving.Starting Price: Free -
27
AMPL
AMPL
AMPL is a powerful and intuitive modeling language designed to represent and solve complex optimization problems. It enables users to formulate mathematical models in a syntax that closely mirrors algebraic notation, facilitating a clear and concise representation of variables, objectives, and constraints. AMPL supports a wide range of problem types, including linear programming, nonlinear programming, mixed-integer programming, and more. One of its key strengths is the ability to separate models and data, allowing for flexibility and scalability in handling large-scale problems. ...Starting Price: $3,000 per year -
28
AGVortex
AGVortex
AGVortex is the CAE program for mathematical modelling of fluid and gas flows around airfoils. Here is implemented innovational solver based upon vorticity dynamics. This approach allows to resolve LES turbulence model on the multi-core processors and clusters that use parallel computing. But it needs much less computing power. Fewer number of equations and unknown functions in flow dynamics gives a gain in calculation process and imposes lower requirements for the computational resources. ...Starting Price: free -
29
LeapYear
LeapYear Technologies
Differential privacy is a mathematically proven standard of data privacy that ensures all data can be used for analytics and machine learning without the risk of compromising information about individual records. LeapYear’s differentially private system protects some of the world’s most sensitive datasets, including social media data, medical information, and financial transactions. -
30
PTC Mathcad
PTC
...To achieve excellence in engineering, teams need a comprehensive yet intuitive application that performs calculations with accuracy and precision, enables traceability, protects intellectual property, and shows their work. PTC Mathcad has all your engineering notebook’s ease-of-use and familiarity with live mathematical notation and units intelligence. Most importantly, the calculation capabilities produce far more accurate results than a spreadsheet can provide. Using PTC Mathcad’s rich array of mathematical functionality, you can document your most critical engineering calculations as easily as you can write them. Show your work using rich formatting options alongside plots, text, and images in a single, professionally formatted document. ...Starting Price: $230