Skip to search formSkip to main contentSkip to account menu

LaTeX

Known as: LaTeX3, LaTeΧ, LaTeKh 
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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
ArchitectAuthoreaB2evolutionCiteProc

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Z -Specification of Component Based Software
The paper focuses on a Z-semantic based conceptual model of component, called ZFormal Specification of Component Model (ZFSCM… 
Review
2014
Review
2014
An Overview of Pandoc
This paper is a short overview of Pandoc, a utility for the conversion of Markdown-formatted texts to many output formats… 
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… 
2012
2012
Using SAS ® and L A T E X to Create Documents with Reproducible Results
Reproducible research is an increasingly important paradigm, and tools that support it are essential. Documentation for many SAS… 
2010
2010
AUGMENTING SUBSUMPTION PROPAGATION IN DISTRIBUTED DESCRIPTION LOGICS
Distributed description logics (DDL) enable reasoning with multiple ontologies interconnected by directional semantic mapping… 
2010
2010
INSPIRE: Realizing the dream of a global digital library in High-Energy Physics
High-Energy Physics (HEP) has a long tradition in pioneering infrastructures for scholarly communication, and four leading… 
2008
2008
Fuzzy multisubmeasures and applications
Properties of fuzzy multisubmeasures are discussed. Also, some applications are presented: decomposition theorems concerning… 
2006
2006
Flexible Interfaces in the Application of Language Technology to an eScience Corpus
A vacuum operated dental high volume evacuation system is provided wherein an extraction instrument is connected to a debris… 
1999
1999
XyM Notation for Electronic Communication of Organic Chemical Structures
The XyM notation system is proposed as a linear notation for the electronic communication of structural formulas. Each XyM… 
1999
1999
Decision procedures for the analysis of cryptographic protocols by logics of belief
  • D. Monniaux
  • Proceedings of the 12th IEEE Computer Security…
  • 1999
  • Corpus ID: 11283134
Belief-logic deductions are used in the analysis of cryptographic protocols. We show a new method to decide such logics. In… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)