Mathematical symbols

1.1 WORD PROCESSORS A word processor is an application program that is acquired for running on a particular computer. It enables one to type and display text on a page: retrieving, amending, adding to, and arranging in different ways before printing text is generally entered as a keyboard or scanned file.

53p minhngannt 08-04-2013 65 8   Download

The research objective: To study the methods used to modeling constraints and improve constraint solving capability. To apply symbolic execution technique in automatic test case generating. To implement proposed methods in automatic test case generating on string constraints and mixed constraints. To analyze and evaluate the obtained results.

27p extraenglish 24-05-2021 20 5   Download

This thesis aims to research on overview of automatic test case generating, symbolic execution applied into automatic test case generating. The modeling techniques based on Automata and Bitvector are also studied in this thesis. Apart from that, the analysis and evaluation of available test case generating methods on different constraint are mentioned. The quality and effectiveness of test cases generated by using symbolic execution are assessed.

27p capheviahe27 23-02-2021 43 4   Download

We give a proof of the Nirenberg-Treves conjecture: that local solvability of principal-type pseudo-differential operators is equivalent to condition (Ψ). This condition rules out sign changes from − to + of the imaginary part of the principal symbol along the oriented bicharacteristics of the real part. We obtain local solvability by proving a localizable a priori estimate for the adjoint operator with a loss of two derivatives (compared with the elliptic case).

41p noel_noel 17-01-2013 44 7   Download

Tuyển tập các báo cáo nghiên cứu khoa học ngành toán học tạp chí Department of Mathematic dành cho các bạn yêu thích môn toán học đề tài: Counting k-Marked Durfee Symbols...

17p thulanh7 04-10-2011 51 4   Download