Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,830,544 papers from all fields of science
Search
Sign In
Create Free Account
LaTeX
Known as:
LaTeX3
, LaTeΧ
, LaTeKh
Expand
LaTeX (/ˈlɑːtɛx/ LAH-tekh, also pronounced as /ˈlɑːtɛk/ LAH-tek or /ˈleɪtɛk/ LAY-tek, a shortening of Lamport TeX) is a document preparation system…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Architect
Authorea
B2evolution
CiteProc
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Z -Specification of Component Based Software
P. Banerjee
,
A. Sarkar
2014
Corpus ID: 52231155
The paper focuses on a Z-semantic based conceptual model of component, called ZFormal Specification of Component Model (ZFSCM…
Expand
Highly Cited
2013
Highly Cited
2013
The Nature of Damped Lyman Alpha Systems and Their Hosts in the Standard Cold Dark Matter Universe
R. Cen
2013
Corpus ID: 155093739
Using adaptive mesh-refinement cosmological hydrodynamic simulations with a physically motivated supernova feedback prescription…
Expand
2010
2010
AUGMENTING SUBSUMPTION PROPAGATION IN DISTRIBUTED DESCRIPTION LOGICS
Martin Homola
,
L. Serafini
Applied Artificial Intelligence
2010
Corpus ID: 36612592
Distributed description logics (DDL) enable reasoning with multiple ontologies interconnected by directional semantic mapping…
Expand
2010
2010
INSPIRE: Realizing the dream of a global digital library in High-Energy Physics
A. Holtkamp
,
S. Mele
,
T. Simko
,
T. J. Smith
2010
Corpus ID: 11336059
High-Energy Physics (HEP) has a long tradition in pioneering infrastructures for scholarly communication, and four leading…
Expand
2008
2008
Fuzzy multisubmeasures and applications
Alina Gavriluţ
,
A. Croitoru
2008
Corpus ID: 53457220
Properties of fuzzy multisubmeasures are discussed. Also, some applications are presented: decomposition theorems concerning…
Expand
2008
2008
MathWebSearch 0 . 4 A Semantic Search Engine for Mathematics
M. Kohlhase
,
Stefan Anca
,
C. Jucovschi
,
A. G. Palomo
,
I. Sucan
2008
Corpus ID: 15028947
We present a search engine for mathematical formulae. The MathWebSearch system harvests the web for content representations of…
Expand
2008
2008
Component Based Framework for Authoring and Multimedia Training in Mathematics
I. Smeureanu
,
M. Dârdala
,
A. Reveiu
2008
Corpus ID: 805554
— The new programming technologies allow for the creation of components which can be automatically or manually assembled to reach…
Expand
2006
2006
Flexible Interfaces in the Application of Language Technology to an eScience Corpus
C. Rupp
,
Ann A. Copestake
,
Simone Teufel
,
Benjamin Waldron
2006
Corpus ID: 873561
A vacuum operated dental high volume evacuation system is provided wherein an extraction instrument is connected to a debris…
Expand
2006
2006
A Short Note on Discrete Representability of Independence Models
P. Simecek
European Workshop on Probabilistic Graphical…
2006
Corpus ID: 17427297
The paper discusses the problem to characterize collections of conditional independence triples (independence model) that are…
Expand
1999
1999
XyM Notation for Electronic Communication of Organic Chemical Structures
S. Fujita
,
Nobuya Tanaka
Journal of chemical information and computer…
1999
Corpus ID: 33919003
The XyM notation system is proposed as a linear notation for the electronic communication of structural formulas. Each XyM…
Expand