Filters
Symbolic Computation via Program Transformation
Symbolic computation is an important approach in automated program analysis. Most state-of-the-art tools perform symbolic computation as interpreters and directly maintain symbolic data. In this paper, we ...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2018 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Fourier Series and Symbolic Computations
A new approach to detect coeffitients of the Fourier seris is presented
...
JC - Počítačový hardware a software
- 2006 •
- D
Rok uplatnění
D - Stať ve sborníku
Symbolic Analysis with Circuit Decomposition
This paper deals with computational complexity of approximate symbolic analysis. A method for symbolic approximation that exploits the sparsity of circuit matrix. The simplified model is then analyzed symbolically....
JA - Elektronika a optoelektronika, elektrotechnika
- 2005 •
- D
Rok uplatnění
D - Stať ve sborníku
WDVV equations: symbolic computations of Hamiltonian operators
We describe software for symbolic computations that we developed in order to find Hamiltonian operators for Witten-Dijkgraaf-Verlinde-Verlinde (WDVV) equations, and verify their compatibility. The computation involves nonlo...
Pure mathematics
- 2022 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Symbolic Algebraic Methods and Verification Methods.
This is a volume of proceedings of a conference dedicated to symbolic computation and verification methods, held at the castle Dagstuhl in december 1999....
BA - Obecná matematika
- 2001 •
- B
Rok uplatnění
B - Odborná kniha
A Computational Perspective on Neural-Symbolic Integration
the neural and symbolic paradigms, has important computational implicationsNeural-Symbolic Integration (NSI) aims to marry the principles of symbolic AI in a seemingly {{efficient}} manner. However, from the c...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2024 •
- Jost •
- Link
Rok uplatnění
Jost - Ostatní články v recenzovaných periodicích
Výsledek na webu
SPECTRA - a Maple library for solving linear matrix inequalities in exact arithmetic
This document describes our freely distributed Maple library spectra, for Semidefinite Programming solved Exactly with Computational Tools of Real Algebra. It solves linear matrix inequalities with symbolic computation in e...
Applied mathematics
- 2019 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Symbolic analysis od DC- DC converters
In the paper, new method of computer-aided symbolic analysis of switched DC-DC converters is proposed. The method is based on symbolic model of PWM switch....
JA - Elektronika a optoelektronika, elektrotechnika
- 2010 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Symbolic computation of asymptotic formula for large solutions of the p-Laplacian using Mathematica
We compute asymptotic formula for large solutions of the p-Laplacian. To this end we use symbolic capabilities of Mathematica.
BA - Obecná matematika
- 2006 •
- D
Rok uplatnění
D - Stať ve sborníku
Using symbolic Computing Systems in Applications
It brings overview of several new actual scientific trends in scientific computing and presents some new solving techniques (Maple, Internet sources of solving tools, data mining,)....
IN - Informatika
- 2003 •
- D
Rok uplatnění
D - Stať ve sborníku
- 1 - 10 out of 58 489