Løsningsprogrammer
Løsningsprogrammer er programvare som beregner løsninger for problemer som kan formuleres matematisk eller logisk. De brukes i forskning, industri og utdanning til modellering, simulering og beslutningsstøtte. En løsningsmotor tar en modell som input og gir en løsning, ofte som en konstellasjon av variabler eller en optimal løsning under gitte begrensninger.
Symboliske løsningsprogrammer håndterer algebraiske uttrykk og likninger ved symbolsk manipulasjon, og kan forenkle, differensiere, integrere og
Numeriske løsningsprogrammer bruker tallberegning og numeriske metoder for problemer uten eksakte symboliske løsninger. De er vanlige
Optimaliseringsløsere finner løsninger som maksimerer eller minimerer et mål under begrensninger, og brukes i logistikk, produksjon
Begrensnings- og SAT/SMT-løsere håndterer problemer der variabler må tilordnes verdier i samsvar med begrensninger. Eksempler er
Løsningsprogrammer varierer i lisens og brukervennlighet, og kobles ofte til modelleringsspråk som AMPL, Pyomo eller PuLP