
Snap
 Referenced in 30 articles
[sw20131]
 Coulson, Goodman, Hodgson and Neumann, Experimental Mathematics Vol.9 (2000) Issue 1 for more about snap...

BIGEBRA
 Referenced in 21 articles
[sw00078]
 algebraic framework. The new branch of experimental mathematics allows one to easily enter these fields...

CHomP
 Referenced in 51 articles
[sw09358]
 need for a coherent set of mathematical techniques that is capable of extracting coarse ... understanding of specific systems comes from experimental observation or numerical simulations and thus ... computationally efficient. Algebraic Topology is the classical mathematical tool for the global analysis of nonlinear...

MPTP 0.2
 Referenced in 50 articles
[sw02589]
 Theorem Proving (MPTP) system and first experimental results obtained with it. The goal ... make the large formal Mizar Mathematical Library (MML) available to current firstorder automated theorem...

Matita
 Referenced in 71 articles
[sw06140]
 that means pencil in italian) is an experimental, interactive theorem prover under development ... collaboration. It provides a formal language where mathematical definitions, executable algorithms and theorems cohexist...

BABEL
 Referenced in 71 articles
[sw03018]
 predicates: The language BABEL. We investigate the experimental programming language BABEL, designed to achieve integration ... PROLOG) in a simple, flexible, and mathematically wellbounded way. The language relies...

Frizbi Mathematics
 Referenced in 6 articles
[sw09513]
 attitudes toward mathematics and attitude toward computer assisted learning. Two groups (experimental and control ... instruction and experimental group was taught using educational software, namely Frizbi Mathematics 4. The control ... experimental group consisted of 29 students. The groups were compared on achievement of mathematics, retention ... intervention, and 4 months later. The mathematics attitude scale and computer assisted learning attitude scale...

DClaw
 Referenced in 19 articles
[sw21531]
 Numerical predictions and experimental tests. We evaluate a new depthaveraged mathematical model that...

INFTY
 Referenced in 8 articles
[sw33686]
 layout analysis, character recognition, structure analysis of mathematical expressions, and manual error correction. In those ... better recognition performance. Experimental results on about 500 pages of mathematical documents showed high character...

iCTXType
 Referenced in 21 articles
[sw22440]
 experimental scientists to get their desired results without the need to follow the complicated mathematics...

VirtualLeaf
 Referenced in 4 articles
[sw28766]
 hypotheses and produce experimentally testable insights. However, the required mathematics and programming experience makes modeling...

ToolboxLS
 Referenced in 52 articles
[sw06312]
 programming, mesh generation, stochastic differential equations, ﬁnancial mathematics, and veriﬁcation. The algorithms in the toolbox ... designed to allow quick and easy experimentation with level set methods, although...

STADJE
 Referenced in 1 article
[sw19262]
 experimental mathematics perspective on the old, and still open, question of when to stop...

PseKNC
 Referenced in 31 articles
[sw22436]
 convenience of the vast majority of experimental scientists, a stepbystep guide is provided ... without the need to follow the complicated mathematical equations, which are presented in this article...

iPro54PseKNC
 Referenced in 32 articles
[sw22411]
 convenience of the vast majority of experimental scientists, a stepbystep protocol guide ... without the need to follow the complicated mathematics that were presented in this paper just...

Builder.m
 Referenced in 1 article
[sw19264]
 experimental mathematics perspective on the old, and still open, question of when to stop? This...

KARATE
 Referenced in 1 article
[sw08584]
 validation and verification (V&V) against mathematical, experimental, and operational data...

WALKSab
 Referenced in 1 article
[sw19263]
 packages that accompany the article: ”An Experimental Mathematics Perspective of the Old, and Still open...

RUIN
 Referenced in 1 article
[sw11436]
 example of so called “experimental mathematics” where new ideas are derived by means...

iRSpotTNCPseAAC
 Referenced in 31 articles
[sw22412]
 convenience of the vast majority of experimental scientists, a stepbystep guide is provided ... without the need to follow the complicated mathematical equations...