Login / Signup
Jan Krupa
ORCID
Publication Activity (10 Years)
Years Active: 2017-2023
Publications (10 Years): 6
Top Topics
Equality And Inequality Constraints
E Learning
Theorem Prover
Nonlinear Programming
Top Venues
Math. Comput. Sci.
ICCS (7)
ICCS (5)
ICCS (4)
</>
Publications
</>
Wlodzimierz Wojas
,
Jan Krupa
Symbolic Calculation Behind Floating-Point Arithmetic: Didactic Examples and Experiment Using CAS.
ICCS (5)
(2023)
Wlodzimierz Wojas
,
Jan Krupa
Supporting Education in Advanced Mathematical Analysis Problems by Symbolic Computational Techniques Using Computer Algebra System.
ICCS (4)
(2022)
Wlodzimierz Wojas
,
Jan Krupa
,
Jaroslaw Bojarski
Familiarizing Students with Definition of Lebesgue Outer Measure Using Mathematica: Some Examples of Calculation Directly from Its Definition.
Math. Comput. Sci.
14 (2) (2020)
Wlodzimierz Wojas
,
Jan Krupa
Supporting Education in Algorithms of Computational Mathematics by Dynamic Visualizations Using Computer Algebra System.
ICCS (7)
(2020)
Wlodzimierz Wojas
,
Jan Krupa
Teaching Students Nonlinear Programming with Computer Algebra System.
Math. Comput. Sci.
13 (1-2) (2019)
Wlodzimierz Wojas
,
Jan Krupa
Familiarizing Students with Definition of Lebesgue Integral: Examples of Calculation Directly from Its Definition Using Mathematica.
Math. Comput. Sci.
11 (3-4) (2017)