Publisher: Vilnius University   (Total: 38 journals)   [Sort by number of followers]

Showing 1 - 38 of 38 Journals sorted alphabetically
Accounting Theory and Practice     Open Access   (Followers: 8)
Acta medica Lituanica     Open Access  
Acta Paedagogica Vilnensia     Open Access  
Archaeologia Lituana     Open Access  
Baltic J. of Political Science     Open Access   (Followers: 1)
Baltistica     Open Access  
Criminological Studies     Open Access  
Ekonomika (Economics)     Open Access  
Informacijos mokslai     Open Access  
J.ism Research     Open Access   (Followers: 5)
Jaunujų mokslininkų darbai     Open Access   (Followers: 1)
Kalbotyra     Open Access  
Knygotyra (Book Science)     Open Access  
Lietuvių kalba     Open Access  
Lietuvos istorijos studijos     Open Access  
Lietuvos Matematikos Rinkinys     Open Access  
Lietuvos Statistikos Darbai     Open Access  
Literatūra     Open Access  
Lithuanian Surgery : Lietuvos Chirurgija     Open Access  
Nonlinear Analysis : Modelling and Control     Open Access   (Followers: 1)
Organizations and Markets in Emerging Economies     Open Access   (Followers: 1)
Politologija     Open Access  
Problemos     Open Access  
Psychology     Open Access  
Religija ir kultūra     Open Access  
Respectus Philologicus     Open Access  
Scandinavistica Vilnensis     Open Access  
Semiotika     Open Access  
Slavistica Vilnensis     Open Access   (Followers: 1)
Socialinė teorija, empirija, politika ir praktika     Open Access  
Socialiniai tyrimai     Open Access  
Sociology : Thought and Action     Open Access  
Taikomoji kalbotyra     Open Access  
Teisė : Law     Open Access  
Verbum     Open Access   (Followers: 1)
Vertimo studijos (Translation Studies)     Open Access   (Followers: 1)
Vilnius University Open Series     Open Access  
Vilnius University Proceedings     Open Access  
Similar Journals
Journal Cover
Lietuvos Matematikos Rinkinys
Number of Followers: 0  

  This is an Open Access Journal Open Access journal
ISSN (Print) 0132-2818 - ISSN (Online) 2335-898X
Published by Vilnius University Homepage  [38 journals]
  • Editorial Board and Table of Contents

    • Authors: Artūras Štikonas
      Pages: 1 - 1
      PubDate: 2022-12-10
      DOI: 10.15388/LMR.2022.29739
      Issue No: Vol. 63 (2022)
       
  • More efficient proof-search for sequents of temporal logic

    • Authors: Romas Alonderis
      Pages: 1–8 - 1–8
      Abstract: The present paper deals with efficiency improvement of backward proof-search of sequents of propositional linear temporal logic, using a loop-type sequent calculus. The improvement is achieved by syntactic transformation of sequents into equivalent to them simpler ones. It is proved that some formulas can be removed from sequents with no impact on their derivability.
      PubDate: 2022-12-10
      DOI: 10.15388/LMR.2022.29752
      Issue No: Vol. 63 (2022)
       
  • Asymptotic analysis of Sturm-Liouville problem with Robin and two-point
           boundary conditions

    • Authors: Artūras Štikonas
      Pages: 9 - 18
      Abstract: We analyze the initial value problem and get asymptotic expansions for solution. We investigate the characteristic equation for Sturm-Liouville problem with one classical Robin type boundary condition and another two-point nonlocal boundary condition. Finally, we obtain asymptotic expansions for eigenvalues and eigenfunctions.
      PubDate: 2022-12-10
      DOI: 10.15388/LMR.2022.29692
      Issue No: Vol. 63 (2022)
       
 
JournalTOCs
School of Mathematical and Computer Sciences
Heriot-Watt University
Edinburgh, EH14 4AS, UK
Email: journaltocs@hw.ac.uk
Tel: +00 44 (0)131 4513762
 


Your IP address: 3.237.29.69
 
Home (Search)
API
About JournalTOCs
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-