✦ LIBER ✦

Automated Reasoning and Equation Solving with the Characteristic Set Method

✍ Scribed by Wen-Tsun Wu; Xiao-Shan Gao

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automated reasoning in differential geom

✍ Shang-Ching Chou; Xiao-Shan Gao 📂 Article 📅 1993 🏛 Springer Netherlands 🌐 English ⚖ 820 KB

Automated reasoning in differential geom

✍ Shang-Ching Chou; Xiao-Shan Gao 📂 Article 📅 1993 🏛 Springer Netherlands 🌐 English ⚖ 989 KB

An explicit finite volume element method

✍ Sutthisak Phongthanapanich; Pramote Dechaumphai 📂 Article 📅 2011 🏛 The Chinese Society of Theoretical and Applied Mec 🌐 English ⚖ 754 KB

A characteristic set method for solving

✍ Fengjuan CHAI; Xiao-Shan GAO; Chunming YUAN 📂 Article 📅 2008 🏛 Academy of Mathematics and Systems Science, Chines 🌐 English ⚖ 376 KB

Characteristic multigrid method applicat

✍ M.P. Leclercq; B. Stoufflet 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 136 KB

Characteristic Multigrid Method Applicat

✍ M.P. Leclercq; B. Stoufflet 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 746 KB