Go to main navigation
Go to main content

Contact

Poprzednia strona

Rekrutacja 2022/23

Publications

Modification of the classical boundary integral equation (BIE) for 2D transient heat conduction with internal heat source, with the use of NURBS for boundary modeling

24.03.2017

E. Zieniuk, D. Sawicki J. Heat Transf. 139 (2017) 1-11
Forming social competence of students and teachers at the centre for creative learning of mathematics at the university of Bialystok

24.03.2017

A. Rybak () 1-7
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions

15.02.2017

G. Audemard, P. Bertoli, A. Cimatti, A. Korniłowicz, R. Sebastiani () 195-210
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements

14.02.2017

G. Audemard, P. Bertoli, A. Cimatti, A. Korniłowicz, R. Sebastiani () 231-245
Bounded Model Checking for Timed Systems

14.02.2017

G. Audemard, A. Cimatti, A. Korniłowicz, R. Sebastiani () 243-259
The impact of proof steps sequence on proof readability - experimental setting

13.02.2017

K. Pąk, A. Schubert () 172-186
Lemma extraction criteria based on properties of theorem statements

13.02.2017

K. Pąk () 158-171
Linking to compound conditions in Mizar

13.02.2017

A. Naumowicz () 21-24
Registrations vs redefinitions in Mizar

13.02.2017

A. Korniłowicz () 17-20
Topological foundations for a formal theory of manifolds

13.02.2017

K. Pąk () 14-16

Previous
1
...
14
15
16
...
32
Next

©2022 Wszystkie prawa zastrzeżone.