{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T14:29:07Z","timestamp":1777645747181,"version":"3.51.4"},"reference-count":0,"publisher":"SAGE Publications","issue":"1","license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Fundamenta Informaticae"],"published-print":{"date-parts":[[2010,7]]},"abstract":"<jats:p>In this paper we pursue the propositional calculus and the SATisfiability solvers as a powerful declarative programming environment that makes it possible to create and run the propositional declarative programs for computational tasks in various areas of mathematics. We report some experimental results on our application of the propositional SATisfiability environment to computing some simple orthogonal matrices and the orders of some orthogonal groups. Some encouraging (and not very encouraging) experiments are reported for the proposed propositional search procedures using off-the-shelf general-purpose SAT solvers. Our new software toolkit SAT4Alg is announced.<\/jats:p>","DOI":"10.3233\/fi-2010-300","type":"journal-article","created":{"date-parts":[[2019,12,2]],"date-time":"2019-12-02T23:12:56Z","timestamp":1575328376000},"page":"115-127","source":"Crossref","is-referenced-by-count":2,"title":["SAT as a Programming Environment for Linear Algebra"],"prefix":"10.1177","volume":"102","author":[{"given":"Marian","family":"Srebrny","sequence":"first","affiliation":[{"name":"Institute of Computer Science, Polish Academy of Sciences, Warsaw, Poland"},{"name":"Section of Applied Informatics, University of Commerce, Kielce, Poland. marians@ipipan.waw.pl"}]},{"given":"Lidia","family":"Stepie\u0144","sequence":"additional","affiliation":[{"name":"Institute of Mathematics and Computer Science, Jan D\u0142ugosz University, Czestochowa, Poland. l.stepien@ajd.czest.pl"}]}],"member":"179","published-online":{"date-parts":[[2010,1]]},"container-title":["Fundamenta Informaticae"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/FI-2010-300","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/FI-2010-300","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T06:33:11Z","timestamp":1777444391000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.3233\/FI-2010-300"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1]]},"references-count":0,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,7]]}},"alternative-id":["10.3233\/FI-2010-300"],"URL":"https:\/\/doi.org\/10.3233\/fi-2010-300","relation":{},"ISSN":["0169-2968","1875-8681"],"issn-type":[{"value":"0169-2968","type":"print"},{"value":"1875-8681","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,1]]}}}