Welcome to Ruang Bukti

Ruang Bukti is a personal project about mathematics, radar, signal processing, and numerical simulation.

The motivation behind this project comes from my experience studying and working in applied mathematics and numerical simulation.

I felt that high-quality resources in Indonesian are still very limited, especially for finite element methods (FEM), a subject I spent several years studying during my Ph.D..

Most available FEM resources are written primarily for mechanical or civil engineering students, often with a very application-oriented perspective. While those approaches are valuable, I wanted to create a resource that approaches FEM from a more mathematical point of view — starting from analysis, functional analysis, variational formulations, and gradually moving toward implementation and simulation.

This website is intended to bridge theory and practice: from mathematics to code, from abstract concepts to numerical applications.

The website will primarily be available in English and Indonesian. Other languages may follow in the future.

The goal is to explain difficult concepts slowly and clearly, from first principles.

Topics may include:

• foundations of mathematics

  • real analysis
  • complex analysis
  • functional analysis
  • distributions and Sobolev spaces

• finite element methods

  • from theory to implementation
  • from variational formulation to numerical simulation

• radar and signal processing

  • from waveform theory to practical code
  • simulation and detection algorithms