LAUSR

About LAUSR
Donate
Contact Us

Follow us:

You are not signed in:

Sign Up!


   Articles with "proofs" as a keyword



Photo from archive.org

A Meinongian Way out of the Polish Proofs Against General Objects

Sign Up to like & get
recommendations! Published in 2018 at "Journal of Philosophical Logic"

DOI: 10.1007/s10992-018-9462-5

Abstract: The triangle in general or the man as such are general objects. These are objects that possess the properties common to all the individual objects in their range. Stanisław Leśniewski and Tadeusz Kotarbiński, two Polish… read more here.

Keywords: polish proofs; meinongian way; way polish; proofs ... See more keywords

The Magic of the Number Three: Three Explanatory Proofs in Abstract Algebra

Sign Up to like & get
recommendations! Published in 2019 at "PRIMUS"

DOI: 10.1080/10511970.2019.1629136

Abstract: When first learning how to write mathematical proofs, it is often easier for students to work with statements using the universal quantifier. Results that single out special cases might initially come across as more puzzling… read more here.

Keywords: number three; proofs; explanatory proofs; abstract algebra ... See more keywords

Computer-Aided Verification of P/NP Proofs: A Survey and Discussion

Sign Up to like & get
recommendations! Published in 2024 at "IEEE Access"

DOI: 10.1109/access.2024.3355540

Abstract: We survey a collection of proofs towards equality, inequality, or independence of the relation of P to NP. Since the problem has attracted much attention from experts, amateurs, and in-betweens, this work is intended as… read more here.

Keywords: equality inequality; proofs; survey; computer aided ... See more keywords

A computer scientist’s perspective on approximation of IFS invariant sets and measures with the random iteration algorithm—proofs and examples

Sign Up to like & get
recommendations! Published in 2025 at "International Journal of Electronics and Telecommunications"

DOI: 10.24425/ijet.2025.153539

Abstract: We present proofs of the theorems and lemmas demonstrated previously in our paper [1]. We also display some visual examples of minimal absorbing sets and their basins of attractions generated by δ-roundoffs of two-dimensional linear… read more here.

Keywords: proofs; approximation ifs; computer scientist; ifs invariant ... See more keywords