Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 231,251,936 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.
2018
2018
Development of Learning Models through Relay Games to Improve Fine Motoric Children Aged 5-6 Years
Lidia Vera Bessu
,
Panggung Sutapa
2018
Corpus ID: 59312773
This study aims to determine the effectiveness of learning modelsthrough relay games to improve fine motor skills for children…
Expand
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
2014
2014
PENERAPAN METODE PEMBERIAN TUGAS BERBANTUAN MEDIA POHON ANGKA UNTUK MENINGKATKAN KEMAMPUAN MENGENAL LAMBANG BILANGAN ANAK
Desak Putu Budiartini
,
M. .. I. N. 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
2014
2014
Meningkatkan Interaksi Sosial Anak Melalui Model Pembelajaran Kooperatif Pada Materi Sains Sederhana Di TK Aisyiah Binangga
Zaetun Andrayani
2014
Corpus ID: 191212728
ABSTRAK Masalah dalam penelitian ini adalah apakah dengan melalui model pembelajaran kooperatif dapat meningkatkan interaksi…
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 Pura Kariani
2014
Corpus ID: 192780263
Permainan tradisional termasuk alat permainan edukatif, permainan yang dapat mengoptimalkan perkembangan anak yang disesuaikan…
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
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
K. 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
1996
1996
Teaching the numerical solution of ordinary differential equations using Excel 5.0
S. Bilbao y León
,
R. Ulfig
,
J. Blanchard
1996
Corpus ID: 9358130
Personal computer‐based computational programs have begun to replace procedural programming as the tools of choice for…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE