CASE

The paper provides a practical overview of the application of artificial intelligence in mathematics, with an emphasis on how LLM models can assist in proving complex claims and theorems.

The authors present two real-world business cases demonstrating how ISTRA TECH applied artificial intelligence to specific projects developed for the market.

In September 2023, Java 21 brought a revolution through virtual threads, while Oracle, in version 26ai (23ai), introduced the concept of “virtual transactions.” In the following sections, discover how the synergy of these technologies, along with a “third player,” is fundamentally changing the architecture of modern web applications.

The paper describes an interesting experiment of using the ChatGPT 3.5 model for translating programming languages…

The paper presents the basics of causal inference, which is important today for achieving more advanced artificial intelligence…

ISTRA TECH is once again participating in CASE, the leading conference dedicated to the development of business and IT systems, which takes place on February 17 and 18.

On February 26 and 27, thanks to the longstanding organization by the CASE company, the popular CASE conference is taking place.

In the last few years, functional programming has gained a lot of popularity over imperative programming. In the paper, the author gives an overview of functional and logic programming…

The paper briefly introduces the Prolog programming language and its foundations in logical programming and mathematical logic. Prolog, along with Lisp, has been widely used in symbolic AI and remains among the top ten most commonly used languages for AI in general today.

This year’s edition of the popular CASE conference will be held on February 20 and 21, organized by the CASE company.