DoCon is a program for symbolic computation in mathematics - package of modules DoCon joins the categorial approach to the mathematical computation expressed via the Haskell type classes, and explicit processing of the domain description terms. It implements recently a good piece of commutative algebra: linear algebra, polynomial gcd, factorization, Groebner bases, and other functions. They are programmed under the very generic assumptions , like "over any Euclidean ring", over any GCD-ring, any field, and so on. DoCon also supports the constructions on domains: Fraction, Polynomial, Residue ring, and others. That is certain set of operations on a constructed domain is built automatically.
Lexical ambiguity arises when context is insufficient to determine the sense of a single word that has more than one meaning. Syntactic ambiguity arises when a sentence can be parsed in more than one way. Semantic ambiguity arises when a word or concept
Lexical ambiguity arises when context is insufficient to determine the sense of a single word that has more than one meaning. Syntactic ambiguity arises when a sentence can be parsed in more than one way. Semantic ambiguity arises when a word or concept
Don't write your interactive Web application in custom Javascript! The Web's Declarative nature needn't be broken just because you want two-way dynamic data instead of one-way documents on your site.
M. Popovici, M. Muraru, A. Agache, C. Giumale, L. Negreanu, and C. Dobre. Proceedings of the 19th International Conference on Conceptual Structures (ICCS 2011), volume 6828 of Lecture Notes in Computer Science, page 215-228. Springer, (2011)
C. Scholliers, L. Hoste, B. Signer, and W. De Meuter. Proceedings of the Fifth International Conference on Tangible, Embedded, and Embodied Interaction, page 49--56. New York, NY, USA, ACM, (2011)
P. Pinheiro da Silva. Interactive Systems Design, Specification, and Verification, volume 1946 of Lecture Notes in Computer Science, Springer, Berlin / Heidelberg, (2001)
H. Galhardas, D. Florescu, D. Shasha, and E. Simon. SIGMOD '00: Proceedings of the 2000 ACM SIGMOD international conference on Management of data, page 590. New York, NY, USA, ACM Press, (2000)