Search Sciweavers | Sciweavers

5510 search results - page 103 / 1102

» Mathematics

168

Voted

MKM
2004
Springer

56views Information Technology» more MKM 2004»

Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles

16 years 4 days ago

Download kti.mff.cuni.cz

Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of deﬁnitions, which often use overloaded notation. For e�...

Grzegorz Bancerek, Josef Urban

claim paper

Read More »

152

click to vote

MKM
2004
Springer

92views Information Technology» more MKM 2004»

Mathematical Service Matching Using Description Logic and OWL

16 years 4 days ago

Download monet.nag.co.uk

Olga Caprotti, Mike Dewar, Daniele Turi

claim paper

Read More »

297

click to vote

TEX
2004
Springer

323views Latex» more TEX 2004»

Dynamic Arabic Mathematical Fonts

16 years 3 days ago

Download www.ucam.ac.ma

Mustapha Eddahibi, Azzeddine Lazrek, Khalid Sami

claim paper

Read More »

139

click to vote

MSWIM
2003
ACM

118views Modeling and Simulation» more MSWIM 2003»

SMM: mathematical framework of a scalable mobility model

16 years 19 hour ago

Download www.bris.ac.uk

Dharmayashdev Rai Basgeet, Pascal Dugenie, Alistai...

claim paper

Read More »

132

click to vote

AC
2003
Springer

114views Software Engineering» more AC 2003»

Some Notes on Applied Mathematics for Machine Learning

16 years 9 hour ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers