نتایج جستجو برای: calculations
تعداد نتایج: 111826 فیلتر نتایج به سال:
Calendrical calculations are ubiquitous. Banks need to calculate interest on a daily basis. Operating systems need to switch to and from daylight savings time. Dates of secular and religious holidays need to be computed for consideration in planning events. Paychecks need to be issued on weekly, biweekly, or monthly schedules. Bills and statements must be generated periodically. Most of these c...
Calculational proofs—proofs by stepwise formula manipulation—are praised for their rigor, readability, and elegance. It seems desirable to reuse this style, often employed on paper, in the context of mechanized reasoning, and in particular, program verification. This work leverages the power of SMT solvers to machine-check calculational proofs at the level of detail they are usually written by ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید