Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,453,840 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
25 relations
.NET Framework
APL
Array programming
Comparison of numerical analysis software
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
LAPORAN INDIVIDUPRAKTIK PENGALAMAN LAPANGAN(PPL UNY 2016)
R. Soraya
2016
Corpus ID: 194707739
Praktik Pengalaman Lapangan merupakan salah satu mata kuliah yang wajib ditempuh bagi mahasiswa program pendidikan dari setiap…
Expand
2016
2016
SOLVING INCREMENTAL SPECIFICATIONS USING Z3 SMT SOLVER
E. Ahmadi
2016
Corpus ID: 57846095
2015
2015
PELATIHAN GERAK DAN LAGU DOLANAN AANAK DI TK UMP
Okto Wijayanti
2015
Corpus ID: 194477630
Pelatihan ini bertujuan untuk membantu guru mengembangkan dan meningkatkan kemampuan, serta keterampilan dalam berkreasi gerak…
Expand
Review
2014
Review
2014
IDENTIFIKASI PERMAINAN TRADISIONAL YANG DAPAT DI GUNAKAN UNTUK STIMULASI TUMBUH KEMBANG ANAK USIA DINI DI KABUPATEN LOMBOK TENGAH TAHUN 2013
Ni Luh Kariani
2014
Corpus ID: 192780263
Permainan tradisional termasuk alat permainan edukatif, permainan yang dapat mengoptimalkan perkembangan anak yang disesuaikan…
Expand
2014
2014
PENERAPAN METODE PEMBERIAN TUGAS BERBANTUAN MEDIA POHON ANGKA UNTUK MENINGKATKAN KEMAMPUAN MENGENAL LAMBANG BILANGAN ANAK
Desak Putu Budiartini
,
M.Pd. I. Nyoman Jampel
,
S.Psi.M.Psi. Nice Maylani Asril
2014
Corpus ID: 58876187
Penelitian ini bertujuan untuk mengetahui peningkatkan kemampuan mengenal lambang bilangan pada anak kelompok B semester II di TK…
Expand
2007
2007
From Biological Macromolecules to Drape of Clothing: 50 Years of Computing for Textiles
J. Hearle
Computational Textile
2007
Corpus ID: 34422351
The development of computing of structural mechanics of fibres and textiles is linked to the advances in computer hardware and…
Expand
2006
2006
On the role of wind driven ocean dynamics in tropical Atlantic variability
Da Silva
,
M. Pereira
2006
Corpus ID: 133442854
On the Role of Wind Driven Ocean Dynamics in Tropical Atlantic Variability. (May 2005) Meyre P. Da Silva, B.S., Fundação…
Expand
2004
2004
Structure of the metallurgically oriented modelling system TK-StripCam for simulation of hot strip manufacture and application in research and production practice
U. Lotter
,
H. Schmitz
,
L. Zhang
2004
Corpus ID: 93332751
For the prediction of mechanical properties of hot strip from production conditions by metallurgically oriented computer assisted…
Expand
1997
1997
Dimensional Optimization for the Crank-Rocker Mechanism using TK Solver
Kui Liu
,
W. Boyle
1997
Corpus ID: 12202831
Using the computational package TK Solver, optimal position and velocity syntheses are performed for the crank-rocker mechanism…
Expand
1991
1991
USE OF TK SOLVER IN AGRICULTURAL ENGINEERING INSTRUCTION
J. H. Young
,
L. Stikeleather
1991
Corpus ID: 62170359
ABSTRACT, TK Solver is an equation solving software package which has been successfully used in agricultural engineering…
Expand