Sciweavers

5510 search results - page 158 / 1102
» Mathematics
Sort
View
ITP
2010
118views Mathematics» more  ITP 2010»
15 years 7 months ago
Formal Proof of a Wave Equation Resolution Scheme: The Method Error
Abstract. Popular finite difference numerical schemes for the resolution of the one-dimensional acoustic wave equation are well-known to be convergent. We present a comprehensive...
Sylvie Boldo, François Clément, Jean...
ICALT
2009
IEEE
15 years 7 months ago
The G-Math Peer-Tutoring System for Supporting Effectively Remedial Instruction for Elementary Students
This study proposed the multi-user G-Math PeerTutoring System for facilitating students' tutoring strategies in math learning in the remedial instruction. The G-Math Peer-Tut...
Mengping Tsuei
APL
1995
ACM
15 years 7 months ago
The Role of Composition in Computer Programming
Iverson has greatly enlarged the mathematical notion of function composition and made it available to computer programmers. This paper explains the concept, and uses practical exa...
Donald B. McIntyre
97
Voted
AISC
2008
Springer
15 years 5 months ago
Logic-Free Reasoning in Isabelle/Isar
Traditionally a rigorous mathematical document consists of a sequence of definition
Stefan Berghofer, Makarius Wenzel
CLA
2007
15 years 5 months ago
Concept Graphs as Semantic Structures for Contextual Judgment Logic
Abstract. This paper presents a mathematization of the philosophical doctrine of judgments as an extension of the mathematization of the philosophical doctrine of concepts develope...
Rudolf Wille