Search results
Results from the Tech24 Deals Content Network
MIDACO – a software package for numerical optimization based on evolutionary computing. MINTO – integer programming solver using branch and bound algorithm; freeware for personal use. MOSEK – a large scale optimisation software. Solves linear, quadratic, conic and convex nonlinear, continuous and integer optimisation.
Octeract Engine is a suite of numerous solvers and techniques which are invoked automatically, or at the user's discretion. It features parallel branch-and-bound solvers, numerous local heuristics which can be invoked independently of global optimization, as well as numerous specialized techniques to exploit special structure, such as the ...
Axiom. Axiom is a general-purpose computer algebra system. It has been in development since 1971 by IBM, and was originally named scratchpad. Richard Jenks originally headed it but over the years Barry Trager who then shaped the direction of the scratchpad project took over the project. It was eventually sold to the Numerical Algorithms Group ...
Following a redesign of the software organization, Gerris became Basilisk, which allows one to develop its own solver (not necessarily in fluid mechanics) using various data structures (including of course the quadtree/octree) and optimized operators for iteration, derivation, etc. Solvers are written in C, more specifically the Basilisk C ...
Octal games are a subset of the taking and breaking games in which the allowed moves are determined by the number of tokens removed from the heap. The octal code for a game is specified as. 0 . d1 d2 d3 d4 …, where the octal digit dn specifies whether the player is allowed to leave zero, one, or two heaps after removing n tokens from a heap.
Many mathematical problems have been stated but not yet solved. These problems come from many areas of mathematics, such as theoretical physics, computer science, algebra, analysis, combinatorics, algebraic, differential, discrete and Euclidean geometries, graph theory, group theory, model theory, number theory, set theory, Ramsey theory, dynamical systems, and partial differential equations.
OR-Tools was created by Laurent Perron in 2011. In 2014, Google's open source linear programming solver, GLOP, was released as part of OR-Tools. The CP-SAT solver bundled with OR-Tools won a total of eleven gold medals between 2018 and 2020 in the MiniZinc Challenge, an international constraint programming competition.
HiGHS is based on solvers written by PhD students from the Optimization and Operational Research Group in the School of Mathematics at the University of Edinburgh.Its origins can be traced back to late 2016, when Ivet Galabova combined her LP presolve with Julian Hall's simplex crash procedure and Huangfu Qi's dual simplex solver to solve a class of industrial LP problems faster than the best ...