A set of well defined rules for representing quantities and operations with symbols. (mathworld.wolfram.com)

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2009

Highly Cited

2009

- Nicolas Le NovÃ¨re, Michael Hucka, +36 authors Hiroaki Kitano
- Nature Biotechnology
- 2009

Circuit diagrams and Unified Modeling Language diagrams are just two examples of standard visual languages that help accelerateâ€¦Â (More)

Is this relevant?

2009

2009

This paper is a further step towards application of the Model-Based Systems Engineering (MBSE) paradigm, using standardizedâ€¦Â (More)

Is this relevant?

2008

2008

- Tom Minka, John M. Winn
- 2008

Gates are a new notation for representing mixture models and context-sensitive independence in factor graphs. Factor graphsâ€¦Â (More)

Is this relevant?

2006

2006

We examine the problem of notation selection in mathematical computing environments. Users of mathematical software may requireâ€¦Â (More)

Is this relevant?

2002

2002

- Renaud Pawlak, Laurence Duchien, GÃ©rard Florin, Fabrice Legond-Aubry, Lionel Seinturier, Laurent Martelli
- 2002

This position paper presents a UML notation for designing aspect-oriented applications. It is extracted from our experiences whenâ€¦Â (More)

Is this relevant?

2001

2001

Functional dependencies help resolve many of the ambiguities that result from the use of multi-parameter type classes. Theyâ€¦Â (More)

Is this relevant?

Highly Cited

2000

Highly Cited

2000

JML is a notation for specifying the detailed design of Java classes and interfaces. JMLâ€™s assertions are stated using a slightâ€¦Â (More)

Is this relevant?

1999

1999

Modularity is an important pragmatic aspect of semantic descriptions: good modularity is needed to allow the reuse of existingâ€¦Â (More)

Is this relevant?

1996

1996

In this article, we introduce a-notation that is useful for many concepts of the-calculus. The new notation is a simpleâ€¦Â (More)

Is this relevant?

1994

1994

- Gopalan Nadathur
- 1994

Issues that are relevant to the representation of lambda terms in contexts where their intensions have to be manipulated areâ€¦Â (More)

Is this relevant?