Search Sciweavers | Sciweavers

3824 search results - page 4 / 765

» Geometry Constructions Language

click to vote

FM
2001
Springer

130views Formal Methods» more FM 2001»

Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics

14 years 6 days ago

Download www.scss.tcd.ie

The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...

Mícheál Mac an Airchinnigh

claim paper

Read More »

click to vote

VRML
1998
ACM

122views Internet Technology» more VRML 1998»

VRML in Architectural Construction Documents: A Case Study

13 years 12 months ago

Download www.ece.uwaterloo.ca

The Virtual Reality Modeling Language (VRML) and the World Wide Web (WWW) offer new opportunities to communicate an architect’s design intent throughout the design process. We h...

Dace A. Campbell

claim paper

Read More »

click to vote

CPM
2009
Springer

208views Combinatorics» more CPM 2009»

Level-k Phylogenetic Networks Are Constructable from a Dense Triplet Set in Polynomial Time

14 years 2 months ago

Download www.cs.ucr.edu

Thu-Hien To, Michel Habib

claim paper

Read More »