yusuke1997/dblp-id-title huggingface dataset:
Piper: Pipelining OpenMP Offloading Execution Through Compiler Optimization For Performance
Computer Algebra and Practical Analysis
A zero structure theorem for polynomial-equations-solving and its applications
Practical aspects of symbolic integration over Q(x)
Elementary and Liouvillian Solutions of Linear Differential Equations
The ecology of LISP or the case for the preservation of the environment
Integration - What do we want from the theory?
Computer algebra and VLSI, prospects for cross fertilization
Syntactic Equivalences Inducing Semantic Equivalences
On the Solution of the Diophantine Equation G n =p z
EUROCAL '87, European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987, Proceedings
Multi polynominal remainder sequence and its application to linear diophantine equations
An Algebraic Implementation of Packages
Implementing REDUCE on a micro-computer
Rewrite Rule Theory and Abstract Data Type Analysis
Using Prolog for Constructing Geometric Objects defined by Constraints
Algebraic Computations in Elementary Catastrophe Theory
A Posteriori Interval Analysis
GOPPA Codes: Algorithmic Problems
A package for the analytic investigation and exact solution of differential equations
Symbol Manipulation and Symmetry Breaking
Polynomial factorization: An exploration of Lenstra's algorithm
Computerised system of analytic transformations for analysing of differential equations
The computation of polynomial greatest common divisors over an algebraic number field
Automatic generation of FORTRAN-coded Jacobians and Hessians
An Adjacency Algorithm for Cylindrical Algebraic Decompositions of Three-Dimensional Space
Integration: Solving the Risch differential equation
Towards mechanical solution of the Kahan Ellipse Problem 1
Complexity of standard bases in projective dimension zero
The design of maple: A compact, portable and powerful computer algebra system
CIM (Computer Integrated Manufacturing) - A Challenge for Symbolic Computation
The Generalized Voronoi-Algorithm in Totally Real Algebraic Number Fields
A Polynominal Time Algorithm for the Topological Type of a Real Algebraic Curve
Solving Symbolic Equations with PRESS
Escaping from Intermediate Expression Swell: A Continuing Saga
The methods for symbolic evaluation of determinants and their realization in the planner-analytic system
A combinatorial and logical approach to linear-time computability
DIMREG - The package for calculations in the dimensional regularization with 4-dimensional gamma 5 -matrix in quantum field theory
A Note on the Complexity of Constructing Standard Bases
Visual Environments for Symbolic Computation
The Euclidean algorithm for Gaussian integers
On Solving the Equality Problem in Theories Defined by Horn Clauses
Factorization in Cylindrical Algebraic Decomposition
Number-theoretic transforms of prescribed length
THKLISP as a Base of Formula Manipulation Systems
Symbolic Algebra in Problems of Non-Linear Mechanics
Canonical Form for Rational Exponential Expressions
An Algorithm to Obtain Formal Solutions of a Linear Homogeneous Differential Equation at an Irregular Singular Point
Linear Algebraic Approach for Computing Polynomial Resultant
On the complexity of finding short vectors in integer lattices
An extension of Buchberger's algorithm to compute all reduced Gröbner bases of a polynomial ideal
Symbolic Numeric Methods in Microwave Technology
Computer Algebra, EUROCAL '83, European Computer Algebra Conference, London, England, March 28-30, 1983, Proceedings
Computer Algebra: Past and Future
Algebraic computation of the statistics of the solution of some nonlinear stochastic differential equations
An Overview of Completion Algorithms
MACSYMA's Computation of Dirac-Bergmann Algorithm for Hamiltonian Systems with Constraints
Explicit Determination of Non-Trivial Torsion Structures of Elliptic Curves over Quadratic Number Fields
The Scratchpad II Computer Algebra Language and System
Algebraic Computation of the Solution of Some NonLinear Differential Equations
HEUGCD: How Elementary Upperbounds Generated Cheaper Data
Computer algebra and numerical convergence
LISP compilation viewed as provable semantics preserving program transformation
Factorization of Polynominals by Transcendental Evaluation
Factorization of sparse polynominals
Complexity of quantifier elimination in the theory of ordinary differential equations
Singularities of moduli spaces
An Algorithm to Compute the Equations of Tangent Cones
On Improving Approximate Results of Buchberger's Algorithm by Newton's Method
Term Orderings on the Polynominal Ring
Symbolic Integration of Exponential Polynominals
Bifurcation Theory and Computer Algebra: An Initial Approach
CATFACT: Computer algebraic tools for applications of catastrophe theory
Computation of integral solutions of a special type of systems of quadratic equations
Strong splitting rules in automated theorem proving
Obtaining Complete Sets of Reductions and Equations Without Using Special Unification Algorithms
DARWIN, a System designed for the Study of Enumerative Combinatorics
On Some Laws in PSL(2, q)
On the Determination of Algebraic Number Fileds of Given Discriminant
Complexity of computation of embedded resolution of algebraic curves
REDUCE 3.2 on iAPX 86/286-based personal computers
Numerical Methods with Automatic Verification
Computing Double Coset Representatives for the Generation of Solvable Groups
A Methodology for Automatic Programming Based on the Constructive Matching Strategy
Hierarchical symbolic computations in the analysis of large-scale dynamical systems
Application of Computer Algebra to the Theory of the Vibration-Rotational Spectra of Diatomic Molecules
The computer algebra system SIMATH
A Program System for Root Finding
Computer Algebra, EUROCAM '82, European Computer Algebra Conference, Marseille, France, 5-7 April, 1982, Proceedings
Hacijan's Algorithm in VAXIMA: Improvements and Difficulties
P-Adic Algorithms and the Computation of Zeros of P-Adic L-Functions
Towards Practical Implementations of Syllogistic
Gröbner Bases Using SAC-2
Solving algebraic equations via Buchberger's algorithm
Early detection of true factors in univariate polynominal factorization
An affine point of view on minima finding in integer lattices of lower dimensions
STENSOR
The Structural Synthesis of Programs: New Means
Path Resolution and Semantic Graphs
Some extensions and applications of REDUCE System
ACRITH - High Accuracy Arithmetic Subroutine Library
A Confluence Criterion Based on the Generalised Neman Lemma
The computation of the Hilbert function
Evaluation of plasma fluid equations collision integrals using REDUCE
The calculation of QCD triangular Feynman graphs if the external gluonic field using REDUCE-2 system
Some Algorithmic Questions of Constructing Standard Bases
Demonstration of REDUCE3 as Implemented on a Stand-Alone MOTOROLA 68000 Based Microcomputer
A Sum-Substitutor Used as Trigonometric Simplifier
STENSOR Uses Disc Automatically for Very Large Computations
Retrieval in a Module Library Using Formal Specifications: Preliminary Search Using Syntactic Properties
About a New Method for Computing in Algebraic Number Fields
Hermite normal forms for integer matrices
The Bath concurrent LISP machine
Theory of Summation in Finite Terms
Algebraic Specifications: Constructive Methodology in Logic Programming
The Construction of Multivariate Polynomials with Preassigned Zeros
Solving systems of algebraic equations by using Gröbner bases
A Package of Tools for Manipulation of Sums and Series
An algorithm for constructing detaching bases in the ring of polynominals over a field
Correctness Proofs of the Implementation of Abstract Data Types
A Solution to the Polynominal Hensel-Code Conversion Problem
Automatically determining symmetries of ordinary differential equations
Asymptotically Fast Algorithms for the Numerical Multiplication and Division of Polynomials with Complex Coeficients
Using Automatic Program Synthesizer as a Problem Solver: Some Interesting Experiments
Creation of efficient symbolic-numeric interface
NORCAN - A Computer Calculus Program
Unification in Parallel with Refined Linearity Test: An Example of Recursive Network Structure in FP2, A Functional Parallel Programming Language
A Preview of the Next IBM-PC Version of muMATH
Characterization of a linear differential system with a regular singularity
Sparse Hensel Lifting
Symbolic Computation and Chemistry
GCD's and Factoring Multivariate Polynominals Using Gröbner Bases
Substitution Expressions: Extracting Solutions of Non-Horn Clause Proofs
Software Toolkit for Input Stage Measurement in Symbolic Computation
MACSYMA: Capabilities and Applications to Problems in Engineering and the Sciences
SCHOONSCHIP for computing of gravitino interaction cross sections in n=2 supergravity
Computer algebra applications for investigating integrability of nonlinear evolution systems
Code optimization of multivariate polynominal schemes: A pragmatic approach
Computation and simplification in Lie fields
Algorithmic determination of the Jacobson radical of monomial algebras
The Complexity of Elementary Problems in Archimedean Ordered Groups
Computer algebra in physical research of Joint Institute for Nuclear Research
Dynamic program improvement
Towards a refined classification of geometric search and computation problems
Algorithms for the Character Theory of the Symmetric Group
SHEEP and Classification in General Relativity
The Role of Symbolic Computation in the Management of Scientific Information
Algorithms for the Computation of Free Lattices
Computer Algebra Systems Viewed by a Notorious User
Collision of convex objects
Computational Geometry: Selected Algorithms and Paradigms
A Program in REDUCE for Finding Explicit Solutions to Certain Ordinary Differential Equations
The Optimisation by "Code Motion" of User Programs for an Algebraic Manipulation System
Computer algebra and computation of Puiseux expansions of algebraic functions
A System for Parallel Computer Algebra Programs
An Expression Compression Package for REDUCE based on Factorization and Controlled Expansion
From Polynominals to Galois Groups
Implementation of Differential Geometric Objects and Functions with an Application to Extended Maxwell Equations
Deterministic Versus Probabilistic Factorization of Integral Polynomials
REDUCE - A Case Study in Algebra System Development
The construction of a complete minimal set of contextual normal forms
A Completion of some Coxeter Groups
Algebraic and Symbolic Computation in Digital Signal Processing, Coding and Cryptography
An Algorithm for the Computation of Perfect Polyhedral Cones over Real Quadratic Number Fields
Worst-Case Analysis of Algorithms for Computational Problems on Abelian Permutation Groups
A matrix-approach for proving inequalities
PASCAL-SC Demonstration: Accurate Arithmetic for Verified Results
Shortest paths of a disc inside a polygonal region
Radical simplification using algebraic extension fields
Converting SAC-2 code to LISP
An algorithm for the integration of elementary functions
EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions
Computing a lattice basis from a system of generating vectors
Algorithms for Polynominal Division
On Decomposable and Commuting Polynominals
A Cayley File of Finite Simple Groups
Analytical Decoupling, Decision of Compatibility and Partial Integration of Systems of Non-Linear Ordinary and Partial Differential Equations
Properties of Gröbner bases under specializations
A New Arithmetic for Scientific Computation with Exact Evaluation of Expressions
Symbolic computation in relativity theory
An Improved Projection Operation for Cylindrical Algebraic Decomposition
The Program ORTOCARTAN for Applications in Einstein's Relativity Theory
An Adaptive Hybrid Algorithm for Multiplying Dense Polynomials
Reducing the Complexity of the Knuth-Bendix Completion-Algorithm: A "Unification" of Different Approaches
A Theorem-Proving Approach to the Knuth-Bendix Completion Algorithm
Symbolic Manipulations on a Computer and Their Application to Generation and Investigation of Difference Schemes
On Polynomial Factorization
The Development of a Vector-based Algebra System
Fonctions symétriques et changements de bases
A Cluster-Based Cylindrical Algebraic Decomposition Algorithm
Trace calculations for gauge theories on a personal computer
Computation of generalized Padé approximants
Matrix-Padé fractions
Gröbner bases for polynomial ideals over commutative regular rings
A New Method of Computing Fundamental Units in Algebraic Number Fields
Computer classification of integrable seventh order MKdV-like equations
CTS - Algebraic debugging system for REDUCE programs
The Parallel Risch Algorithm (I)
Fast Subsumption Algorithms
On Mechanical Quantifier Elimination for Elementary Algebra and Geometry: Solution of a Non-Trivial Problem
Application of a structured LISP system to computer algebra
Lattices and Factorization of Polynomials over Algebraic Number Fields
A knowledge-based approach to user-friendliness in symbolic computing
A REDUCE Package for Determining First Integrals of Autonomous Systems of Ordinary Differential Equations
Application of Lie group and computer algebra to nonlinear mechanics
A Program System for Factorization of Polynominals with Rational Coefficients
A procedure for determining algebraic integers of given norm
Symbolic and Algebraic Computation May Support Secondary Education
Symbol Representations of Noncommutative Algebras
Some algebraic algorithms based on head term elimination over polynomial rings
A Hybrid algebraic-numeric system ANS and its preliminary implementation
Arithmetic in Quadratic Fields with Unique Factorization
EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 1: Invited Lectures
Implementation of a geometry theorem proving package in SCRATCHPAD II
DOE-MACSYMA: Progress Report
The J-Machine: Functional Programming with Combinators
Floating-Point Computation in PASCAL-SC with Verified Results
Automatic Generation of Optimized Programs
An Improved Plotting Package for VAXIMA
Mr. Smith goes to Las Vegas: Randomized parallel computation of the Smith Normal Form of polynomial matrices
Completeness in Data Type Specifications
A note on the complexity of constructing Gröbner-Bases
AMP: A System for Algebraic Computations
ERIL - Equational Reasoning: an Interactive Laboratory
Current Developments in LISP
Transformation of computation formulae in systems of recurrence relations
Rabin's width of a complete proof and the width of a semialgebraic set
Applications of computer algebra in solid modelling
Gaussian Elimination over a Euclidean Ring
Proof Theory and the Synthesis of Programs: Potential and Limitations
Unification in Conditional Equational Theories
A Reduction Strategy for the Taylor Resolution
Laplace transformations in REDUCE 3
Algorithmic Methods in Automatic Programming
Factoring polynominals over algebraic number fields
The SMP Pattern Matcher
The Parallel L-Machine for Symbolic Computation
Infinite Dimensional Computer Lie Algebra?
Commutative Algebra and Computer Algebra
A recursive algorithm for computation of the Hilbert polynomial
Boundary value problems for the Laplacian in the Euclidean space solved by symbolic computation
Infinite structures in SCRATCHPAD II
Combinatorial aspects of simplification of algebraic expressions
Computer Algebra as a Research Tool in Physics
Symbolic computation and the finite element method
Computer Algebra in Norway
Computer algebra system for continued fractions manipulation
Cylindrical Algebraic Decomposition by Quantifier Elimination
Integral equation with hidden Eigenparameter solver: REDUCE and FORTRAN in tandem
Factorization of Rational Polynominals in the Zassenhaus-Norm
Mechanical Translation of Set Theoretic Problem Specifications into Efficient RAM Code - A Case Study
Some algorithms of rational function algebra
Constructions: A Higher Order Proof System for Mechanizing Mathematics
A critical pair criterion for completion modulo a congruence
Transformation of an Intractable Problem into a Tractable Problem: Evaluation of a Determinant in Several Variables
Scientific Computation: The Integration of Symbolic, Numeric and Graphic Computation
NLARGEing a z80 Microprocessor
The ALGOS Computational System
Gröbner-Bases, Gaussian elimination and resolution of systems of algebraic equations
Progress on the Equivalence Problem
The Structure of Near-Rings of Small Order
Fast Polynominal Decomposition Algorithms
Computer algebra application for determining local symmetries of differential equations
The Algebraic Manipulation Systems on the Electrical Power Systems
Groups and polynomials
Primary ideal decomposition
An Application of MACSYMA to Nonlinear Systems Decoupling
An Algorithmic Approach to Local Rings
The Nielsen Reduction as Key Problem to Polynomial Algorithms in Free Groups
Taking Advantage of Symmetry in the Automatic Generation of Numerical Programs for Finite Element Analysis
Expression optimization using high-level knowledge
Implementation of a General Completion Procedure Parameterized by Built-in Theories and Strategies
On the problem of Beha Eddin Amuli and the computation of height functions
On Logic Programs with Data-Driven Computations
The SAC-2 Computer Algebra System
High Availability and High Scalability to in-Cloud Enterprise Resource Planning System
Effective Moving Object Detection from Videos Captured by a Moving Camera
The Power Spectrum Estimation of Signal Based on Neural Networks
Adaptive Pulse Design and Spectrum Handoff Technology Based on Cognition
A Greedy-Based Supply Partner Selection for Side-by-Side 3D Streaming on P2P Environment
Web Services Discovery with Semantic Based on P2P
Estimating Human Activities from Smartwatches with Feedforward Neural Networks
Pedestrian Detection Using HOG Dimension Reducing in Video Surveillance
PERSONALIZED Source Selection Process: A Social Profile Adaptation Technique
Algorithm of Laser Spots Recognition Based on "Cat Eye Effect"
SGR-StarCraft: Somatosensory Game Rehabilitation via StarCraft
Development of Iris Security System Using Adaptive Quality-Based Template Fusion
SOM on Interval Variables for Mobile Emergency Call Positioning
Car Collision Warning System for Cornering on Mountain Roads
Hierarchical Ensemble of Global and Local Classifier for Texture Classification
Handwritten Numbers and English Characters Recognition System
An XDL Analysis Method for SRAM-Based FPGA
Compact Bat Algorithm
Robust Medical Image Watermarking Scheme with Rotation Correction
A Hybrid BPSO-GA Algorithm for 0-1 Knapsack Problems
Interleaving and Sparse Random Coded Aperture for Lens-Free Visible Imaging
The Exclusive Challenge in Pervasive Learning Technology - Points from the Tiger
A Projection-Based Approach for Mining Highly Coherent Association Rules
Application of Job Shop Based on Immune Genetic Algorithm
A Fast Image Enhancement Algorithm Using Bright Channel
Motion Sequence Recognition with Multi-sensors Using Deep Convolutional Neural Network
A Power Consumption Balancing Algorithm Based on Evolved Bat Algorithm for Wireless Sensor Network
A New Clustering Algorithm Based on Probability
Prostate Tumor Identification in Ultrasound Images
LED Lighting Applications for Digital Life
A Study of Random Neural Network Performance for Supervised Learning Tasks in CUDA
Spatial and Frequency Domain-Based Feature Fusion Method for Texture Retrieval
Image Categorization Using Macro and Micro Sense Visual Vocabulary
QUATRE Algorithm with Sort Strategy for Global Optimization in Comparison with DE and PSO Variants
The New Procurement System Based on MRP Algorithm
Near/Far-Field Polarization-Dependent Responses from Plasmonic Nanoparticle Antennas
Coupled Plasmonic Nanoantennas
Research on Eye Detection and Fatigue Early Warning Technologies
Finite Element Analysis for No-Load and Rated Load of Low-Speed Permanent Magnet Hydro-Generator
A Graph Theory-Based Evaluation of Strategy Set in Robot Soccer
Intelligent Data analysis and its Applications, Volume I - Proceeding of the First Euro-China Conference on Intelligent Data Analysis and Applications, ECC 2014, June 13-15, 2014, Shenzhen, China
Establishing a Game-Based Learning Cloud
Design and Implementation of Intelligent Outlet System Based on Android and Wifi
Register Allocation Based on Boolean Satisfiability
Discriminative Feature Learning for Action Recognition Using a Stacked Denoising Autoencoder
Network Operation and Maintenance System of Meticulous Management Based on Data Analysis
A Study on Smart Deployment for Real-Time Strategy Games
A Robust Audio Zero-Watermarking Algorithm Based on Wavelet Packet Analysis
Salient Object Detection Based on Histogram-Based Contrast and Guided Image Filtering
Quaternion Fisher Discriminant Analysis for Bimodal Multi-feature Fusion
The Sybil Attack in Participatory Sensing: Detection and Analysis
Hybrid Bat Algorithm with Artificial Bee Colony
Towards Time-Bound Hierarchical Key Management in Cloud Computing
ICISLM: Design of an Integrated Cloud Information System for Logistic Management Based on Web Server Virtualization
Equivalence Proof of Traditional and Random Grid-Based (2, 2) Visual Secret Sharing
Area Estimation for Triple Modular Redundancy Field Programmable Gate Arrays
QoS Optimization for Multimedia Streaming Using Hybrid RRM and DASs Over LTE Networks
A Novel Encryption Algorithm for Quantum Images Based on Quantum Wavelet Transform and Diffusion
Research on Energy Consumption of Building Electricity Based on Decision Tree Algorithm
Sensor Data Mining for Gas Station Online Monitoring
Another Improvement of RAPP: An Ultra-lightweight Authentication Protocol for RFID
Knowledge Integration for Diabetes Drugs Ontology
Feature Line-Based Local Discriminant Analysis for Image Feature Extraction
Evolutionary Weighted Ensemble for EEG Signal Recognition
Research on the System Reliability Modeling Based on Markov Process and Reliability Block Diagram
Piecewise Planar Region Matching for High-Resolution Aerial Video Tracking
Image Classification Based on Image Hash Convolution Neural Network
The Implementation of OBD-II Vehicle Diagnosis System Integrated with Cloud Computation Technology
Diagonal Interacting Multiple Model H ∞ Filtering for Simultaneuos Sensor Localization and Target Tracking with NLOS Mitigation
QoS of Triple Play Services in LTE Networks
Applications of Cloud Model in Digital Watermarking
Application of Image Proccessing in Soil's Shear Zone Mesostructure
Comparisons of Typical Discrete Logistic Map and Henon Map
A Survey on Big Data, Mining: (Tools, Techniques, Applications and Notable Uses)
The Comparison between IABC with EGARCH in Foreign Exchange Rate Forecasting
Computational Intelligence Approaches for Digital Media Analysis and Description
Comments on Yu et al's Shared Data Integrity Verification Protocol
Implementation of Audio Data Packet Encryption Synchronization Circuit
Region-based Image Fusion Approach of Panchromatic and Multi-spectral Images
Intelligent Data analysis and its Applications, Volume II - Proceeding of the First Euro-China Conference on Intelligent Data Analysis and Applications, June 13-15, 2014, Shenzhen, China
Automatic Fuzzy Classification System for Metabolic Types Detection
Design of Wisdom Home System for the Aged Living Alone
How to Determine the Best Indexes of Industry Website by FANP Approach
Assistive Listening System Using a Human-Like Auditory Processing Algorithm
Seek the Consent, Respect the Dissent: An Analysis of User Behaviors in Online Collaborative Community
DOA Estimation Method for Wideband Signals Based on Multiple Small Aperture Subarrays
Relay Node Selection Strategy for Wireless Sensor Network
Design of Data Encryption Transmission System Based on FPGA
A Dual Watermarking Scheme by Using Compressive Sensing and Subsampling
IPv6 Adoption in the Kingdom of Saudi Arabia
Research and Design of Campus Network VOD System
Human Fetus Health Classification on Cardiotocographic Data Using Random Forests
Decision Support System in Orthopedics Using Methodology Based on a Combination of Machine Learning Methods
A Novel LCD Driver Chip for Brightness Adjustment System
Efficient Mobile Middleware for Seamless Communication of Prehospital Emergency Medicine