About: Solver

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Piece of software that solves a mathematical problem

Property	Value
dbo:description	piece of software that solves a mathematical problem (en) logiciel qui résout de problèmes mathématiques (fr) software che risolve un problema matematico (it)
dbo:wikiPageWikiLink	dbr:Backtracking dbr:Minimum_spanning_tree dbc:Numerical_software dbc:Formal_methods_tools dbr:Constraint_satisfaction_problem dbr:Satisfiability_modulo_theories dbr:Semantic_reasoner dbr:System_of_linear_equations dbr:Three-body_problem dbr:General_Problem_Solver dbr:Shortest_path_problem dbr:Linear_equation dbr:Combinatorial_optimization dbr:Problem_solving_environment dbr:SAT_solver dbr:Game_theory dbr:Computer_program dbr:Library_(computing) dbr:Software_engine dbr:Differential_algebraic_equation dbr:Root-finding_algorithm dbr:Boolean_satisfiability_problem dbr:Ordinary_differential_equation dbr:Nonlinear_system dbr:Allen_Newell dbr:Mathematical_software dbr:Domain_(software_engineering) dbr:TK_Solver dbr:Herbert_A._Simon dbr:Cliff_Shaw dbr:Optimization_(mathematics) dbr:List_of_SMT_solvers dbr:Computational_time dbr:List_of_linear_programming_solvers dbr:List_of_solvers_for_ordinary_differential_equations dbr:Non-linear_equation dbr:Quantified_boolean_formula dbr:Systems_of_polynomial_equations
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:For dbt:More_citations_needed dbt:Industrial_and_applied_mathematics dbt:Short_description
dct:subject	dbc:Numerical_software dbc:Formal_methods_tools
gold:hypernym	dbr:Term
rdfs:label	Solver (en) Solver (de) Solver (pl) Розв'язувач (uk)
owl:sameAs	freebase:Solver wikidata:Solver dbpedia-de:Solver dbpedia-hu:Solver dbpedia-pl:Solver dbpedia-uk:Solver dbpedia-global:Solver
prov:wasDerivedFrom	wikipedia-en:Solver?oldid=1226805599&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Solver
is dbo:wikiPageRedirects of	dbr:Solver_(computer_science)
is dbo:wikiPageWikiLink of	dbr:JuMP dbr:Physics_engine dbr:General_algebraic_modeling_system dbr:Semantic_reasoner dbr:AMPL dbr:Cadence_Design_Systems dbr:System_identification dbr:Benesi–Hildebrand_method dbr:OrCAD dbr:COIN-OR dbr:Pyomo dbr:MODFLOW dbr:Reasoner_(disambiguation) dbr:List_of_optimization_software dbr:ASCEND dbr:Search_engine_(disambiguation) dbr:Determination_of_equilibrium_constants dbr:Algebraic_modeling_language dbr:Pinch_analysis dbr:AIMMS dbr:FICO_Xpress dbr:DPLL(T) dbr:NEOS_Server dbr:BARON dbr:Clock_Constraints_Specification_Language dbr:Flood_Modeller dbr:FEATool_Multiphysics dbr:Multibody_simulation dbr:Solver_(computer_science)
is gold:hypernym of	dbr:DIANA_FEA dbr:SPIKE_algorithm dbr:Tyler_Hinman dbr:Tyson_Mao dbr:Radioss dbr:FEM_Element dbr:HOBBIES_(electromagnetic_solver) dbr:MINTO dbr:CFD-ACE+ dbr:SCIP_(optimization_software) dbr:JaCoP_(solver) dbr:Minion_(solver) dbr:FICO_Xpress dbr:Alt-Ergo dbr:HFSS dbr:Gurobi dbr:Dilip_Sankarreddy
is rdfs:seeAlso of	dbr:Search_algorithm
is foaf:primaryTopic of	wikipedia-en:Solver