Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

TK Solver

Known as: TK!Solver, TK/Solver 
TK Solver (originally TK!Solver) is a mathematical modeling and problem solving software system based on a declarative, rule-based language… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Recent advancement in digital and communication technologies has brought privacy aspects to the forefront. Although e-health has… Expand
  • figure 1
  • table 1
  • table 1
  • figure 2
  • figure 3
2014
2014
Penelitian ini bertujuan untuk mengetahui peningkatkan kemampuan mengenal lambang bilangan pada anak kelompok B semester II di TK… Expand
2009
2009
The defect of a continuous approximate solution to an ODE is the amount by which that approximation fails to satisfy the ODE. A… Expand
  • figure 1
  • figure 2
  • table 1
  • table 2
  • table 3
2004
2004
The efficient combining and augmenting of decision procedures are often very important for a successful use of theorem provers… Expand
  • table I
  • table II
  • table III
  • figure 1
2002
2002
  • A. Ostfeld
  • Environ. Model. Softw.
  • 2002
  • Corpus ID: 37886693
Abstract I pclass — an interactive program for calibrating activated sludge systems is formulated and demonstrated. The model… Expand
2001
2001
The Herpes Simplex virus thymidine kinase gene (HSV-tk) has been widely used as a suicide gene in cancer gene therapy. Since the… Expand
  • figure 1
  • figure 2
  • figure 3
1993
1993
Numerical design and planning problems can often be formulated conveniently as a set of equations constraining the values of… Expand
  • figure 1
  • figure 2
  • figure 3
1991
1991
ABSTRACT, TK Solver is an equation solving software package which has been successfully used in agricultural engineering… Expand
1985
1985
The rapid proliferation of personal computers has brought a new class of users, the so-called non-computer professionals, into… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5