Search Sciweavers | Sciweavers

1095 search results - page 13 / 219

» Algebraic Guide Generation

click to vote

CISST
2004

133views Hardware» more CISST 2004»

Algebraic Formulation and Program Generation of Three-Dimensional Hilbert Space-Filling Curves

13 years 10 months ago

Download pmlab.iecs.fcu.edu.tw

: We use a tensor product based multi-linear algebra theory to formulate three-dimensional Hilbert space-filling curves. A 3-D Hilbert space-filling curve is specified as a permuta...

Chih-Sheng Chen, Shen-Yi Lin, Chua-Huang Huang

claim paper

Read More »

click to vote

ATVA
2008
Springer

143views Hardware» more ATVA 2008»

Automating Algebraic Specifications of Non-freely Generated Data Types

13 years 10 months ago

Download www.informatik.uni-augsburg.de

Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...

Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif

claim paper

Read More »

click to vote

ISSAC
2007
Springer

131views Mathematics» more ISSAC 2007»

Some recent progress in exact linear algebra and related questions

14 years 2 months ago

Download perso.ens-lyon.fr

We describe some major recent progress in exact and symbolic linear algebra. These advances concern the improvement of complexity estimates for fundamental problems such as linear...

Gilles Villard

claim paper

Read More »

click to vote

IJCAI
1993

84views Artificial Intelligence» more IJCAI 1993»

Automatic Generation of Some Results in Finite Algebra

13 years 10 months ago

Download ijcai.org

Masayuki Fujita, John K. Slaney, Frank Bennett

claim paper

Read More »